No photo of Darko Marinov

View Scopus Profile

Darko Marinov

Filter
Conference contribution

Search results

  • 2025

    FastFlip: Compositional SDC Resiliency Analysis

    Joshi, K., Singh, R., Bassetto, T., Adve, S., Marinov, D. & Misailovic, S., Mar 1 2025, CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. Doerfert, J., Grosser, T., Leather, H. & Sadayappan, P. (eds.). Association for Computing Machinery, p. 362-376 15 p. (CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization).

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

  • 2024

    A benchmark suite and performance analysis of user-space provenance collectors

    Grayson, S., Aguilar, F., Milewicz, R., Katz, D. S. & Marinov, D., Jun 18 2024, Proceedings of the 2nd ACM Conference on Reproducibility and Replicability, REP 2024. Association for Computing Machinery, p. 85-95 11 p. (Proceedings of the 2nd ACM Conference on Reproducibility and Replicability, REP 2024).

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

  • Ctest4J: A Practical Configuration Testing Framework for Java

    Wang, S., Lian, X., Li, Q., Marinov, D. & Xu, T., Jul 10 2024, FSE Companion - Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. d�Amorim, M. (ed.). Association for Computing Machinery, p. 562-566 5 p. (FSE Companion - Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering).

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

  • GlueTest: Testing Code Translation via Language Interoperability

    Abid, M. S., Pawagi, M., Adhikari, S., Cheng, X., Badr, R., Wahiduzzaman, M., Rathi, V., Qi, R., Li, C., Liu, L., Naidu, R. S., Lin, L., Liu, Q., Palak, A. Z., Haque, M., Chen, X., Marinov, D. & Dutta, S., 2024, Proceedings - 2024 IEEE International Conference on Software Maintenance and Evolution, ICSME 2024. Institute of Electrical and Electronics Engineers Inc., p. 612-617 6 p. (Proceedings - 2024 IEEE International Conference on Software Maintenance and Evolution, ICSME 2024).

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

  • Hierarchy-Aware Regression Test Prioritization

    Wang, H., Yi, P. L., Parladorio, J., Lam, W., Marinov, D. & Xie, T., 2024, Proceedings - 2024 IEEE 35th International Symposium on Software Reliability Engineering, ISSRE 2024. IEEE Computer Society, p. 343-354 12 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

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

  • Revisiting Test-Case Prioritization on Long-Running Test Suites

    Cheng, R., Wang, S., Jabbarvand, R. & Marinov, D., Sep 11 2024, ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Christakis, M. & Pradel, M. (eds.). Association for Computing Machinery, p. 615-627 13 p. (ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

  • 2023

    Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and nf-core Registries

    Grayson, S., Marinov, D., Katz, D. S. & Milewicz, R., Jun 27 2023, Proceedings of the 1st ACM Conference on Reproducibility and Replicability, REP 2023. Association for Computing Machinery, p. 74-84 11 p. (Proceedings of the 1st ACM Conference on Reproducibility and Replicability, REP 2023).

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

  • Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests

    Xia, C. S., Dutta, S., Misailovic, S., Marinov, D. & Zhang, L., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 1801-1813 13 p. (Proceedings - International Conference on Software Engineering).

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

  • Reproducing and Improving the BugsInPy Dataset

    Aguilar, F., Grayson, S. & Marinov, D., 2023, Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023. Moonen, L., Newman, C. & Gorla, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 260-264 5 p. (Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023).

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

  • Test Selection for Unified Regression Testing

    Wang, S., Lian, X., Marinov, D. & Xu, T., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 1687-1699 13 p. (Proceedings - International Conference on Software Engineering).

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

  • Transforming Test Suites into Croissants

    Chen, Y., Yildiz, A., Marinov, D. & Jabbarvand, R., Jul 12 2023, ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. Just, R. & Fraser, G. (eds.). Association for Computing Machinery, p. 1080-1092 13 p. (ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

  • 2022

    A Large-Scale Longitudinal Study of Flaky Tests

    Lam, W., Winter, S., Wei, A., Xie, T., Marinov, D. & Bell, J., 2022, Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik. Grunske, L., Siegmund, J. & Vogelsang, A. (eds.). Gesellschaft fur Informatik (GI), p. 57-59 3 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-320).

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

  • A Theoretical Analysis of Random Regression Test Prioritization

    Yi, P., Wang, H., Xie, T., Marinov, D. & Lam, W., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, p. 217-235 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).

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

    Open Access

  • Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy

    Wang, W., Yi, P., Khurshid, S. & Marinov, D., 2022, Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, Proceedings. Clark, D., Menendez, H. & Cavalli, A. R. (eds.). Springer, p. 123-130 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13045 LNCS).

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

  • Pinned loads: Taming speculative loads in secure processors

    Zhao, Z. N., Ji, H., Morrison, A., Marinov, D. & Torrellas, J., Feb 28 2022, ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Falsafi, B., Ferdman, M., Lu, S. & Wenisch, T. F. (eds.). Association for Computing Machinery, p. 314-328 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

  • Preempting Flaky Tests via Non-Idempotent-Outcome Tests

    Wei, A., Yi, P., Li, Z., Xie, T., Marinov, D. & Lam, W., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. IEEE Computer Society, p. 1730-1742 13 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

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

  • 2021

    Domain-specific fixes for flaky tests with wrong assumptions on underdetermined specifications

    Zhang, P., Jiang, Y., Wei, A., Stodden, V., Marinov, D. & Shi, A., May 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE Computer Society, p. 50-61 12 p. (Proceedings - International Conference on Software Engineering).

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

  • Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests

    Wei, A., Yi, P., Xie, T., Marinov, D. & Lam, W., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (eds.). Springer, p. 270-287 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12651 LNCS).

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

    Open Access

  • Test-case prioritization for configuration testing

    Cheng, R., Zhang, L., Marinov, D. & Xu, T., Jul 11 2021, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Cadar, C. & Zhang, X. (eds.). Association for Computing Machinery, p. 452-465 14 p. 3464810. (ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

    Open Access
  • 2020

    AlloyMC: Alloy meets model counting

    Yang, J., Wang, W., Marinov, D. & Khurshid, S., Nov 8 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, p. 1541-1545 5 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

  • Fault localization for declarative models in alloy

    Wang, K., Sullivan, A., Marinov, D. & Khurshid, S., Oct 2020, Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering, ISSRE 2020. Vieira, M., Madeira, H., Antunes, N. & Zheng, Z. (eds.). IEEE Computer Society, p. 391-402 12 p. 09251074. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2020-October).

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

    Open Access

  • LIFT: Integrating Stakeholder Voices into Algorithmic Team Formation

    Hastings, E. M., Alamri, A., Kuznetsov, A., Pisarczyk, C., Karahalios, K., Marinov, D. & Bailey, B. P., Apr 21 2020, CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 3376797. (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access

  • Speculation invariance (invarspec): Faster safe execution through program analysis

    Zhao, Z. N., Ji, H., Yan, M., Yu, J., Fletcher, C. W., Morrison, A., Marinov, D. & Torrellas, J., Oct 2020, Proceedings - 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2020. IEEE Computer Society, p. 1138-1152 15 p. 09251941. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2020-October).

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

  • Understanding reproducibility and characteristics of flaky tests through test reruns in java projects

    Lam, W., Winter, S., Astorga, A., Stodden, V. & Marinov, D., Oct 2020, Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering, ISSRE 2020. Vieira, M., Madeira, H., Antunes, N. & Zheng, Z. (eds.). IEEE Computer Society, p. 403-413 11 p. 09251071. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2020-October).

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

  • 2019

    Comparing mutation testing at the levels of source code and compiler intermediate representation

    Hariri, F., Shi, A., Fernando, V., Mahmood, S. & Marinov, D., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 114-124 11 p. 8730152. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

  • Gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis

    Venkatagiri, R., Ahmed, K., Mahmoud, A., Misailovic, S., Marinov, D., Fletcher, C. W. & Adve, S. V., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 214-221 8 p. 8809540. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

  • IDFlakies: A framework for detecting and partially classifying flaky tests

    Lam, W., Oei, R., Shi, A., Marinov, D. & Xie, T., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 312-322 11 p. 8730188. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

  • IFixFlakies: A framework for automatically fixing order-dependent flaky tests

    Shi, A., Lam, W., Oei, R., Xie, T. & Marinov, D., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, p. 545-555 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

    Open Access

  • Minotaur: Adapting Software Testing Techniques for Hardware Errors

    Mahmoud, A., Venkatagiri, R., Ahmed, K., Misailovic, S., Marinov, D., Fletcher, C. W. & Adve, S. V., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 1087-1103 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    Open Access

  • Mitigating the effects of flaky tests on mutation testing

    Shi, A., Bell, J. & Marinov, D., Jul 10 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). Association for Computing Machinery, p. 296-306 11 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

  • Open Source Vulnerability Notification

    Carlson, B., Leach, K., Marinov, D., Nagappan, M. & Prakash, A., 2019, Open Source Systems - 15th IFIP WG 2.13 International Conference, OSS 2019, Proceedings. Bordeleau, F., Sillitti, A., Meirelles, P. & Lenarduzzi, V. (eds.). Springer, p. 12-23 12 p. (IFIP Advances in Information and Communication Technology; vol. 556).

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

  • Scientific tests and continuous integration strategies to enhance reproducibility in the scientific software context

    Krafczyk, M., Shi, A., Bhaskar, A., Marinov, D. & Stodden, V., Jun 17 2019, P-RECS 2019 - Proceedings of the 2nd International Workshop on Practical Reproducible Evaluation of Computer Systems, co-located with HPDC 2019. Association for Computing Machinery, p. 23-28 6 p. (P-RECS 2019 - Proceedings of the 2nd International Workshop on Practical Reproducible Evaluation of Computer Systems, co-located with HPDC 2019).

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

    Open Access

  • Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method

    Sullivan, A., Marinov, D. & Khurshid, S., 2019, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings. Ait-Ameur, Y. & Qin, S. (eds.). Springer, p. 336-352 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11852 LNCS).

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

    Open Access

  • Techniques for evolution-aware runtime verification

    Legunsen, O., Zhang, Y., Hadzi-Tanovic, M., Rosu, G. & Marinov, D., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 300-311 12 p. 8730172. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

  • Understanding and Improving Regression Test Selection in Continuous Integration

    Shi, A., Zhao, P. & Marinov, D., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 228-238 11 p. 8987498. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

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

  • 2018

    A large-scale study of test coverage evolution

    Hilton, M., Bell, J. & Marinov, D., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, p. 53-63 11 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

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

    Open Access

  • An extensible, regular-expression-based tool for multi-language mutant generation

    Groce, A., Holmes, J., Marinov, D., Shi, A. & Zhang, L., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 25-28 4 p. (Proceedings - International Conference on Software Engineering).

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

  • ASketch: A sketching framework for alloy

    Wang, K., Sullivan, A., Marinov, D. & Khurshid, S., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, p. 916-919 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

    Open Access

  • Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem

    Gyori, A., Legunsen, O., Hariri, F. & Marinov, D., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 112-122 11 p. 8539074. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2018-October).

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

  • Evaluating test-suite reduction in real software evolution

    Shi, A., Gyori, A., Mahmood, S., Zhao, P. & Marinov, D., Jul 12 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (eds.). Association for Computing Machinery, p. 84-94 11 p. (ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

    Open Access

  • Mining container image repositories for software configuration and beyond

    Xu, T. & Marinov, D., May 27 2018, Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2018. IEEE Computer Society, p. 49-52 4 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access

  • 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

  • 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

    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

  • 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