A collaborative environment for independent verification and validation of software | IEEE Conference Publication | IEEE Xplore