Java PathFinder Contributions from Darko Marinov's Students

• Contributions
• Papers
• Darko's Students

Papers

1. M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak, and D. Marinov
   Test Generation through Programming in UDITA
   32nd International Conference on Software Engineering
   (ICSE 2010), pages 225-234, Cape Town, South Africa, May 2010

2. M. Gligoric, V. Jagannath, and D. Marinov
   MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
   3rd International Conference on Software Testing, Verification, and Validation
   (ICST 2010), pages TO APPEAR, Paris, France, April 2010

3. S. Lauterburg, R. K. Karmani, D. Marinov, and G. Agha
   Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
   Fundamental Approach to Software Engineering
   (FASE 2010), pages 308-322, Paphos, Cyprus, March 2010

4. S. Lauterburg, M. Dotta, D. Marinov, and G. Agha
   A framework for state-space exploration of Java-based actor programs
   24th IEEE/ACM Conference on Automated Software Engineering
   (ASE 2009), pages 468-479, Auckland, New Zealand, November 2009

5. A. Sobeih, M. d'Amorim, D. Marinov, and M. Viswanathan
   Assertion checking in J-Sim simulation models of network protocols
   Simulation: Transactions of The Society for Modeling and Simulation International
   (SIMULATION), TO APPEAR (Accepted. To appear.)

6. M. Gligoric, T. Gvero, S. Lauterburg, D. Marinov and S. Khurshid
   Optimizing generation of object graphs in Java PathFinder
   2nd International Conference on Software Testing, Verification, and Validation
   (ICST 2009), Denver, Colorado, USA, April 2009
7. M. d'Amorim, S. Lauterburg, and D. Marinov
   Delta execution for efficient state-space exploration of object-oriented programs
   IEEE Transactions on Software Engineering
   (IEEE TSE), 34(5):597-613, September/October 2008
8. S. Lauterburg, A. Sobeih, D. Marinov, and M. Viswanathan
   Incremental state-space exploration for programs with dynamically allocated data
   International Conference on Software Engineering
   (ICSE 2008), Leipzig, Germany, May 2008
9. T. Gvero, M. Gligoric, S. Lauterburg, M. d'Amorim, D. Marinov, and S. Khurshid
   State extensions for Java PathFinder
   International Conference on Software Engineering, Demo Papers
   (ICSE Demo 2008), Leipzig, Germany, May 2008
10. M. d'Amorim, S. Lauterburg, and D. Marinov
    Delta execution for efficient state-space exploration of object-oriented programs
    International Symposium on Software Testing and Analysis
    (ISSTA 2007), pages 50-60, London, UK, July 2007
11. Y. Zhou, D. Marinov, W. Sanders, C. Zilles, M. d'Amorim, S. Lauterburg, R. M. Lefever, and J. Tucek
    Delta execution for software reliability
    Workshop on Hot Topics in System Dependability
    (HotDep 2007), Edinburgh, UK, June 2007
12. M. d'Amorim, A. Sobeih, and D. Marinov
    Optimized execution of deterministic blocks in Java PathFinder
    8th International Conference on Formal Engineering Methods
    (ICFEM 2006), Macau, China, Nov. 2006
13. M. d'Amorim, C. Pacheco, T. Xie, D. Marinov, and M. D. Ernst
    An empirical comparison of automated generation and classification techniques for object-oriented unit testing
    21st IEEE Conference on Automated Software Engineering
    (ASE 2006), pages 59-68, Tokyo, Japan, Sept. 2006

This material is based upon work partially supported by the National Science Foundation under Grant Nos. CCF-0746856. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF). Milos Gligoric was supported by the Saburo Muroga fellowship while working on a part of this project.