Darko Marinov's Publications

Updated 01/2017

Copyright notice


  1. F. Jahanbakhsh, W.-T. Fu, K. Karahalios, D. Marinov, and B. Bailey
    You Want Me to Work with Who? Stakeholder Perceptions of Automated Team Formation in Project-based Courses
    35th Annual ACM Conference on Human Factors in Computing System
    (CHI 2017), pages to-appear, Denver, CO, May 2017 (This paper won a CHI Best Paper Award.)

  2. A. Gyori, B. Lambeth, S. Khurshid, and D. Marinov
    Exploring Underdetermined Specifications using Java PathFinder
    Java Pathfinder Workshop
    (JPF 2016), Seattle, WA, Nov. 2016

  3. A. Gyori, B. Lambeth, A. Shi, O. Legunsen, and Darko Marinov
    NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications
    24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Demo Papers
    (FSE Demo 2016), pages 993-997, Seattle, WA, Nov. 2016

  4. O. Legunsen, F. Hariri, A. Shi, Y. Lu, L. Zhang, and D. Marinov
    An Extensive Study of Static Regression Test Selection in Modern Software Evolution
    24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering
    (FSE 2016), pages 583-594, Seattle, WA, Nov. 2016

  5. F. Hariri, A. Shi, H. Converse, D. Marinov, and S. Khurshid
    Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level
    27th IEEE International Symposium on Software Reliability Engineering
    (ISSRE 2016), pages 105-115, Ottawa, Canada, Oct. 2016

  6. O. Legunsen, W. Ul Hassan, X. Xu, G. Rosu, and D. Marinov
    How Good are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications
    31st IEEE/ACM Conference on Automated Software Engineering
    (ASE 2016), pages 602-613, Singapore, Singapore, Sep. 2016
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)

  7. M. Hilton, T. Tunnell, K. Huang, D. Marinov, and D. Dig
    Usage, Costs, and Benefits of Continuous Integration in Open-Source Projects
    31st IEEE/ACM Conference on Automated Software Engineering
    (ASE 2016), pages 426-437, Singapore, Singapore, Sep. 2016

  8. M. A. Alipour, A. Shi, R. Gopinath, D. Marinov, and A. Groce
    Evaluating Non-Adequate Test-Case Reduction
    31st IEEE/ACM Conference on Automated Software Engineering
    (ASE 2016), pages 16-26, Singapore, Singapore, Sep. 2016

  9. D. Dig, R. Johnson, D. Marinov, B. Bailey, and D. Batory
    COPE: Vision for a Change-Oriented Programming Environment
    38th ACM/IEEE International Conference on Software Engineering, Visions of 2025 and Beyond
    (ICSE 2016 V2025), pages 773-776, Austin, TX, May 2016

  10. A. Shi, A. Gyori, O. Legunsen, and D. Marinov
    Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications
    Ninth IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2016), pages 80-90, Chicago, IL, April 2016

  11. Z. Lin, D. Marinov, H. Zhong, Y. Chen, and J. Zhao
    JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs
    30th IEEE/ACM Conference on Automated Software Engineering
    (ASE 2015), pages 178-189, Lincoln, NE, November 2015

  12. K. Palmskog, F. Hariri, and D. Marinov
    A Case Study on Executing Instrumented Code in Java PathFinder
    Java Pathfinder Workshop
    (JPF 2015), Lincoln, NE, November 2015

  13. A. Shi, T. Yung, A. Gyori, and D. Marinov
    Comparing and Combining Test-Suite Reduction and Regression Test Selection
    10th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2015), pages 237-247, Bergamo, Italy, Sep. 2015

  14. M. Gligoric, A. Groce, C. Zhang, R. Sharma, A. Alipour, and D. Marinov
    Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
    ACM Transactions on Software Engineering and Methodology
    (ACM TOSEM), 24(4):22:1-22:33, August 2015

  15. S. Souto, D. Gopinath, M. d'Amorim, D. Marinov, S. Khurshid, and D. Batory
    Faster Bug Detection for Software Product Lines with Incomplete Feature Models
    19th International Software Product Line Conference
    (SPLC 2015), pages 151-160, Nashville, TN, July 2015

  16. A. Gyori, A. Shi, F. Hariri, and D. Marinov
    Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency
    International Symposium on Software Testing and Analysis
    (ISSTA 2015), pages 223-233, Baltimore, MD, July 2015

  17. M. Gligoric, L. Eloussi, and D. Marinov
    Practical Regression Test Selection with Dynamic File Dependencies
    International Symposium on Software Testing and Analysis
    (ISSTA 2015), pages 211-222, Baltimore, MD, July 2015
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)

  18. M. Gligoric, L. Eloussi, and D. Marinov
    Ekstazi: Lightweight Test Selection
    37th International Conference on Software Engineering, Demonstrations Track
    (ICSE Demo 2015), pages 713-716, Florence, Italy, May 2015

  19. O. Legunsen, D. Marinov, and G. Rosu
    Evolution-Aware Monitoring-Oriented Programming
    37th International Conference on Software Engineering, New Ideas and Emerging Results
    (ICSE NIER 2015), pages 615-618, Florence, Italy, May 2015

  20. Y. Y. Lee, D. Marinov, and R. Johnson
    Tempura: Temporal Dimension for IDEs
    37th International Conference on Software Engineering
    (ICSE 2015), pages 212-222, Florence, Italy, May 2015

  21. V. S. Bengolea, N. Aguirre, D. Marinov, and M. F. Frias
    RepOK-based Reduction of Bounded Exhaustive Testing
    Software Testing, Verification and Reliability
    (STVR), 24(8):629-655, Dec. 2014

  22. Q. Luo, F. Hariri, L. Eloussi, and D. Marinov
    An Empirical Analysis of Flaky Tests
    22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering
    (FSE 2014), pages 643-653, Hong Kong, China, November 2014

  23. A. Shi, A. Gyori, M. Gligoric, A. Zaytsev, and D. Marinov
    Balancing Trade-offs in Test-suite Reduction
    22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering
    (FSE 2014), pages 246-256, Hong Kong, China, November 2014

  24. M. Gligoric, S. Negara, O. Legunsen, and D. Marinov
    An Empirical Evaluation and Comparison of Manual and Automated Test Selection
    29th IEEE/ACM Conference on Automated Software Engineering
    (ASE 2014), pages 361-372, Vasteras, Sweden, September 2014

  25. A. Sullivan, R. Zaeeem, S. Khurshid, and D. Marinov
    Towards a Test Automation Framework for Alloy
    21st International SPIN Symposium on Model Checking of Software
    (SPIN 2014), pages 113-116, San Jose, CA, July 2014 (Short paper.)

  26. M. Gligoric, R. Majumdar, R. Sharma, L. Eloussi, and D. Marinov
    Regression Test Selection for Distributed Software Histories
    26th International Conference on Computer Aided Verification
    (CAV 2014), pages 293-309, Vienna, Austria, July 2014

  27. L. Zhang, M. Gligoric, D. Marinov, and S. Khurshid
    Operator-based and Random Mutant Selection: Better Together
    28th IEEE/ACM Conference on Automated Software Engineering
    (ASE 2013), pages 92-102, Palo Alto, CA, Nov. 2013

  28. A. Milicevic, D. Jackson, M. Gligoric, and D. Marinov
    Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications
    Fourth Annual ACM International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Onward! Research Papers
    (Onward! 2013), pages 17-36, Indianapolis, IN, Oct. 2013

  29. C. H. P. Kim, D. Marinov, S. Khurshid, D. Batory, S. Souto, P. Barros, and M. d'Amorim
    SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
    9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2013), pages 257-267, St. Petersburg, Russia, Aug. 2013

  30. M. Gligoric, V. Jagannath, Q. Luo, and D. Marinov
    Efficient mutation testing of multithreaded code
    Software Testing, Verification and Reliability
    (STVR), 23(5):375-403, Aug. 2013

  31. M. Gligoric, A. Groce, C. Zhang, R. Sharma, A. Alipour, and D. Marinov
    Comparing Non-Adequate Test Suites using Coverage Criteria
    International Symposium on Software Testing and Analysis
    (ISSTA 2013), pages 302-313, Lugano, Switzerland, July 2013

  32. L. Zhang, D. Marinov, and S. Khurshid
    Faster Mutation Testing Inspired by Test Prioritization and Reduction
    International Symposium on Software Testing and Analysis
    (ISSTA 2013), pages 235-245, Lugano, Switzerland, July 2013

  33. M. Gligoric, F. Behrang, Y. Li, J. Overbey, M. Hafiz, and D. Marinov
    Systematic Testing of Refactoring Engines on Real Software Projects
    27th European Conference on Object-Oriented Programming
    (ECOOP 2013), pages 629-653, Montpellier, France, July 2013

  34. Y. Y. Lee, S. Harwell, S. Khurshid, and D. Marinov
    Temporal Code Completion and Navigation
    35th International Conference on Software Engineering, New Ideas and Emerging Results
    (ICSE NIER 2013), pages 1181-1184, San Francisco, CA, May 2013

  35. A. Nistor, L. Song, D. Marinov, and S. Lu
    Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
    35th International Conference on Software Engineering
    (ICSE 2013), pages 562-571, San Francisco, CA, May 2013

  36. L. Zhang, D. Marinov, L. Zhang, and S. Khurshid
    Regression Mutation Testing
    International Symposium on Software Testing and Analysis
    (ISSTA 2012), pages 331-341, Minneapolis, MN, July 2012

  37. S. Tasharofi, R. K. Karmani, S. Lauterburg, A. Legay, D. Marinov, and G. Agha
    TransDPOR: A novel dynamic partial-order reduction for testing actor programs
    Joint international conference Formal Methods for Open Object-Based Distributed Systems and Formal Techniques for Networked and Distributed Systems
    (FMOODS & FORTE 2012), pages 219-234, Stockholm, Sweden, June 2012

  38. A. Nistor, Q. Luo, M. Pradel, T. R. Gross, and D. Marinov
    Ballerina: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code
    34th International Conference on Software Engineering
    (ICSE 2012), pages 727-737, Zurich, Switzerland, June 2012

  39. V. Bengolea, N. Aguirre, D.Marinov, and M. F. Frias
    Using coverage criteria on RepOK to reduce bounded-exhaustive test suites
    6th International Conference on Tests & Proofs
    (TAP 2012), pages 19-34, Prague, Czech Republic, May 2012

  40. V. Jagannath, M. Kirn, Y. Lin, and D. Marinov
    Evaluating Machine-Independent Metrics for State-Space Exploration
    5th International Conference on Software Testing, Verification, and Validation
    (ICST 2012), pages 320-329, Montreal, Canada, April 2012

  41. S. H. Tan, D. Marinov, L. Tan, and G. T. Leavens
    @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies
    5th International Conference on Software Testing, Verification, and Validation
    (ICST 2012), pages 260-269, Montreal, Canada, April 2012

  42. J. H. Siddiqui, D. Marinov, and S. Khurshid
    Lightweight Data-flow Analysis for Execution-driven Constraint Solving
    5th International Conference on Software Testing, Verification, and Validation
    (ICST 2012), pages 91-100, Montreal, Canada, April 2012

  43. M. Gligoric, P. C. Mehlitz, and D. Marinov
    X10X: Model Checking a New Programming Language with an "Old" Model Checker
    5th International Conference on Software Testing, Verification, and Validation
    (ICST 2012), pages 11-20, Montreal, Canada, April 2012

  44. L. Zhang, D. Marinov, L. Zhang, and S. Khurshid
    An empirical study of JUnit test-suite reduction
    22nd IEEE International Symposium on Software Reliability Engineering
    (ISSRE 2011), pages 170-179, Hiroshima, Japan, Nov. 2011

  45. S. A. Khalek, G. Yang, L. Zhang, D. Marinov, and S. Khurshid
    TestEra: A tool for testing Java programs using Alloy specifications
    26th IEEE/ACM International Conference On Automated Software Engineering, Tool Demonstrations Track
    (ASE Demo 2011), pages 608-611, Lawrence, KS, Nov. 2011

  46. V. Jagannath, M. Gligoric, D. Jin, Q. Luo, G. Rosu, and D. Marinov
    Improved Multithreaded Unit Testing
    8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2011), pages 223-233, Szeged, Hungary, Sept. 2011

  47. M. Gligoric, D. Marinov, and S. Kamin
    CoDeSe: Fast Deserialization via Code Generation
    International Symposium on Software Testing and Analysis
    (ISSTA 2011), pages 298-308, Toronto, Canada, July 2011

  48. V. Jagannath, Q. Luo, and D. Marinov
    Change-Aware Preemption Prioritization
    International Symposium on Software Testing and Analysis
    (ISSTA 2011), pages 133-143, Toronto, Canada, July 2011

  49. B. Daniel, Q. Luo, M. Mirzaaghaei, D. Dig, D. Marinov, and M. Pezze
    Automated GUI Refactoring and Test Script Repair (Position Paper)
    First International Workshop on End-to-End Test Script Engineering
    (ETSE 2011), pages 38-41, Toronto, Canada, July 2011

  50. S. Tasharofi, M. Gligoric, D. Marinov, and R. Johnson
    Setac: A Framework for Phased Deterministic Testing of Scala Actor Programs
    Second Scala Workshop
    (Scala Days 2011), Stanford, CA, June 2011

  51. B. Daniel, D. Dig, T. Gvero, V. Jagannath, J. Jiaa, D. Mitchell, J. Nogiec, S. H. Tan, and D. Marinov
    ReAssert: A Tool for Repairing Broken Unit Tests
    International Conference on Software Engineering, Demonstrations Track
    (ICSE Demo 2011), pages 1010-1012, Honolulu, HI, May 2011

  52. R. Sharma, M. Gligoric, A. Arcuri, G. Fraser, and D. Marinov
    Testing container classes: Random or systematic?
    Fundamental Approaches to Software Engineering
    (FASE 2011), pages 262-277, Saarbrucken, Germany, March 2011

  53. A. Nistor, D. Marinov, and J. Torrellas
    InstantCheck: Checking the Determinism of Parallel Programs Using On-the-fly Incremental Hashing
    43rd Annual IEEE/ACM International Symposium on Microarchitecture
    (MICRO 2010), pages 251-262, Atlanta, GA, December 2010

  54. S. Lauterburg, R. K. Karmani, D. Marinov, and G. Agha
    Basset: A Tool for Systematic Testing of Actor Programs
    ACM SIGSOFT International Symposium on the Foundations of Software Engineering, formal tool demonstrations
    (FSE Demo 2010), pages 363-364, Santa Fe, NM, November 2010

  55. A. Sobeih, M. d'Amorim, M. Viswanathan, D. Marinov, and J. C. Hou
    Assertion checking in J-Sim simulation models of network protocols
    Simulation: Transactions of The Society for Modeling and Simulation International
    (SIMULATION), 86(11):651-673, November 2010

  56. B. Daniel, T. Gvero, and D. Marinov
    On Test Repair using Symbolic Execution
    International Symposium on Software Testing and Analysis
    (ISSTA 2010), pages 207-218, Trento, Italy, July 2010

  57. V. Jagannath, M. Gligoric, D. Jin, G. Rosu, and D. Marinov
    IMUnit: Improved Multithreaded Unit Testing
    Third International Workshop on Multicore Software Engineering
    (IWMSE 2010), pages 48-49, Cape Town, South Africa, May 2010

  58. 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
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)

  59. R. Sharma, M. Gligoric, V. Jagannath, and D. Marinov
    A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures
    2nd Workshop on Constraints in Software Testing, Verification and Analysis
    (CSTVA 2010), Paris, France, April 2010

  60. V. Jagannath, M. Gligoric, S. Lauterburg, D. Marinov, and G. Agha
    Mutation Operators for Actor Systems
    5th International Workshop on Mutation Analysis
    (Mutation 2010), Paris, France, April 2010

  61. 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 55-64, Paris, France, April 2010
    (This paper was invited for journal submission.)

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

  63. 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 541-552, New York City, NY, December 2009

  64. 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 615-619, Auckland, New Zealand, November 2009 (Short paper.)

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

  66. B. Daniel, 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 433-444, Auckland, New Zealand, November 2009

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

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

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

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

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

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

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

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

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

  76. 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
    (This paper was invited for journal submission.)

  77. B. Daniel, D. Dig, K. Garcia, and D. Marinov
    Automated testing of Eclipse and NetBeans refactoring tools
    1st Workshop on Refactoring Tools
    (WRT 2007), Berlin, Germany, July 2007
    (A shorter version of C20.)

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

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

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

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

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

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

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

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

  86. 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 paper was nominated for the best paper award and invited for journal submission.)

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

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

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

  90. 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.)

  91. 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
    (A previous version of C14.)

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

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

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

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

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

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

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

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

  100. D. Marinov and R. Radoicic
    Counting 1324-avoiding permutations
    Electronic Journal of Combinatorics, 9(2): Research Paper 13, 9 pp. (electronic), 2003

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

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

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

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

  105. 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.)

  106. 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.)

  107. S. Khurshid and D. Marinov
    Checking Java implementation of a naming architecture using TestEra
    Electronic Notes in Theoretical Computer Science, 55(3), July 2001

  108. 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
    (An extended abstract of W6.)

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

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

  111. D. Marinov, D. Magdic, A. Milenkovic, J. Protic, I. Tartalja, and V. Milutinovic
    The Scowl Tool for PC-Based Characterization of Parallel Applications
    In V. Milutinovic, author, Surviving the Design of Microprocessor and Multimicroprocessor Systems: Lessons Learned
    Book Chapter appendix C, pages 260-283, John Wiley and Sons, 2000
    (A longer version of C1.)

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

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

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

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

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

  117. D. Marinov, D. Magdic, A. Milenkovic, J. Protic, I. Tartalja, and V. Milutinovic
    An approach to characterization of parallel applications for DSM systems
    31st Annual Hawaii International Conference on System Sciences
    (DSM 1998), pages 782-783, Kohala Coast, HI, Jan. 1998
    (An extended abstract of C1.)


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.