Supporting the software testing process through specification animation | IEEE Conference Publication | IEEE Xplore