PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Tokumoto, Susumu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-based test case generation using symbolic execution.

, , und . JAMAICA@ISSTA, Seite 23-28. ACM, (2013)

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.

Keine Personen gefunden für den Autorennamen Tokumoto, Susumu
Eine Person hinzufügen mit dem Namen Tokumoto, Susumu
 

Weitere Publikationen von Autoren mit dem selben Namen

Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software., , , , , und . APSEC, Seite 314-317. IEEE, (2012)MuVM: Higher Order Mutation Analysis Virtual Machine for C., , , und . ICST, Seite 320-329. IEEE Computer Society, (2016)Test Case Selection Based on Path Condtions of Symbolic Execution., , , und . APSEC, Seite 318-321. IEEE, (2012)FSX: fine-grained incremental unit test generation for C/C++ programs., , , , und . ISSTA, Seite 106-117. ACM, (2016)Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests., , und . SAFECOMP Workshops, Volume 11699 von Lecture Notes in Computer Science, Seite 398-404. Springer, (2019)Inappropriate Usage Examples in Web API Documentations., , , , , , , , , und 1 andere Autor(en). ICSME, Seite 343-347. IEEE, (2019)FSX: a tool for fine-grained incremental unit test generation for C/C++ programs., , , , und . SIGSOFT FSE, Seite 1052-1056. ACM, (2016)Elixir: an automated repair tool for Java programs., , , , , und . ICSE (Companion Volume), Seite 77-80. ACM, (2018)Massive Event Data Analysis and Processing Service Development Environment Using DFD., , , , , und . SERVICES, Seite 80-87. IEEE Computer Society, (2012)Semi-automatic Incompatibility Localization for Re-engineered Industrial Software., , , , und . ICST, Seite 91-94. IEEE Computer Society, (2014)