|
Search the dblp DataBase
Steven Lauterburg:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Delta execution for efficient state-space exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP] ISSTA, 2007, pp:50-60 [Conf]
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. [Citation Graph (, )][DBLP]
Incremental state-space exploration for programs with dynamically allocated data. [Citation Graph (, )][DBLP]
State extensions for java pathfinder. [Citation Graph (, )][DBLP]
A Framework for State-Space Exploration of Java-Based Actor Programs. [Citation Graph (, )][DBLP]
Optimizing Generation of Object Graphs in Java PathFinder. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|