Steven Lauterburg

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Relational Databases

Dynamically Changing

Partial Order Reduction

Test Generation

Top Venues

Publications

Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE (2012)
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
Basset: a tool for systematic testing of actor programs. SIGSOFT FSE (2010)
Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha
Mutation Operators for Actor Systems. ICST Workshops (2010)
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE (2010)
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE (2009)
Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid
Optimizing Generation of Object Graphs in Java PathFinder. ICST (2009)
Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan
Incremental state-space exploration for programs with dynamically allocated data. ICSE (2008)
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34 (5) (2008)
Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid
State extensions for java pathfinder. ICSE (2008)
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Delta execution for efficient state-space exploration of object-oriented programs. ISSTA (2007)