Papers on Ekstazi

Below is the list of papers that describe some aspects of Ekstazi:

  • Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, and Milos Gligoric
    File-level vs. Module-level Regression Test Selection for .NET
    Symposium on the Foundations of Software Engineering, Industrial Track
    (FSE Industrial Track 2017), to appear, Paderborn, Germany, September 2017.
  • Ripon Saha and Milos Gligoric
    Selective Bisection Debugging
    Fundamental Approaches to Software Engineering
    (FASE 2017), pages 60-77, Uppsala, Sweden, April 2017.
  • Nima Dini, Allison Sullivan, Milos Gligoric, and Gregg Rothermel
    The Effect of Test Suite Type on Regression Test Selection
    International Symposium on Software Reliability Engineering
    (ISSRE 2016), pages 47-58, Ottawa, Canada, October 2016.
  • Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
    Practical Regression Test Selection with Dynamic File Dependencies
    International Symposium on Software Testing and Analysis
    (ISSTA 2015), 211-22, Baltimore, USA, July 2015.
  • Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
    Ekstazi: Lightweight Test Selection
    International Conference on Software Engineering, Demo Papers
    (ICSE Demo 2015), 713-716, Florence, Italy, May 2015.
  • Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, and Darko Marinov
    Regression Test Selection for Distributed Software Histories
    International Conference on Computer Aided Verification
    (CAV 2014), pages 293-309, Vienna, Austria, July 2014.

Evaluation (ISSTA 2015)

In our research studies(s) with Ekstazi, we used the following projects (we also show the latest revision/SHA that we used):