Steven Lauterburg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2007–2012
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | FORTE | 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 |
| 2010 | FASE | Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
| 2010 | ICST | Mutation Operators for Actor Systems. | Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha |
| 2009 | ICST | Optimizing Generation of Object Graphs in Java PathFinder. | Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid |
| 2008 | ICSE | State extensions for java pathfinder. | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid |
| 2008 | ICSE | Incremental state-space exploration for programs with dynamically allocated data. | Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan |
| 2007 | ISSTA | Delta execution for efficient state-space exploration of object-oriented programs. | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |