Author of the publication

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

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces., , , and . TAP@TOOLS, volume 6143 of Lecture Notes in Computer Science, page 77-93. Springer, (2010)The future of teaching programming is on mobile devices., , , , , , and . ITiCSE, page 156-161. ACM, (2012)Teaching and learning computing via social gaming with Pex4Fun (abstract only)., , , and . SIGCSE, page 659. ACM, (2012)eXpress: guided path exploration for efficient regression test generation., , , and . ISSTA, page 1-11. ACM, (2011)Guided test generation for coverage criteria., , , and . ICSM, page 1-10. IEEE Computer Society, (2010)Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex., , and . ITNG, page 758-762. IEEE Computer Society, (2009)Synthesizing method sequences for high-coverage testing., , , , and . OOPSLA, page 189-206. ACM, (2011)Pex4Fun: Teaching and Learning Computer Science via Social Gaming., , , and . CSEE&T, page 90-91. IEEE Computer Society, (2012)Constructing coding duels in Pex4Fun and code hunt., , , and . ISSTA, page 445-448. ACM, (2014)Parameterized Unit Testing with Pex., and . TAP, volume 4966 of Lecture Notes in Computer Science, page 171-181. Springer, (2008)