PIMS mutation testing system: for each FORTRAN subroutine prompts user for test data and gets verification of result, also asks user for mutation set (e.g., replace constants, delete statements, change operators, flip conditionals) checks for mutates which pass test data -- about 1% are legitimate.