Author of the publication

Topic 1: Support Tools and Environments.

, , , and . Euro-Par, volume 5168 of Lecture Notes in Computer Science, page 1-2. Springer, (2008)

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 platform for search-based testing of concurrent software., , , and . PDATAD, page 48-58. ACM, (2010)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)Boosted decision trees for behaviour mining of concurrent programmes., , , , , , , and . Concurr. Comput. Pract. Exp., (2017)A new characterization of graphs based on interception relations., , and . J. Graph Theory, 22 (2): 125-136 (1996)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.Forcing small models of conditions on program interleaving for detection of concurrent bugs., , , , , and . PADTAD, ACM, (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)Cost evaluation of coverage directed test generation for the IBM mainframe., , , and . ITC, page 793-802. IEEE Computer Society, (2001)