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. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]
Abstract is missing.