Publications

2019

  • Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method
    A.Sullivan, D. Marinov, S. Khurshid
    The 21st International Conference on Formal Engineering Methods
    (ICFEM) November 2019. To Appear.
  • ARepair: A Repair Framework for Alloy
    K. Wang, A. Sullivan, S. Khurshid
    Proceedings of the 41st IEEE/ACM International Conference on Software Engineering
    (ICSE 2019 Demo) May 2019. [PDF]

2018

  • ASketch: A Sketching Framework for Alloy
    K. Wang, A. Sullivan, D. Marinov, S. Khurshid
    Proceedings of the 2018 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (FSE 2018) November 2018. [PDF]
  • Automated Model Repair for Alloy
    K. Wang, A. Sullivan, S. Khurshid
    Proceedings of the 41st IEEE/ACM International Conference on Software Engineering
    (ASE 2018) September 2018. [PDF]
  • Solver-based Sketching of Alloy Models using Test Valuations
    K. Wang, A. Sullivan, D. Marinov, S. Khurshid
    Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
    (ABZ 2018) June 2018. [PDF]
  • Systematic Generation of Non-Equivalent Expressions for Relational Algebra
    K. Wang, A. Sullivan, M. Koukoutos, D. Marinov, S. Khurshid
    Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
    (ABZ 2018) June 2018. [PDF]
  • MuAlloy: A Mutation Testing Framework for Alloy
    K. Wang, A. Sullivan, S. Khurshid
    Proceedings of the 40th International Conference on Software Engineering
    (ICSE 2018 Demo) May 2019. [PDF]
  • AUnit: A Test Automation Tool for Alloy
    A. Sullivan, K. Wang, S. Khurshid
    Proceedings of the 11th IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2018 Demo) April 2018. [PDF]

2017

  • Evaluating State Modeling Techniques in Alloy
    A. Sullivan, K. Wang, S. Khurshid, D. Marinov
    Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications
    (SQAMIA 2017) September 2017. [PDF]
  • Automated Test Generation and Mutation Testing for Alloy
    A. Sullivan, K. Wang, R.N. Zaeem, S. Khurshid
    Proceedings of the 2017 IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2017) June 2017. [PDF]

2016

  • The Effect of Test Suite Type on Regression Test Selection
    N. Dini, A. Sullivan, M. Gligoric, G. Rothermel
    Proceedings of the 27th {IEEE} International Symposium on Software Reliability Engineering
    (ISSRE 2016) October 2016. [PDF]

2014

  • Towards a Test Automation Framework for Alloy
    A. Sullivan, R.N. Zaeem, S. Khurshid, D. Marinov
    Proceedings of the 2014 International Symposium on Model Checking of Software
    (SPIN 2014) July 2014. [PDF]