( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Seamless Testing for Models and Code.

, , , , , , и . FASE, том 6603 из Lecture Notes in Computer Science, стр. 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.

Andreas Hölzer

Andreas Holzer

Heinz Hölzer

Gerhard Holzer

Uta Holzer

 

Другие публикации лиц с тем же именем

Information Reuse for Multi-goal Reachability Analyses., , , и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 472-491. Springer, (2013)An Introduction to Test Specification in FQL., , , и . Haifa Verification Conference, том 6504 из Lecture Notes in Computer Science, стр. 9-22. Springer, (2010)Query-Driven Program Testing., , , и . VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 151-166. Springer, (2009)On the Structure and Complexity of Rational Sets of Regular Languages., , , и . FSTTCS, том 24 из LIPIcs, стр. 377-388. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Bounded-Interference Sequentialization for Testing Concurrent Programs., , и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 372-387. Springer, (2012)Proving Reachability Using FShell - (Competition Contribution)., , , , и . TACAS, том 7214 из Lecture Notes in Computer Science, стр. 538-541. Springer, (2012)Compiling Low Depth Circuits for Practical Secure Computation., , , и . ESORICS (2), том 9879 из Lecture Notes in Computer Science, стр. 80-98. Springer, (2016)How did you specify your test suite., , , и . ASE, стр. 407-416. ACM, (2010)Concolic Testing of Concurrent Programs., , , и . Software Engineering, том P-227 из LNI, стр. 101-102. GI, (2014)Compilation for Secure Two-Party Computations., , , , и . Software Engineering & Management, том P-239 из LNI, стр. 143-145. GI, (2015)