Darko Marinov's Publications

Updated 09/2009

Copyright notice

1. A. Nistor, D. Marinov, and J. Torrellas
   Light64: Lightweight hardware support for race detection during systematic testing of parallel programs
   42nd Annual IEEE/ACM International Symposium on Microarchitecture
   (MICRO 2009), pages TO APPEAR, New York City, NY, December 2009

2. J. Siddiqui, D. Marinov, and S. Khurshid
   Optimizing a structural constraint solver for efficient software checking
   24th IEEE/ACM Conference on Automated Software Engineering
   (ASE 2009), pages TO APPEAR, Auckland, New Zealand, November 2009 (Short paper.)

3. 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 TO APPEAR, Auckland, New Zealand, November 2009

4. B. Daniel, ASE 2009 V. Jagannath, D. Dig, and D. Marinov
   ReAssert: Suggesting repairs for broken unit tests
   24th IEEE/ACM Conference on Automated Software Engineering
   (ASE 2009), pages TO APPEAR, 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), pages 51-60, Denver, CO, April 2009

7. V. Jagannath, Y. Y. Lee, B. Daniel, and D. Marinov
   Reducing the costs of bounded-exhaustive testing
   Fundamental Approaches to Software Engineering
   (FASE 2009), pages 171-185, York, UK, March 2009

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

9. D. Marinov and W. Schulte
   Workshop on state-space exploration for automated testing (SSEAT 2008)
   International Symposium on Software Testing and Analysis
   (ISSTA 2008), pages 315-316, Seattle, WA, July 2008

10. B. Elkarablieh, D. Marinov, and S. Khurshid
    Efficient solving of structural constraints
    International Symposium on Software Testing and Analysis
    (ISSTA 2008), pages 39-50, Seattle, WA, July 2008

11. 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), pages 863-866, Leipzig, Germany, May 2008

12. 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), pages 291-300, Leipzig, Germany, May 2008

13. B. Daniel, D. Dig, K. Garcia, and D. Marinov
    Automated testing of refactoring engines
    6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2007), pages 185-194, Dubrovnik, Croatia, Sept. 2007

14. S. Misailovic, A. Milicevic, N. Petrovic, S. Khurshid, and D. Marinov
    Parallel test generation and execution with Korat
    6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2007), pages 135-144, Dubrovnik, Croatia, Sept. 2007

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

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

17. T. Xie, K. Taneja, S. Kale, and D. Marinov
    Towards a framework for differential unit testing of object-oriented programs
    2nd International Workshop on Automation of Software Test
    (AST 2007), Minneapolis, MN, May 2007

18. A. Milicevic, S. Misailovic, D. Marinov, and S. Khurshid
    Korat: A tool for generating structurally complex test inputs
    International Conference on Software Engineering, Demo Papers
    (ICSE Demo 2007), pages 771-774, Minneapolis, MN, May 2007

19. S. Misailovic, A. Milicevic, S. Khurshid, and D. Marinov
    Generating test inputs for fault-tree analyzers using imperative predicates
    Workshop on Advances and Innovations in Systems Testing
    (STEP 2007), Memphis, TN, May 2007

20. A. Sobeih, M. Viswanathan, D. Marinov, and J. Hou
    J-Sim: An integrated environment for simulation and model checking of network protocols
    Next Generation Software Workshop
    (NSFNGS 2007), Long Beach, CA, Mar. 2007

21. D. Marinov and S. Khurshid
    What will the user do (next) in the tool?
    First Alloy Workshop
    (Alloy 2006), Portland, OR, Nov. 2006

22. T. Xie, J. Zhao, D. Marinov, and D. Notkin
    Detecting redundant unit tests for AspectJ programs
    17th IEEE International Symposium on Software Reliability Engineering
    (ISSRE 2006), pages 179-190, Raleigh, NC, Nov. 2006

23. 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), page 549-567, Macau, China, Nov. 2006

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

25. D. Dig, C. Comertoglu, D. Marinov, and R. Johnson
    Automated detection of refactorings in evolving components
    20th European Conference on Object-Oriented Programming
    (ECOOP 2006), volume 4067 of LNCS, pages 404-428, Nantes, France, July 2006
    • A previous version:
      D. Dig, C. Comertoglu, D. Marinov, and R. Johnson
      Automatic detection of refactorings for libraries and frameworks
      International Workshop on Object-Oriented Reengineering
      (WOOR 2005), Glasgow, UK, July 2005
      

26. X. Li, D. Shannon, J. Walker, S. Khurshid, and D. Marinov
    Analyzing the uses of a software modeling tool
    Sixth Workshop on Language Descriptions, Tools and Applications
    (LDTA 2006), Vienna, Austria, Apr. 2006

27. A. Sobeih, M. Viswanathan, D. Marinov, and J. Hou
    Finding bugs in network protocols using simulation code and protocol-specific heuristics
    7th International Conference on Formal Engineering Methods
    (ICFEM 2005), volume 3785 of LNCS, pages 235-250, Manchester, UK, Nov. 2005

28. K. Sen, D. Marinov, and G. Agha
    CUTE: A concolic unit testing engine for C
    5th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2005), pages 263-272, Lisbon, Portugal, Sept. 2005
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)

29. D. Marinov, S. Khurshid, S. Bugrara, L. Zhang, and M. C. Rinard
    Optimizations for compiling declarative models into boolean formulas
    International Conference on Theory and Applications of Satisfiability Testing
    (SAT 2005), volume 3569 of LNCS, pages 187-202, St. Andrews, UK, June 2005

30. T. Xie, D. Marinov, W. Schulte, and D. Notkin
    Symstra: A framework for generating object-oriented unit tests using symbolic execution
    11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2005), pages 365-381, Edinburgh, UK, Apr. 2005

31. T. Xie, J. Zhao, D. Marinov, and D. Notkin
    Automated test generation for AspectJ program
    Workshop on Testing Aspect-Oriented Programs
    (WTAOP 2005), Chicago, IL, Mar. 2005

32. D. Marinov
    Automatic Testing of Software with Structurally Complex Inputs
    PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, December 2004

33. S. Khurshid and D. Marinov
    TestEra: Specification-based testing of Java programs using SAT
    Automated Software Engineering Journal
    (JASE 2004), 11(4):403-434, October 2004

34. T. Xie, D. Marinov, and D. Notkin
    Rostra: A framework for detecting redundant object-oriented unit tests
    19th IEEE Conference on Automated Software Engineering
    (ASE 2004), Linz, Austria, September 2004
    
    • A longer version:
      T. Xie, D. Marinov, and D. Notkin
      Improving generation of object-oriented test suites by avoiding redundant tests
      Technical Report UW-CSE-04-01-05, University of Washington, Department of Computer Science and Engineering, Seattle, WA, January 2004
      

35. D. Marinov and R. O'Callahan
    Object equality profiling
    18th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2003), pages 313-325, Anaheim, CA, October 2003
    

36. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard
    An evaluation of exhaustive testing for data structures
    Technical Report MIT-LCS-TR-921, MIT CSAIL, Cambridge, MA, September 2003
    

37. D. Marinov and R. Radoicic
    Counting 1324-avoiding permutations
    Electronic Journal of Combinatorics, 9(2): Research Paper 13, 9 pp. (electronic), 2003
    
    • A longer version:
      D. Marinov and R. Radoicic
      Generating trees of (reducible) 1324-avoiding permutations
      Technical Report MIT-LCS-TR-924, MIT CSAIL, Cambridge, MA, October 2003
      

38. K. Arkoudas, S. Khurshid, D. Marinov, and M. Rinard
    Integrating model checking and theorem proving for relational reasoning
    7th International Seminar on Relational Methods in Computer Science
    (RelMiCS 2003), volume 3015 of LNCS, pages 21-33, Malente, Germany, May 2003

39. S. Khurshid, D. Marinov, I. Shlyakhter, and D. Jackson
    A case for efficient solution enumeration
    Sixth International Conference on Theory and Applications of Satisfiability Testing
    (SAT 2003), volume 2919 of LNCS, pages 272-286, Santa Margherita Ligure, Italy, May 2003

40. S. Khurshid, D. Marinov, and D. Jackson
    An analyzable annotation language
    17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2002), pages 231-245, Seattle, WA, November 2002

41. D. Marinov and S. Khurshid
    VAlloy: Virtual functions meet a relational language
    International Symposium of Formal Methods Europe, Getting IT Right
    (FME 2002), volume 2391 of LNCS, pages 234-251, Copenhagen, Denmark, July 2002

42. C. Boyapati, S. Khurshid, and D. Marinov
    Korat: Automated testing based on Java predicates
    International Symposium on Software Testing and Analysis
    (ISSTA 2002), pages 123-133, Rome, Italy, July 2002
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)

43. D. Marinov and S. Khurshid
    TestEra: A novel framework for testing Java programs
    16th IEEE Conference on Automated Software Engineering
    (ASE 2001), pages 22-31, San Diego, CA, November 2001
    (This paper was nominated for the best paper award.)

44. S. Khurshid and D. Marinov
    Checking Java implementation of a naming architecture using TestEra
    Electronic Notes in Theoretical Computer Science, 55(3), July 2001
    • An extended abstract:
      S. Khurshid and D. Marinov
      Using TestEra to check the Intentional Naming System of Oxygen
      MIT Student Oxygen Workshop
      (SOW 2001), pages 25-26, Gloucester, MA, July 2001

45. D. Marinov
    Credible compilation
    Master's thesis, Massachusetts Institute of Technology, Cambridge, MA, September 2000

46. D. Marinov, D. Magdic, A. Milenkovic, J. Protic, I. Tartalja, and V. Milutinovic
    Scowl: A tool for characterization of parallel workload and its use on Splash-2 application suite
    8th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
    (MASCOTS 2000), pages 207-213, San Francisco, CA, August 2000

47. M. Rinard and D. Marinov
    Credible compilation with pointers
    Workshop on Run-Time Result Verification
    (RTRV 1999), Trento, Italy, July 1999

48. M. Prvulovic, D. Marinov, Z. Dimitrijevic, and V. Milutinovic
    The split spatial/non-spatial cache: A performance and complexity evaluation
    IEEE TCCA Newsletter, pages 18-25, July 1999

49. M. Prvulovic, D. Marinov, Z. Dimitrijevic, and V. Milutinovic
    Split temporal/spatial cache: A survey and reevaluation of performance
    IEEE TCCA Newsletter, pages 8-17, July 1999

50. J. Djordjevic, A. Milenkovic, I. Todorovic, and D. Marinov
    CALKAS: A computer architecture learning and knowledge assessment system
    Workshop on Computer Architecture Education
    (WCAE 1999), Orlando, FL, January 1999

51. M. Prvulovic, D. Marinov, and V. Milutinovic
    Performance evaluation of split temporal/spatial caches: Paving the way to new solutions
    Workshop on Performance Analysis and its Impact on Design
    (PAID 1998), Barcelona, Spain, June 1998

Copyright notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.