1. Regression test selection techniques: A survey;Biswas;Informatica (Slovenia),2011
2. A labelled semantics for soft concurrent constraint programming;Gadducci,2015
3. Practical regression test selection with dynamic file dependencies;Gligoric,2015
4. A machine-checked model for a java-like language, virtual machine, and compiler;Klein;ACM Trans. Program. Lang. Syst.,2006