A case study investigating the characteristics of verification and validation activities in the software development process | IEEE Conference Publication | IEEE Xplore