Test sequence computation for regression testing of reactive systems

Sujit Kumar Chakrabarti, Y. N. Srikant. Test sequence computation for regression testing of reactive systems. In Gautam Shroff, Pankaj Jalote, Sriram K. Rajamani, editors, Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008. pages 131-132, ACM, 2008. [doi]

Abstract

Abstract is missing.