Padmanabhan Krishnan: Independent examination of software: an experiment. Inf. Softw. Technol. 46(12): 847-856 (2004)