State extensions for java pathfinder. - Tihomir Gvero; Milos Gligoric 001; Steven Lauterburg; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid (ICSE, 2008)

Incremental state-space exploration for programs with dynamically allocated data. - Steven Lauterburg; Ahmed Sobeih; Darko Marinov; Mahesh Viswanathan 001 (ICSE, 2008)

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. - Marcelo d'Amorim; Steven Lauterburg; Darko Marinov (IEEE Trans. Software Eng., 2008)

Optimizing Generation of Object Graphs in Java PathFinder. - Milos Gligoric 001; Tihomir Gvero; Steven Lauterburg; Darko Marinov; Sarfraz Khurshid (ICST, 2009)

A Framework for State-Space Exploration of Java-Based Actor Programs. - Steven Lauterburg; Mirco Dotta; Darko Marinov; Gul A. Agha (ASE, 2009)

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. - Steven Lauterburg; Rajesh K. Karmani; Darko Marinov; Gul Agha (FASE, 2010)

Mutation Operators for Actor Systems. - Vilas Jagannath; Milos Gligoric 001; Steven Lauterburg; Darko Marinov; Gul Agha (ICST Workshops, 2010)

Basset: a tool for systematic testing of actor programs. - Steven Lauterburg; Rajesh K. Karmani; Darko Marinov; Gul Agha (SIGSOFT FSE, 2010)

Systematic testing for actor programs - Steven Lauterburg (2011)

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. - Samira Tasharofi; Rajesh K. Karmani; Steven Lauterburg; Axel Legay; Darko Marinov; Gul Agha (FMOODS/FORTE, 2012)