Browsing by Author "Holzer, Andreas"
Now showing items 1-4 of 4
-
Compilation for secure two-party computations
Franz, Martin; Holzer, Andreas; Katzenbeisser, Stefan; Schallhart, Christian; Veith, Helmut
143-144 -
Concolic testing of concurrent programs
Farzan, Azadeh; Holzer, Andreas; Razavi, Niloofar; Veith, Helmut
101-102 -
On facilitating reuse in multi-goal test-suite generation for software product lines
Lochau, Malte; Bürdek, Johannes; Bauregger, Stefan; Holzer, Andreas; Rhein, Alexander Von; Apel, Sven; Beyer, Dirk
81-82 -
Reusing information in multi-goal reachability analyses
Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
97-98