Chakrabarti, Sujit Kumar and Srikant, YN (2006) Specification Based Regression Testing Using Explicit State Space Enumeration. In: International Conference on Software Engineering Advances, Oct. 2006 , Tahiti.