Integrating Specification-Based Review and Testing for Detecting Errors in Programs.

Shaoying Liu

Browse the full ICFEM paper archive.