Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces., , , und . TAP@TOOLS, Volume 6143 von Lecture Notes in Computer Science, Seite 77-93. Springer, (2010)User-aware privacy control via extended static-information-flow analysis., , , , , und . Autom. Softw. Eng., 22 (3): 333-366 (2015)The future of teaching programming is on mobile devices., , , , , , und . ITiCSE, Seite 156-161. ACM, (2012)eXpress: guided path exploration for efficient regression test generation., , , und . ISSTA, Seite 1-11. ACM, (2011)Teaching and learning computing via social gaming with Pex4Fun (abstract only)., , , und . SIGCSE, Seite 659. ACM, (2012)Guided test generation for coverage criteria., , , und . ICSM, Seite 1-10. IEEE Computer Society, (2010)Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex., , und . ITNG, Seite 758-762. IEEE Computer Society, (2009)Gamifying software security education and training via secure coding duels in code hunt., , , und . HotSoS, Seite 26:1-26:2. ACM, (2015)Code hunt: gamifying teaching and learning of computer science at scale., , , und . L@S, Seite 221-222. ACM, (2014)State Coverage: Software Validation Metrics beyond Code Coverage., , , und . SOFSEM, Volume 7147 von Lecture Notes in Computer Science, Seite 542-553. Springer, (2012)