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

Browse the full WETICE paper archive.