BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lauterburg:Steven

Contributed to:

FASE 20102010
FSE 20102010
ASE 20092009
ICST 20092009
ICSE 20082008
ISSTA 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.