- Counting 1324-avoiding Permutations Darko Marinov Rados Radoicic
- IEEE TCCA Newsletters, 1999. 1 The Split Spatial/NonSpatial Cache
- Automated Detection of Refactorings in Evolving Danny Dig, Can Comertoglu, Darko Marinov, and Ralph Johnson
- Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques
- Testing Container Classes: Random or Systematic? Rohan Sharma1
- CALKAS:AComputerArchitecture Learning and Knowledge Assessment System
- Generating Test Inputs for Fault-Tree Analyzers using Imperative Predicates
- MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code Milos Gligoric, Vilas Jagannath, and Darko Marinov
- A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures
- Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution
- Detecting Redundant Unit Tests for AspectJ Programs Jianjun Zhao2
- Basset: A Tool for Systematic Testing of Actor Programs Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, and Gul Agha
- Performance Evaluation of Split Temporal/Spatial Caches: Paving the Way to New Solutions
- IEEE TCCA Newsletters, 1999. 1 Split Temporal/Spatial Cache
- InstantCheck: Checking the Determinism of Parallel Programs Using On-the-fly Incremental Hashing
- Setac: A Framework for Phased Deterministic Testing of Scala Actor Programs
- Mutation Operators for Actor Systems Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, and Gul Agha
- Optimizing a Structural Constraint Solver for Efficient Software Checking Junaid Haroon Siddiqui
- A Framework for State-Space Exploration of Java-based Actor Programs Steven Lauterburg
- Reducing the Costs of Bounded-Exhaustive Vilas Jagannath, Yun Young Lee, Brett Daniel, and Darko Marinov
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 99, NO. 99, MONTH 2008 1 Delta Execution for Efficient State-Space
- Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
- Korat: A Tool for Generating Structurally Complex Test Inputs Aleksandar Milicevic Sasa Misailovic
- What Will the User Do (Next) in the Tool? Darko Marinov
- Automatic Detection of Refactorings for Libraries and Frameworks Danny Dig, Can Comertoglu, Darko Marinov, Ralph Johnson
- Automated Test Generation for AspectJ Programs Jianjun Zhao2
- Object Equality Profiling Darko Marinov
- A Case for Efficient Solution Enumeration Sarfraz Khurshid Darko Marinov Ilya Shlyakhter Daniel Jackson
- ReAssert: Suggesting Repairs for Broken Unit Tests Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov
- Change-Aware Preemption Prioritization Vilas Jagannath, Qingzhou Luo, Darko Marinov
- Credible Compilation Darko Marinov
- Credible Compilation with Pointers Martin C. Rinard and Darko Marinov
- Optimizations for Compiling Declarative Models into Boolean Formulas
- Optimized Execution of Deterministic Blocks in Java PathFinder
- Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests Darko Marinov2
- IMUnit: Improved Multithreaded Unit Testing Position Statement
- VAlloy Virtual Functions Meet a Relational Darko Marinov and Sarfraz Khurshid
- CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha
- Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
- Integrating Model Checking and Theorem Proving for Relational Reasoning
- Automated Testing of Refactoring Engines Brett Daniel Danny Dig Kely Garcia Darko Marinov
- Automatic Testing of Software with Structurally Complex Inputs
- Incremental State-Space Exploration for Programs with Dynamically Allocated Data
- On Test Repair Using Symbolic Execution Brett Daniel1
- Towards a Framework for Differential Unit Testing of Object-Oriented Programs
- Using TestEra to Check the Intentional Naming System of Oxygen Sarfraz Khurshid KHURSHID@LCS.MIT.EDU
- J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
- Light64: Lightweight Hardware Support for Data Race Detection during Systematic Testing of Parallel Programs
- Generating Trees of (Reducible) 1324-avoiding Permutations Darko Marinov
- ReAssert: A Tool for Repairing Broken Unit Tests Brett Daniel1
- Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests
- Automated GUI Refactoring and Test Script Repair (Position Paper)
- Improved Multithreaded Unit Testing Vilas Jagannath, Milos Gligoric, Dongyun Jin,
- CoDeSe: Fast Deserialization via Code Generation Milos Gligoric Darko Marinov Sam Kamin
- An Empirical Study of JUnit Test-Suite Reduction Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid
- TestEra: A Tool for Testing Java Programs Using Alloy Specifications
