Integration of formal specification, review, and testing for software component quality assurance.

Shaoying Liu, Tetsuo Tamai, Shin Nakajima

Browse the full SAC paper archive.