No photo of Darko Marinov

View Scopus Profile

Darko Marinov

Search results

  • 2012

    Regression mutation testing

    Zhang, L., Marinov, D., Zhang, L. & Khurshid, S., 2012, 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings. p. 331-341 11 p. (2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Systematic software testing: The Korat approach

    Boyapati, C., Khurshid, S. & Marinov, D., 2012, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012. (Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs

    Tasharofi, S., Karmani, R. K., Lauterburg, S., Legay, A., Marinov, D. & Agha, G., 2012, Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Proceedings. p. 219-234 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7273 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Using coverage criteria on repok to reduce bounded-exhaustive test suites

    Bengolea, V., Aguirre, N., Marinov, D. & Frias, M. F., 2012, Tests and Proofs - 6th International Conference, TAP 2012, Proceedings. p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7305 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • X10X: Model checking a new programming language with an "old" model checker

    Gligoric, M., Mehlitz, P. C. & Marinov, D., 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 11-20 10 p. 6200092. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2011

    An empirical study of JUnit test-suite reduction

    Zhang, L., Marinov, D., Zhang, L. & Khurshid, S., 2011, Proceedings - 22nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2011. p. 170-179 10 p. 6132965. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Automated GUI refactoring and test script repair (position paper)

    Daniel, B., Luo, Q., Mirzaaghaei, M., Dig, D., Marinov, D. & Pezzè, M., 2011, 2011 International Workshop on End-to-End Test Script Engineering, ETSE 2011 - Proceedings. p. 38-41 4 p. (2011 International Workshop on End-to-End Test Script Engineering, ETSE 2011 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Change-aware preemption prioritization

    Jagannath, V., Luo, Q. & Marinov, D., 2011, 2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings. p. 133-143 11 p. (2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • CoDeSe: Fast deserialization via code generation

    Gligoric, M., Marinov, D. & Kamin, S., 2011, 2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings. p. 298-308 11 p. (2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Improved multithreaded unit testing

    Jagannath, V., Gligoric, M., Jin, D., Luo, Q., Roşu, G. & Marinov, D., 2011, SIGSOFT/FSE'11 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering. p. 223-233 11 p. (SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • ReAssert: A tool for repairing broken unit tests

    Daniel, B., Dig, D., Gvero, T., Jagannath, V., Jiaa, J., Mitchell, D., Nogiec, J., Tan, S. H. & Marinov, D., 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. IEEE Computer Society, p. 1010-1012 3 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • TestEra: A tool for testing Java programs using alloy specifications

    Khalek, S. A., Yang, G., Zhang, L., Marinov, D. & Khurshid, S., 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 608-611 4 p. 6100137. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Testing container classes: Random or systematic?

    Sharma, R., Gligoric, M., Arcuri, A., Fraser, G. & Marinov, D., 2011, Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 262-277 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6603 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    A comparison of constraint-based and sequence-based generation of complex input data structures

    Sharma, R., Gligoric, M., Jagannath, V. & Marinov, D., 2010, ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. p. 337-342 6 p. 5463666. (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Assertion Checking in J-Sim Simulation Models of Network Protocols

    Sobeih, A., D'amorim, M., Viswanathan, M., Marinov, D. & Hou, J. C., Nov 2010, In: SIMULATION. 86, 11, p. 651-673 23 p.

    Research output: Contribution to journal › Article › peer-review

  • Basset: A tool for systematic testing of actor programs

    Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18. p. 363-364 2 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Evaluating ordering heuristics for dynamic partial-order reduction techniques

    Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., 2010, Fundamental Approaches to Software Engineering - 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proceedings. p. 308-322 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6013 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • IMUnit: Improved multithreaded unit testing

    Jagannath, V., Gligoric, M., Jin, D., Rosu, G. & Marinov, D., 2010, 3rd International Workshop on Multicore Software Engineering, IWMSE 2010, in Conjunction with the 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. p. 48-49 2 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • InstantCheck: Checking the determinism of parallel programs using on-the-fly incremental hashing

    Nistor, A., Marinov, D. & Torrellas, J., 2010, Proceedings - 43rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2010. p. 251-262 12 p. 5695541. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Introducing Continuous Selective Testing of Evolving Software Version 0.2

    Harrold, M. J., Marinov, D., Oney, S., Pezze, M., Porter, A., Penix, J., Runeson, P. & Yoo, S., 2010, In: Dagstuhl Seminar Proceedings. 10111

    Research output: Contribution to journal › Conference article › peer-review

  • Mutation operators for actor systems

    Jagannath, V., Gligoric, M., Lauterburg, S., Marinov, D. & Agha, G., 2010, ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. p. 157-162 6 p. 5463644. (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • MuTMuT: Efficient exploration for mutation testing of multithreaded code

    Gligoric, M., Jagannath, V. & Marinov, D., 2010, ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation. p. 55-64 10 p. 5477101. (ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On test repair using symbolic execution

    Daniel, B., Gvero, T. & Marinov, D., 2010, ISSTA'10 - Proceedings of the 2010 International Symposium on Software Testing and Analysis. p. 207-217 11 p. (ISSTA'10 - Proceedings of the 2010 International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Test generation through programming in UDITA

    Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V. & Marinov, D., 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 225-234 10 p. (Proceedings - International Conference on Software Engineering; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2009

    A framework for state-space exploration of java-based actor programs

    Lauterburg, S., Dotta, M., Marinov, D. & Agha, G., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 468-479 12 p. 5431748. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Light64: Lightweight hardware support for data race detection during systematic testing of parallel programs

    Nistor, A., Marinov, D. & Torrellas, J., 2009, In: Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 541-552 12 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Optimizing a structural constraint solver for efficient software checking

    Siddiqui, J. H., Marinov, D. & Khurshid, S., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 615-619 5 p. 5431722. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Optimizing generation of object graphs in java pathfinder

    Gligoric, M., Gvero, T., Lauterburg, S., Marinov, D. & Khurshid, S., 2009, Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009. IEEE Computer Society, p. 51-60 10 p. 4815337. (Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • ReAssert: Suggesting repairs for broken unit tests

    Daniel, B., Jagannath, V., Dig, D. & Marinov, D., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 433-444 12 p. 5431753. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Reducing the costs of bounded-exhaustive testing

    Jagannath, V., Lee, Y. Y., Daniel, B. & Marinov, D., 2009, Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Proceedings.. p. 171-185 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5503).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2008

    Delta execution for efficient state-space exploration of object-oriented programs

    d'Amorim, M., Lauterburg, S. & Marinov, D., 2008, In: IEEE Transactions on Software Engineering. 34, 5, p. 597-613 17 p.

    Research output: Contribution to journal › Article › peer-review

  • Efficient solving of structural constraints

    Elkarablieh, B., Marinov, D. & Khurshid, S., 2008, ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008. p. 39-49 11 p. (ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Incremental state-space exploration for programs with dynamically allocated data

    Lauterburg, S., Sobeih, A., Marinov, D. & Viswanathan, M., 2008, ICSE'08: Proceedings of the 30th International Conference on Software Engineering 2008. p. 291-300 10 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • State extensions for java pathfider

    Gvero, T., Gligoric, M., Lauterburg, S., Marcelo d'Amorim, D., Marinov, D. & Khurshid, S., 2008, ICSE'08: Proceedings of the 30th International Conference on Software Engineering 2008. p. 863-866 4 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Workshop on state-space exploration for automated testing (SSEAT 2008)

    Marinov, D. & Schulte, W., 2008, ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008. p. 315 1 p. (ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2007

    Automated testing of refactoring engines

    Daniel, B., Dig, D., Garcia, K. & Marinov, D., 2007, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007. p. 185-194 10 p. (6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Delta execution for efficient state-space exploration of object-oriented programs

    D'Amorim, M., Lauterburg, S. & Marinov, D., 2007, Proceedings of the 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07. p. 50-60 11 p. (2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • J-Sim: An integrated environment for simulation and model checking of network protocols

    Sobeih, A., Viswanathan, M., Marinov, D. & Hou, J. C., 2007, Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 4228247. (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Korat: A tool for generating structurally complex test inputs

    Milićević, A., Misailović, S., Marinov, D. & Khurshid, S., 2007, Proceedings - 29th International Conference on Software Engineering, ICSE 2007. p. 771-774 4 p. 4222644. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Parallel test generation and execution with Korat

    Misailovic, S., Milicevic, A., Petrovic, N., Khurshid, S. & Marinov, D., 2007, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007. p. 135-144 10 p. (6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Towards a framework for differential unit testing of object-oriented programs

    Xie, T., Taneja, K., Kale, S. & Marinov, D., 2007, 29th International Conference on Software Engineering, ICSE'07 - 2nd International Workshop on Automation of Software Test, AST'07. 4296716. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2006

    Analyzing the Uses of a Software Modeling Tool

    Li, X., Shannon, D., Walker, J., Khurshid, S. & Marinov, D., Oct 24 2006, In: Electronic Notes in Theoretical Computer Science. 164, 2 SPEC. ISS., p. 3-18 16 p.

    Research output: Contribution to journal › Article › peer-review

  • An empirical comparison of automated generation and classification techniques for object-oriented unit testing

    D'Amorim, M., Pacheco, C., Xie, T., Marinov, D. & Ernst, M. D., 2006, Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006. IEEE Computer Society, p. 59-68 10 p. 4019562. (Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automated detection of refactorings in evolving components

    Dig, D., Comertoglu, C., Marinov, D. & Johnson, R., 2006, ECOOP 2006 - Object-Oriented Programming - 20th European Conference, Proceedings. Springer, p. 404-428 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4067 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Detecting redundant unit tests for AspectJ programs

    Xie, T., Zhao, J., Marinov, D. & Notkin, D., 2006, Proceedings - 17th International Symposium on Software Reliability Engineering, ISSRE 2006. p. 179-188 10 p. 4021983. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Optimized execution of deterministic blocks in java PathFinder

    D'Amorim, M., Sobeih, A. & Marinov, D., 2006, Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings. Springer, p. 549-567 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4260 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2005

    CUTE: A concolic unit testing engine for C

    Sen, K., Marinov, D. & Agha, G., 2005, ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13). Gall, H. (ed.). p. 263-272 10 p. (ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Finding bugs in network protocols using simulation code and protocol-specific heuristics

    Sobeih, A., Viswanathan, M., Marinov, D. & Hou, J. C., 2005, Formal Methods and Software Engineering - 7th International Conference on Formal Engineering Methods, ICFEM 2005, Proceedings. p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3785 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Optimizations for compiling declarative models into boolean formulas

    Marinov, D., Khurshid, S., Bugrara, S., Zhang, L. & Rinard, M., 2005, In: Lecture Notes in Computer Science. 3569, p. 187-202 16 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Symstra: A framework for generating object-oriented unit tests using symbolic execution

    Xie, T., Marinov, D., Schulte, W. & Notkin, D., 2005, In: Lecture Notes in Computer Science. 3440, p. 365-381 17 p.

    Research output: Contribution to journal › Conference article › peer-review