PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Marinov, Darko"

Author of the publication

copydeleteadd this publication to your clipboard
Assertion Checking in J-Sim Simulation Models of Network Protocols.

, , , , and . Simulation, 86 (11): 651-673 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Darko Milakovic University of Stuttgart

 

Other publications of authors with the same name

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