Author of the publication

An Extensible Open-Source Compiler Infrastructure for Testing.

, , and . Haifa Verification Conference, volume 3875 of Lecture Notes in Computer Science, page 116-133. Springer, (2005)

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.

 

Other publications of authors with the same name

A new characterization of graphs based on interception relations., , and . J. Graph Theory, 22 (2): 125-136 (1996)Forcing small models of conditions on program interleaving for detection of concurrent bugs., , , , , and . PADTAD, ACM, (2009)Hole analysis for functional coverage data., , , and . DAC, page 807-812. ACM, (2002)Combinatorial test design in practice., and . ICSE (2), page 495-496. ACM, (2010)978-1-60558-719-6.A platform for search-based testing of concurrent software., , , and . PDATAD, page 48-58. ACM, (2010)Boosted decision trees for behaviour mining of concurrent programmes., , , , , , , and . Concurr. Comput. Pract. Exp., (2017)Towards a framework and a benchmark for testing tools for multi-threaded programs., , , and . Concurr. Comput. Pract. Exp., 19 (3): 267-279 (2007)Framework for testing multi-threaded Java programs., , , , , and . Concurr. Comput. Pract. Exp., 15 (3-5): 485-499 (2003)Automated substring hole analysis., , , , , , , and . ICSE Companion, page 203-206. IEEE, (2009)Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ., and . TV@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 151-165. Elsevier, (2006)