|
Search the dblp DataBase
Darko Marinov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
Integrating Model Checking and Theorem Proving for Relational Reasoning. [Citation Graph (0, 0)][DBLP] RelMiCS, 2003, pp:21-33 [Conf]
- Danny Dig, Can Comertoglu, Darko Marinov, Ralph Johnson
Automated Detection of Refactorings in Evolving Components. [Citation Graph (0, 0)][DBLP] ECOOP, 2006, pp:404-428 [Conf]
- Darko Marinov, Sarfraz Khurshid
VAlloy - Virtual Functions Meet a Relational Language. [Citation Graph (0, 0)][DBLP] FME, 2002, pp:234-251 [Conf]
- Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. [Citation Graph (0, 0)][DBLP] ICFEM, 2005, pp:235-250 [Conf]
- Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov
Optimized Execution of Deterministic Blocks in Java PathFinder. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:549-567 [Conf]
- Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
Korat: A Tool for Generating Structurally Complex Test Inputs. [Citation Graph (0, 0)][DBLP] ICSE, 2007, pp:771-774 [Conf]
- Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
Detecting Redundant Unit Tests for AspectJ Programs. [Citation Graph (0, 0)][DBLP] ISSRE, 2006, pp:179-190 [Conf]
- Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
Korat: automated testing based on Java predicates. [Citation Graph (0, 0)][DBLP] ISSTA, 2002, pp:123-133 [Conf]
- Darko Marinov, Sarfraz Khurshid
TestEra: A Novel Framework for Automated Testing of Java Programs. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:22-0 [Conf]
- Tao Xie, Darko Marinov, David Notkin
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. [Citation Graph (0, 0)][DBLP] ASE, 2004, pp:196-205 [Conf]
- Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:59-68 [Conf]
- Darko Marinov, Davor Magdic, Aleksandar Milenkovic, Jelica Protic, Igor Tartalja, Veljko M. Milutinovic
Scowl: A Tool for Characterization of Parallel Workload and its Use on Splash-2 Application Suite. [Citation Graph (0, 0)][DBLP] MASCOTS, 2000, pp:207-213 [Conf]
- Sarfraz Khurshid, Darko Marinov, Daniel Jackson
An analyzable annotation language. [Citation Graph (0, 0)][DBLP] OOPSLA, 2002, pp:231-245 [Conf]
- Darko Marinov, Robert O'Callahan
Object equality profiling. [Citation Graph (0, 0)][DBLP] OOPSLA, 2003, pp:313-325 [Conf]
- Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
A Case for Efficient Solution Enumeration. [Citation Graph (0, 0)][DBLP] SAT, 2003, pp:272-286 [Conf]
- Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
Optimizations for Compiling Declarative Models into Boolean Formulas. [Citation Graph (0, 0)][DBLP] SAT, 2005, pp:187-202 [Conf]
- Koushik Sen, Darko Marinov, Gul Agha
CUTE: a concolic unit testing engine for C. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2005, pp:263-272 [Conf]
- Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:365-381 [Conf]
- Sarfraz Khurshid, Darko Marinov
TestEra: Specification-Based Testing of Java Programs Using SAT. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2004, v:11, n:4, pp:403-434 [Journal]
- Darko Marinov, Rados Radoicic
Counting 1324-Avoiding Permutations. [Citation Graph (0, 0)][DBLP] Electr. J. Comb., 2002, v:0, n:2, pp:- [Journal]
- Sarfraz Khurshid, Darko Marinov
Checking Java implementation of a naming architecture using Testera. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov
Analyzing the Uses of a Software Modeling Tool. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:2, pp:3-18 [Journal]
- Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. [Citation Graph (0, 0)][DBLP] IPDPS, 2007, pp:1-6 [Conf]
- Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Delta execution for efficient state-space exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP] ISSTA, 2007, pp:50-60 [Conf]
- Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
Parallel test generation and execution with Korat. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2007, pp:135-144 [Conf]
- Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov
Automated testing of refactoring engines. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2007, pp:185-194 [Conf]
Automated Testing of Eclipse and NetBeans Refactoring Tools. [Citation Graph (, )][DBLP]
Reducing the Costs of Bounded-Exhaustive Testing. [Citation Graph (, )][DBLP]
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. [Citation Graph (, )][DBLP]
Incremental state-space exploration for programs with dynamically allocated data. [Citation Graph (, )][DBLP]
State extensions for java pathfinder. [Citation Graph (, )][DBLP]
Test generation through programming in UDITA. [Citation Graph (, )][DBLP]
Towards a Framework for Differential Unit Testing of Object-Oriented Programs. [Citation Graph (, )][DBLP]
Workshop on state-space exploration for automated testing (SSEAT 2008). [Citation Graph (, )][DBLP]
Efficient solving of structural constraints. [Citation Graph (, )][DBLP]
On test repair using symbolic execution. [Citation Graph (, )][DBLP]
Optimizing a Structural Constraint Solver for Efficient Software Checking. [Citation Graph (, )][DBLP]
ReAssert: Suggesting Repairs for Broken Unit Tests. [Citation Graph (, )][DBLP]
A Framework for State-Space Exploration of Java-Based Actor Programs. [Citation Graph (, )][DBLP]
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. [Citation Graph (, )][DBLP]
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. [Citation Graph (, )][DBLP]
Optimizing Generation of Object Graphs in Java PathFinder. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.304secs
|