Showing 1 - 13 results of 13 for search 'Holzer, A', query time: 0.02s
Refine Results
-
1
-
2
Timely Time Estimates by Holzer, A, Januzaj, V, Kugele, S, Tautschnig, M
Published 2010Conference item -
3
Query-Driven Program Testing. by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Published 2009Journal article -
4
Query−Driven Program Testing by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Published 2009Conference item -
5
An Introduction to Test Specification in FQL. by Holzer, A, Tautschnig, M, Schallhart, C, Veith, H
Published 2010Journal article -
6
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Published 2008Journal article -
7
How did you specify your test suite ? by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Published 2010Conference item -
8
How did you specify your test suite. by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Published 2010Conference item -
9
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Published 2008Conference item -
10
An Introduction to Test Specification in FQL by Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Published 2011Conference item -
11
Proving Reachability Using FShell - (Competition Contribution). by Holzer, A, Kroening, D, Schallhart, C, Tautschnig, M, Veith, H
Published 2012Journal article -
12
Seamless Testing for Models and Code. by Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H
Published 2011Journal article -
13
Seamless Testing for Models and Code by Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H
Published 2015Conference item