A Method Combining Review and Testing for Verifying Software Systems | IEEE Conference Publication | IEEE Xplore