Specification-Based Approach to Select Regression Test Suite to Validate Changed Software. - Ravi Prakash Gorthi; Anjaneyulu Pasala; Kailash K. P. Chanduka; Benny Leong (APSEC, 2008)