Author of the publication

Input-Driven Active Testing of Multi-threaded Programs.

, , , and . APSEC, page 246-253. IEEE Computer Society, (2015)

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

On the integration of metamorphic testing and model checking., , , and . IADIS AC (2), page 299-302. IADIS Press, (2009)On Detecting Double Literal Faults in Boolean Expressions., , , and . Ada-Europe, volume 4498 of Lecture Notes in Computer Science, page 55-68. Springer, (2007)Adaptive Random Testing., , and . ASIAN, volume 3321 of Lecture Notes in Computer Science, page 320-329. Springer, (2004)An assessment of systems and software engineering scholars and institutions (2000-2004)., , and . J. Syst. Softw., 79 (6): 816-819 (2006)A metamorphic testing approach for supporting program repair without the need for a test oracle., , , , and . J. Syst. Softw., (2017)Automated Test Case Generation for BDI Agents., , and . Auton. Agents Multi Agent Syst., 2 (4): 311-332 (1999)An assessment of systems and software engineering scholars and institutions (1998-2002)., and . J. Syst. Softw., 68 (1): 77-84 (2003)Construction of classification trees via the classification-hierarchy table., and . Inf. Softw. Technol., 39 (13): 889-896 (1997)Proportional sampling strategy: guidelines for software testing practitioners., , , and . Inf. Softw. Technol., 38 (12): 775-782 (1996)On the maximin algorithms for test allocations in partition testing., and . Inf. Softw. Technol., 43 (2): 97-107 (2001)