Steven Lauterburg

According to our database, Steven Lauterburg authored at least 10 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Systematic testing for actor programs

Steven Lauterburg

PhD thesis, 2011

2010

Basset: a tool for systematic testing of actor programs.

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Mutation Operators for Actor Systems.

Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha

Proceedings of the Third International Conference on Software Testing, 2010

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

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

Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha

Proceedings of the ASE 2009, 2009

Optimizing Generation of Object Graphs in Java PathFinder.

Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

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

Marcelo d'Amorim, Steven Lauterburg, Darko Marinov

IEEE Trans. Software Eng., 2008

Incremental state-space exploration for programs with dynamically allocated data.

Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

State extensions for java pathfinder.

Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008