1012-2024 - IEEE Standard for System, Software, and Hardware Verification and Validation | IEEE Standard | IEEE Xplore