Software verification and validation: an overview | IEEE Journals & Magazine | IEEE Xplore