Travelled to:1 × Cyprus
1 × Germany
1 × New Zealand
1 × United Kingdom
2 × USA
Collaborated with:D.Marinov R.K.Karmani G.Agha M.d'Amorim M.Gligoric T.Gvero S.Khurshid M.Dotta G.A.Agha A.Sobeih M.Viswanathan
Talks about:program (4) state (4) explor (3) space (3) java (3) object (2) order (2) dynam (2) actor (2) increment (1)
Person: Steven Lauterburg
DBLP: Lauterburg:Steven
Contributed to:
2010
2010
2009
2009
2008
2007Wrote 7 papers:
- FASE-2010-LauterburgKMA #heuristic #partial order #reduction
- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
- FSE-2010-LauterburgKMA #named #source code #testing
- Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.
- ASE-2009-LauterburgDMA #framework #source code
- A Framework for State-Space Exploration of Java-Based Actor Programs (SL, MD, DM, GAA), pp. 468–479.
- ICST-2009-GligoricGLMK #generative #graph #java #optimisation
- Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
- ICSE-2008-GveroGL #java
- State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
- ICSE-2008-LauterburgSMV #incremental #source code
- Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.
- ISSTA-2007-dAmorimLM #execution #object-oriented #performance #source code
- Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.