Author of the publication

On the Coverage of Program Code by Specification-Based Tests.

, , and . QSIC, page 41-50. IEEE Computer Society, (2009)

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

Taming Deadlocks in Multithreaded Programs., , and . QSIC, page 276-279. IEEE, (2013)Experiences in Using an Automated System for Improving Students' Learning of Computer Programming., , , and . ICWL, volume 3583 of Lecture Notes in Computer Science, page 267-272. Springer, (2005)On the Online Parameter Estimation Problem in Adaptive Software Testing., , , , and . International Journal of Software Engineering and Knowledge Engineering, 18 (3): 357-381 (2008)On Some Characterisation Problems of Subdomain Testing., and . Ada-Europe, volume 1088 of Lecture Notes in Computer Science, page 147-158. Springer, (1996)Automatic Assessment via Intelligent Analysis of Students' Program Output Patterns., , , , , and . ICBL, volume 10949 of Lecture Notes in Computer Science, page 238-250. Springer, (2018)Non-parametric statistical fault localization., , , , and . J. Syst. Softw., 84 (6): 885-905 (2011)An empirical evaluation of several test-a-few strategies for testing particular conditions., , , and . Softw. Pract. Exp., 42 (8): 967-994 (2012)Promoting the Use of Information Technology in Education via Lightweight Authoring Tools., and . ICCE, page 501-505. IEEE Computer Society, (2002)Experiences with PASS: Developing and Using a Programming Assignment aSsessment System., , and . QSIC, page 360-368. IEEE Computer Society, (2006)Designing Activities for Learning Software Quality Practices., and . QSIC, page 333-340. IEEE Computer Society, (2005)