Autor der Publikation

State Coverage: Software Validation Metrics beyond Code Coverage.

, , , und . SOFSEM, Volume 7147 von Lecture Notes in Computer Science, Seite 542-553. Springer, (2012)

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)The future of teaching programming is on mobile devices., , , , , , und . ITiCSE, Seite 156-161. ACM, (2012)Teaching and learning computing via social gaming with Pex4Fun (abstract only)., , , und . SIGCSE, Seite 659. ACM, (2012)eXpress: guided path exploration for efficient regression test generation., , , und . ISSTA, Seite 1-11. ACM, (2011)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)Constructing coding duels in Pex4Fun and code hunt., , , und . ISSTA, Seite 445-448. ACM, (2014)Pex4Fun: Teaching and Learning Computer Science via Social Gaming., , , und . CSEE&T, Seite 90-91. IEEE Computer Society, (2012)Retrofitting Unit Tests for Parameterized Unit Testing., , , , und . FASE, Volume 6603 von Lecture Notes in Computer Science, Seite 294-309. Springer, (2011)Parameterized Unit Testing with Pex., und . TAP, Volume 4966 von Lecture Notes in Computer Science, Seite 171-181. Springer, (2008)