Unification of verification and validation methods for software systems: progress report and initial case study formulation.

James C. Browne Calvin Lin Kevin Kane Yoonsik Cheon Patricia J. Teller Unification of verification and validation methods for software systems: progress report and initial case study formulation. 2006 conf/ipps/2006 IPDPS http://dx.doi.org/10.1109/IPDPS.2006.1639582 db/conf/ipps/ipdps2006.html#BrowneLKCT06