PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Marinov, Darko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fault Localization for Declarative Models in Alloy.

, , , und . CoRR, (2018)

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.

Darko Milakovic University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Evaluating Machine-Independent Metrics for State-Space Exploration., , , und . ICST, Seite 320-329. IEEE Computer Society, (2012)Efficient mutation testing of multithreaded code., , , und . Softw. Test., Verif. Reliab., 23 (5): 375-403 (2013)TestEra: Specification-Based Testing of Java Programs Using SAT., und . Autom. Softw. Eng., 11 (4): 403-434 (2004)An Empirical Study of JUnit Test-Suite Reduction., , , und . ISSRE, Seite 170-179. IEEE Computer Society, (2011)Towards a Framework for Differential Unit Testing of Object-Oriented Programs., , , und . AST, Seite 17-23. IEEE Computer Society, (2007)Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level., , , , und . ISSRE, Seite 105-115. IEEE Computer Society, (2016)Assertion Checking in J-Sim Simulation Models of Network Protocols., , , , und . Simulation, 86 (11): 651-673 (2010)Delta execution for efficient state-space exploration of object-oriented programs., , und . ISSTA, Seite 50-60. ACM, (2007)Reliable testing: detecting state-polluting tests to prevent test dependency., , , und . ISSTA, Seite 223-233. ACM, (2015)On test repair using symbolic execution., , und . ISSTA, Seite 207-218. ACM, (2010)