Author of the publication

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.

, and . IEEE Software, 23 (4): 38-47 (2006)

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

Code hunt: gamifying teaching and learning of computer science at scale., , , and . L@S, page 221-222. ACM, (2014)Gamifying software security education and training via secure coding duels in code hunt., , , and . HotSoS, page 26:1-26:2. ACM, (2015)Code hunt: searching for secret code for fun., , , , and . SBST, page 23-26. ACM, (2014)State Coverage: Software Validation Metrics beyond Code Coverage., , , and . SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 542-553. Springer, (2012)Qex: Symbolic SQL Query Explorer., , and . LPAR (Dakar), volume 6355 of Lecture Notes in Computer Science, page 425-446. Springer, (2010)The future of teaching programming is on mobile devices, , , , , , and . Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, page 156--161. New York, NY, USA, ACM, (2012)Partial Updates: Exploration., and . J. Univers. Comput. Sci., 7 (11): 917-951 (2001)Symbolic Query Exploration., , , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 49-68. Springer, (2009)Teaching and learning programming and software engineering via interactive gaming., , , , and . ICSE, page 1117-1126. IEEE Computer Society, (2013)It's alive! continuous feedback in UI programming., , , , , , and . PLDI, page 95-104. ACM, (2013)