Darko Marinov

	2009
32		Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov: Reducing the Costs of Bounded-Exhaustive Testing. FASE 2009: 171-185
	2008
31		Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300
30		Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866
29		Darko Marinov, Wolfram Schulte: Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA 2008: 315-316
28		Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid: Efficient solving of structural constraints. ISSTA 2008: 39-50
27		Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34(5): 597-613 (2008)
	2007
26		Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov: Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144
25		Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov: Automated testing of refactoring engines. ESEC/SIGSOFT FSE 2007: 185-194
24		Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid: Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774
23		Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou: J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. IPDPS 2007: 1-6
22		Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60
	2006
21		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. ASE 2006: 59-68
20		Danny Dig, Can Comertoglu, Darko Marinov, Ralph Johnson: Automated Detection of Refactorings in Evolving Components. ECOOP 2006: 404-428
19		Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov: Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM 2006: 549-567
18		Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin: Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190
17		Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov: Analyzing the Uses of a Software Modeling Tool. Electr. Notes Theor. Comput. Sci. 164(2): 3-18 (2006)
	2005
16		Koushik Sen, Darko Marinov, Gul Agha: CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272
15		Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou: Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM 2005: 235-250
14		Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard: Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202
13		Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381
	2004
12		Tao Xie, Darko Marinov, David Notkin: Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205
11		Sarfraz Khurshid, Darko Marinov: TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. 11(4): 403-434 (2004)
	2003
10		Darko Marinov, Robert O'Callahan: Object equality profiling. OOPSLA 2003: 313-325
9		Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard: Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33
8		Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson: A Case for Efficient Solution Enumeration. SAT 2003: 272-286
	2002
7		Darko Marinov, Sarfraz Khurshid: VAlloy - Virtual Functions Meet a Relational Language. FME 2002: 234-251
6		Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov: Korat: automated testing based on Java predicates. ISSTA 2002: 123-133
5		Sarfraz Khurshid, Darko Marinov, Daniel Jackson: An analyzable annotation language. OOPSLA 2002: 231-245
4		Darko Marinov, Rados Radoicic: Counting 1324-Avoiding Permutations. Electr. J. Comb. on(2): (2002)
	2001
3		Darko Marinov, Sarfraz Khurshid: TestEra: A Novel Framework for Automated Testing of Java Programs. ASE 2001: 22-
2		Sarfraz Khurshid, Darko Marinov: Checking Java implementation of a naming architecture using Testera. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
	2000
1		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. MASCOTS 2000: 207-213

Coauthor Index

1	Gul A. Agha (Gul Agha)	[16]
2	Konstantine Arkoudas	[9]
3	Chandrasekhar Boyapati	[6]
4	Suhabe Bugrara	[14]
5	Can Comertoglu	[20]
6	Brett Daniel	[25] [32]
7	Danny Dig	[20] [25]
8	Bassem Elkarablieh	[28]
9	Michael D. Ernst	[21]
10	Kely Garcia	[25]
11	Milos Gligoric	[30]
12	Tihomir Gvero	[30]
13	Jennifer C. Hou (Chao-Ju Hou)	[15] [23]
14	Daniel Jackson	[5] [8]
15	Vilas Jagannath	[32]
16	Ralph Johnson	[20]
17	Sarfraz Khurshid	[2] [3] [5] [6] [7] [8] [9] [11] [14] [17] [24] [26] [28] [30]
18	Steven Lauterburg	[22] [27] [30] [31]
19	Yun Young Lee	[32]
20	Xiaoming Li	[17]
21	Davor Magdic	[1]
22	Aleksandar Milenkovic	[1]
23	Aleksandar Milicevic	[24] [26]
24	Veljko M. Milutinovic	[1]
25	Sasa Misailovic	[24] [26]
26	David Notkin	[12] [13] [18]
27	Robert O'Callahan	[10]
28	Carlos Pacheco	[21]
29	Nemanja Petrovic	[26]
30	Jelica Protic	[1]
31	Rados Radoicic	[4]
32	Martin C. Rinard	[9] [14]
33	Wolfram Schulte	[13] [29]
34	Koushik Sen	[16]
35	Daryl Shannon	[17]
36	Ilya Shlyakhter	[8]
37	Ahmed Sobeih	[15] [19] [23] [31]
38	Igor Tartalja	[1]
39	Mahesh Viswanathan	[15] [23] [31]
40	Jabari Walker	[17]
41	Tao Xie	[12] [13] [18] [21]
42	Lintao Zhang	[14]
43	Jianjun Zhao	[18]
44	Marcelo d'Amorim	[19] [21] [22] [27] [30]

Colors in the list of coauthors