Verification and validation in an iterative software development environment | IEEE Conference Publication | IEEE Xplore