An Automated Approach to Specification-Based Program Inspection.

Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid

Browse the full ICFEM paper archive.