2009 | ||
---|---|---|
32 | EE | Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov: Reducing the Costs of Bounded-Exhaustive Testing. FASE 2009: 171-185 |
2008 | ||
31 | EE | Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300 |
30 | EE | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866 |
29 | EE | Darko Marinov, Wolfram Schulte: Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA 2008: 315-316 |
28 | EE | Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid: Efficient solving of structural constraints. ISSTA 2008: 39-50 |
27 | EE | 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 | 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 |