1012-2012 - IEEE Standard for System and Software Verification and Validation | IEEE Standard | IEEE Xplore