Dr. Steven Lauterburg

Department of Mathematics and Computer Science
Salisbury University
Office: 130 Henson Hall
Email: stlauterburg at salisbury dot edu
Office Hours: MoWeFr 9-10am, TuTh 3:30-4:30pm

Fall 2014 Courses

COSC 117: Programming Fundamentals
     Section 501  MoWeFr 1:00pm - 1:50pm, 112 Devilbiss (lecture)
Tu 10:00am - 11:40pm, 150 Henson (lab)
     Section 502  MoWeFr 2:00pm - 2:50pm, 112 Devilbiss (lecture)
Fr 10:00am - 11:40pm, 205 Devilbiss (lab)
COSC 320: Advanced Data Structures and Algorithm Analysis
     Section 001  TuTh 2:00pm - 3:15pm, 111 Henson (lecture)
Th 11:00am - 12:40pm, 150 Henson (lab)

Previous Courses

COSC 117: Programming Fundamentals (Spring 2014, Fall 2013, Fall 2012, Spring 2012, Fall 2011)
COSC 120: Computer Science I (Spring 2013)
COSC 220: Computer Science II (Spring 2014, Fall 2013)
COSC 425: Software Engineering I (Fall 2013, Fall 2012, Fall 2011)
COSC 426: Software Engineering II (Spring 2014, Spring 2013, Spring 2012)

Publications

Peer-Reviewed Papers and Journal Articles
  1. TransDPOR: A Novel Dynamic Partial-Order Reduction for Testing Actor Programs
    Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov and Gul 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. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.

.