Yuri Chernak: A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement. IEEE Trans. Software Eng. 22(12): 866-874 (1996)