Steven Lauterburg

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

Axel Legay, Darko Marinov, Gul A. Agha, 2012, FMOODS/FORTE.

Basset: a tool for systematic testing of actor programs

Darko Marinov, Gul A. Agha, Rajesh K. Karmani, 2010, FSE '10.

State extensions for java pathfinder

Sarfraz Khurshid, Marcelo d'Amorim, Darko Marinov, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

Mutation Operators for Actor Systems

Darko Marinov, Gul A. Agha, Vilas Jagannath, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

Incremental State Space Exploration in J-Sim

Ahmed Sobeih, Steven Lauterburg, 2007 .

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

Marcelo d'Amorim, Darko Marinov, Steven Lauterburg, 2008, IEEE Trans. Software Eng..

A Framework for State-Space Exploration of Java-Based Actor Programs

Darko Marinov, Gul A. Agha, Steven Lauterburg, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Delta execution for software reliability

William H. Sanders, Marcelo d'Amorim, Yuanyuan Zhou, 2007 .

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques

Darko Marinov, Gul A. Agha, Rajesh K. Karmani, 2010, FASE.

Incremental state-space exploration for programs with dynamically allocated data

Mahesh Viswanathan, Darko Marinov, Ahmed Sobeih, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

Marcelo d'Amorim, Darko Marinov, Steven Lauterburg, 2007, IEEE Transactions on Software Engineering.

Optimizing Generation of Object Graphs in Java PathFinder

Sarfraz Khurshid, Darko Marinov, Milos Gligoric, 2009, 2009 International Conference on Software Testing Verification and Validation.