No photo of Darko Marinov

View Scopus Profile

Darko Marinov

Search results

  • 2018

    Reducing combinatorial testing requirements based on equivalences with respect to the code under test

    Khurshid, S. & Marinov, D., 2018, SQAMIA 2018 - Proceedings of the 7th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications. Budimac, Z. (ed.). CEUR-WS, (CEUR Workshop Proceedings; vol. 2217).

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

  • Solver-based sketching of alloy models using test valuations

    Wang, K., Sullivan, A., Marinov, D. & Khurshid, S., 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. Butler, M., Hoang, T. S., Raschke, A. & Reichl, K. (eds.). Springer, p. 121-136 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10817 LNCS).

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

  • Structure or nurture? The effects of team-building activities and team composition on team outcomes

    Hastings, E. M., Jahanbakhsh, F., Karahalios, K., Marinov, D. & Bailey, B. P., Nov 2018, In: Proceedings of the ACM on Human-Computer Interaction. 2, CSCW, 68.

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

    Open Access

  • Systematic generation of non-equivalent expressions for relational algebra

    Wang, K., Sullivan, A., Koukoutos, M., Marinov, D. & Khurshid, S., 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. Butler, M., Hoang, T. S., Raschke, A. & Reichl, K. (eds.). Springer, p. 105-120 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10817 LNCS).

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

  • 2017

    Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015)

    Fraser, G. & Marinov, D., Sep 2017, In: Software Testing Verification and Reliability. 27, 6, e1644.

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

    Open Access

  • Evaluating state modeling techniques in alloy

    Sullivan, A., Wang, K., Khurshid, S. & Marinov, D., 2017, SQAMIA 2017 - Proceedings of the 6th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications. Budimac, Z. (ed.). CEUR-WS, 16. (CEUR Workshop Proceedings; vol. 1938).

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

  • Message from the organizers

    Yu, T. & Marinov, D., Jul 13 2017, In: TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. p. iii

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

  • STARTS: STAtic regression test selection

    Legunsen, O., Shi, A. & Marinov, D., Nov 20 2017, ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. Nguyen, T. N., Rosu, G. & Di Penta, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 949-954 6 p. 8115710. (ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering).

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

  • Trade-offs in continuous integration: Assurance, security, and flexibility

    Hilton, M., Nelson, N., Tunnell, T., Marinov, D. & Dig, D., Aug 21 2017, ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. Zisman, A., Bodden, E., Schafer, W. & van Deursen, A. (eds.). Association for Computing Machinery, p. 197-207 11 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. Part F130154).

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

  • You want me to work with who? Stakeholder perceptions of automated team formation in project-based courses

    Jahanbakhsh, F., Fu, W. T., Karahalios, K., Marinov, D. & Bailey, B., May 2 2017, CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, p. 3201-3212 12 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2017-May).

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

  • 2016

    An extensive study of static regression test selection in modern software evolution

    Legunsen, O., Hariri, F., Shi, A., Lu, Y., Zhang, L. & Marinov, D., Nov 1 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 583-594 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

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

    Open Access

  • COPE: Vision for a change-oriented programming environment

    Dig, D., Johnson, R., Marinov, D., Bailey, B. & Batory, D., May 14 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 773-776 4 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access

  • Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications

    Shi, A., Gyori, A., Legunsen, O. & Marinov, D., Jul 18 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. Institute of Electrical and Electronics Engineers Inc., p. 80-90 11 p. 7515461. (Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016).

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

  • Evaluating non-adequate test-case reduction

    Alipour, M. A., Shi, A., Gopinath, R., Marinov, D. & Groce, A., Aug 25 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, p. 16-26 11 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

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

  • Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level

    Hariri, F., Shi, A., Converse, H., Khurshid, S. & Marinov, D., Dec 5 2016, Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016. IEEE Computer Society, p. 105-115 11 p. 7774512. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

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

  • How good are the specs? A study of the bug-finding effectiveness of existing Java api specifications

    Legunsen, O., Ul Hassan, W., Xu, X., Roşu, G. & Marinov, D., Aug 25 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, p. 602-613 12 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

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

    Open Access

  • Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016

    Ramler, R., Felderer, M., Kitamura, T. & Marinov, D., Aug 1 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers Inc., p. 238-239 2 p. 7528967. (Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016).

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

  • JaConTeBe: A benchmark suite of real-world Java concurrency bugs

    Lin, Z., Marinov, D., Zhong, H., Chen, Y. & Zhao, J., Jan 4 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 178-189 12 p. 7372007. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

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

  • NonDex: A tool for detecting and debugging wrong assumptions on Java api specifications

    Gyori, A., Lambeth, B., Shi, A., Legunsen, O. & Marinov, D., Nov 1 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 993-997 5 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

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

    Open Access

  • Usage, costs, and benefits of continuous integration in open-source projects

    Hilton, M., Tunnell, T., Huang, K., Marinov, D. & Dig, D., Aug 25 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, p. 426-437 12 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

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

    Open Access
  • 2015

    Comparing and combining test-suite reduction and regression test selection

    Shi, A., Yung, T., Gyori, A. & Marinov, D., Aug 30 2015, 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings. Association for Computing Machinery, p. 237-247 11 p. (2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings).

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

  • Ekstazi: Lightweight Test Selection

    Gligoric, M., Eloussi, L. & Marinov, D., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 713-716 4 p. 7203050. (Proceedings - International Conference on Software Engineering; vol. 2).

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

  • Evolution-Aware Monitoring-Oriented Programming

    Legunsen, O., Marinov, D. & Rosu, G., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 615-618 4 p. 7203026. (Proceedings - International Conference on Software Engineering; vol. 2).

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

  • Faster bug detection for software product lines with incomplete feature models

    Souto, S., Gopinath, D., D'Amorim, M., Marinov, D., Khurshid, S. & Batory, D., Jul 20 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, p. 151-160 10 p. (ACM International Conference Proceeding Series; vol. 20-24-July-2015).

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

  • Guidelines for coverage-based comparisons of non-adequate test suites

    Gligoric, M., Groce, A., Zhang, C., Sharma, R., Alipour, M. A. & Marinov, D., Aug 1 2015, In: ACM Transactions on Software Engineering and Methodology. 24, 4, 22.

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

  • Message from the chairs

    Wotawa, F., Fraser, G. & Marinov, D., May 5 2015, In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015 - Proceedings. 7102576.

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

  • Practical regression test selection with dynamic file dependencies

    Gligoric, M., Eloussi, L. & Marinov, D., Jul 13 2015, 2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings. Association for Computing Machinery, p. 211-222 12 p. (2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings).

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

  • Reliable testing: Detecting state-polluting tests to prevent test dependency

    Gyori, A., Shi, A., Hariri, F. & Marinov, D., Jul 13 2015, 2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings. Association for Computing Machinery, p. 223-233 11 p. (2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings).

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

  • Tempura: Temporal dimension for IDEs

    Lee, Y. Y., Marinov, D. & Johnson, R. E., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 212-222 11 p. 7194575. (Proceedings - International Conference on Software Engineering; vol. 1).

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

  • 2014

    An empirical analysis of flaky tests

    Luo, Q., Hariri, F., Eloussi, L. & Marinov, D., Nov 16 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 643-653 11 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

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

  • An empirical evaluation and comparison of manual and automated test selection

    Gligoric, M., Negara, S., Legunsen, O. & Marinov, D., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, p. 361-371 11 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

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

  • Balancing trade-offs in test-suite reduction

    Shi, A., Gyori, A., Gligoric, M., Zaytsev, A. & Marinov, D., Nov 16 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 246-256 11 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

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

  • Message from the chairs

    Pasareanu, C. & Marinov, D., Jul 21 2014, In: 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings. p. iii

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

  • Regression test selection for distributed software histories

    Gligoric, M., Majumdar, R., Sharma, R., Eloussi, L. & Marinov, D., 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer, p. 293-309 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

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

  • RepOK-based reduction of bounded exhaustive testing

    Bengolea, V., Aguirre, N., Marinov, D. & Frias, M., Dec 1 2014, In: Software Testing Verification and Reliability. 24, 8, p. 629-655 27 p.

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

    Open Access

  • Towards a test automation framework for alloy

    Sullivan, A., Zaeem, R. N., Khurshid, S. & Marinov, D., Jul 21 2014, 2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings. Association for Computing Machinery, p. 113-116 4 p. (2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings).

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

  • 2013

    Comparing non-adequate test suites using coverage criteria

    Gligoric, M., Groce, A., Zhang, C., Sharma, R., Alipour, M. A. & Marinov, D., 2013, 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. p. 302-313 12 p. (2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings).

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

  • Efficient mutation testing of multithreaded code

    Gligoric, M., Jagannath, V., Luo, Q. & Marinov, D., Aug 2013, In: Software Testing Verification and Reliability. 23, 5, p. 375-403 29 p.

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

  • Faster mutation testing inspired by test prioritization and reduction

    Zhang, L., Marinov, D. & Khurshid, S., 2013, 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. p. 235-245 11 p. (2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings).

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

  • Model-based, event-driven programming paradigm for interactive web applications

    Milicevic, A., Jackson, D., Gligoric, M. & Marinov, D., 2013, SPLASH Indianapolis 2013: Onward! 2013 - Proceedings of the 2013 International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Association for Computing Machinery, p. 17-35 19 p. (SPLASH Indianapolis 2013: Onward! 2013 - Proceedings of the 2013 International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software).

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

    Open Access

  • Operator-based and random mutant selection: Better together

    Zhang, L., Gligoric, M., Marinov, D. & Khurshid, S., 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 92-102 11 p. 6693070. (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings).

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

  • SPLat: Lightweight dynamic analysis for reducing combinatorics in testing configurable systems

    Kim, C. H. P., Marinov, D., Batory, S. K. D., Souto, S., Barros, P. & D'Amorim, M., 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 257-267 11 p. (2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings).

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

    Open Access

  • Systematic testing of refactoring engines on real software projects

    Gligoric, M., Behrang, F., Li, Y., Overbey, J., Hafiz, M. & Marinov, D., 2013, ECOOP 2013, Object-Oriented Programming - 27th European Conference, Proceedings. Springer, p. 629-653 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7920 LNCS).

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

  • Temporal code completion and navigation

    Lee, Y. Y., Harwell, S., Khurshid, S. & Marinov, D., 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 1181-1184 4 p. 6606673. (Proceedings - International Conference on Software Engineering).

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

  • Toddler: Detecting performance problems via similar memory-access patterns

    Nistor, A., Song, L., Marinov, D. & Lu, S., 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 562-571 10 p. 6606602. (Proceedings - International Conference on Software Engineering).

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

    Open Access
  • 2012

    @tComment: Testing javadoc comments to detect comment-code inconsistencies

    Tan, S. H., Marinov, D., Tan, L. & Leavens, G. T., 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 260-269 10 p. 6200082. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

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

    Open Access

  • An analyzable annotation language

    Khurshid, S., Marinov, D. & Jackson, D., Nov 2012, In: ACM SIGPLAN Notices. 37, 11, p. 231-245 15 p.

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

  • Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code

    Nistor, A., Luo, Q., Pradel, M., Gross, T. R. & Marinov, D., 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 727-737 11 p. 6227145. (Proceedings - International Conference on Software Engineering).

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

  • Evaluating machine-independent metrics for state-space exploration

    Jagannath, V., Kirn, M., Lin, Y. & Marinov, D., 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 320-329 10 p. 6200088. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

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

  • Lightweight data-flow analysis for execution-driven constraint solving

    Siddiqui, J. H., Marinov, D. & Khurshid, S., 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 91-100 10 p. 6200100. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

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