Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Steven Lauterburg
2010 – today
- 2012
[c9]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: 219-234- 2010
- [c8]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322
- [c7]Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha: Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162
- [c6]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364
2000 – 2009
- 2009
- [c5]Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid: Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60
- [c4]Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha: A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479
- 2008
- [j1]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34(5): 597-613 (2008)
- [c3]Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300
- [c2]Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866
- 2007
- [c1]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:52 CET by the dblp team