Shaoying Liu Tetsuo Tamai Shin Nakajima Integration of formal specification, review, and testing for software component quality assurance. 415-421 2009 SAC http://doi.acm.org/10.1145/1529282.1529375 conf/sac/2009 db/conf/sac/sac2009.html#LiuTN09