PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Penix, John"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluating static analysis defect warnings on production software.

, , , , und . PASTE, Seite 1-8. ACM, (2007)

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.

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

David John Cross University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Introducing Continuous Systematic Testing of Evolving Software., , , , , , , und . Practical Software Testing: Tool Automation and Human Factors, Volume 10111 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Using Formal Specifications for Component Retrieval and Reuse., und . HICSS (3), Seite 356-. IEEE Computer Society, (1998)Verifying Time Partitioning in the DEOS Scheduling Kernel., , , , , , und . Formal Methods in System Design, 26 (2): 103-135 (2005)Big problems in industry (panel).. ASE, Seite 3. IEEE, (2013)The Second International Workshop on Automated Program Analysis, Testing and Verification., , und . ICSE, Seite 755. IEEE Computer Society, (2001)Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)., , und . Softw. Test., Verif. Reliab., 11 (2): 63-64 (2001)Guest Editors' Introduction., und . Autom. Softw. Eng., 13 (3): 343-344 (2006)Design for Verification with Dynamic Assertions., und . SEW, Seite 285-292. IEEE Computer Society, (2005)Automated analysis, verification and testing., , und . Software Focus, 2 (2): 82 (2001)The First International Workshop on Automated Program Analysis, Testing and Verification., , und . ICSE, Seite 796. ACM, (2000)