Sujit Kumar Chakrabarti, Y. N. Srikant. Specification Based Regression Testing Using Explicit State Space Enumeration. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia. pages 20, IEEE Computer Society, 2006. [doi]
Abstract is missing.