Darko Marinov

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

Colors in the list of coauthors