( en | de | ru )

 

Disambiguation of "Holzer, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Seamless Testing for Models and Code.

, , , , , , and . FASE, volume 6603 of Lecture Notes in Computer Science, page 278-293. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Hölzer

Andreas Holzer

Heinz Hölzer

Gerhard Holzer

Lieselotte Holzer

 

Other publications of authors with the same name

Proving Reachability Using FShell - (Competition Contribution)., , , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 538-541. Springer, (2012)Bounded-Interference Sequentialization for Testing Concurrent Programs., , and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 372-387. Springer, (2012)On the Structure and Complexity of Rational Sets of Regular Languages., , , and . FSTTCS, volume 24 of LIPIcs, page 377-388. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Subject-specific finite element simulation of the human femur considering inhomogeneous material properties: A straightforward method and convergence study., , , , , , and . Comput. Methods Programs Biomed., 110 (1): 82-88 (2013)Compiling Low Depth Circuits for Practical Secure Computation., , , and . ESORICS (2), volume 9879 of Lecture Notes in Computer Science, page 80-98. Springer, (2016)Query-Driven Program Testing., , , and . VMCAI, volume 5403 of Lecture Notes in Computer Science, page 151-166. Springer, (2009)An Introduction to Test Specification in FQL., , , and . Haifa Verification Conference, volume 6504 of Lecture Notes in Computer Science, page 9-22. Springer, (2010)Information Reuse for Multi-goal Reachability Analyses., , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 472-491. Springer, (2013)How did you specify your test suite., , , and . ASE, page 407-416. ACM, (2010)Concolic Testing of Concurrent Programs., , , and . Software Engineering, volume P-227 of LNI, page 101-102. GI, (2014)