Extracting effective functional tests from commercial programs. - Sreekumar Vadakke Kodakara; Mehul V. Sagar; Joel Yuen (VTS, 2015)