A collaborative environment for independent verification and validation of software. - Raghu Karinthi; Kankanahalli Srinivas; Sumitra Reddy; Ramana Reddy; Calin Cascaval; Walter Jackson; Srinivasan Venkatraman; Honglan Zheng (WETICE, 1994)