Dr. Steven Lauterburg

Department of Mathematics and Computer Science
Salisbury University
Email: stlauterburg at salisbury dot edu
Office: 130 Henson Hall
Office Hours: Mon 10-11am, Tue 2-4pm, Thu 10-11am, Fri 10-11am

Spring 2013 Courses

COSC 120: Computer Science I
     Section 500  MoWeFr 11:00am - 11:50am, 123 Henson (lecture)
Tu 12:00pm - 1:40pm, 205 Devilbiss (lab)
     Section 501  MoWeFr 9:00am - 9:50am, 109 Henson (lecture)
Th 9:00am - 10:40pm, 150 Henson (lab)
COSC 426: Software Engineering II
     Section 001  MoWe 3:00pm - 4:15am, 107 Henson

Previous Courses

COSC 117: Programming Fundamentals (Fall 2011, Spring 2012, Fall 2012)
COSC 425: Software Engineering I (Fall 2011, Fall 2012)
COSC 426: Software Engineering II (Spring 2012)

Publications

Journal Articles
  1. Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
    Marcelo d'Amorim, Steven Lauterburg and Darko Marinov
    IEEE Transactions on Software Engineering
    (IEEE TSE), Volume 34, Issue 6, pages 597-613, September-October 2008.
Peer-reviewed Conference and Workshop Papers
  1. TransDPOR: A Novel Dynamic Partial-Order Reduction for Testing Actor Programs
    S. Tasharofi, R. K. Karmani, S. Lauterburg, A. Legay, D. Marinov, and G. Agha
    In Proc. of Joint International Conference on Formal Methods for Open Object-Based Distributed Systems and Formal Techniques for Networked and Distributed Systems
    (FMOODS & FORTE 2012), Stockholm, Sweden, June 2012.

  2. Basset: A Tool for Systematic Testing of Actor Programs
    Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, and Gul Agha
    In Proc. of ACM SIGSOFT 18th International Symposium on the Foundations of Software Engineering, formal tool demonstrations
    (FSE Demo 2010), Santa Fe, New Mexico, USA, November 2010.

  3. Mutation Operators for Actor Systems
    Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, and Gul Agha
    In Proc. of 5th International Workshop on Mutation Analysis
    (Mutation 2010), Paris, France, April 2010.

  4. Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques
    Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, and Gul Agha
    In Proc. of Fundamental Approaches to Software Engineering
    (FASE 2010), Paphos, Cyprus, March 2010.

  5. A Framework for State-Space Exploration of Java-based Actor Programs
    Steven Lauterburg, Mirco Dotta, Darko Marinov and Gul Agha
    In Proc. of 24th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2009), Auckland, New Zealand, November 2009.

  6. Optimizing Generation of Object Graphs in Java PathFinder
    Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov and Sarfraz Khurshid
    In Proc. of 2nd International Conference on Software Testing, Verification, and Validation
    (ICST 2009), Denver, Colorado, USA, April 2009.

  7. Incremental State-Space Exploration for Programs with Dynamically Allocated Data
    Steven Lauterburg, Ahmed Sobeih, Mahesh Viswanathan and Darko Marinov
    In Proc. of 30th International Conference on Software Engineering
    (ICSE 2008), pages 291-300, Leipzig, Germany, May 2008.

  8. State Extensions for Java PathFinder
    Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov and Sarfraz Khurshid
    In Proc. of 30th International Conference on Software Engineering, Demo Papers
    (ICSE Demo 2008), pages 863-866, Leipzig, Germany, May 2008.

  9. Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
    Marcelo d'Amorim, Steven Lauterburg and Darko Marinov
    In Proc. of International Symposium of Software Testing and Analysis
    (ISSTA 2007), pages 50-60, London, UK, July 2007.

  10. Delta Execution for Software Reliability
    Yuanyuan Zhou, Darko Marinov, William Sanders, Craig Zilles, Marcelo d'Amorim, Steven Lauterburg, Ryan M. Lefever and Joe Tucek
    In Proc. of the Workshop on Hot Topics in System Dependability
    (HotDep 2007), Edinburgh, UK, June 2007.
Technical Reports
  1. Incremental State Space Exploration in J-Sim
    Ahmed Sobeih and Steven Lauterburg
    Technical Report No. UIUCDCS-R-2007-2898, September 2007.

  2. Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
    Marcelo d'Amorim, Steven Lauterburg and Darko Marinov
    Technical Report No. UIUCDCS-R-2007-2844, May 2007.

.