A case study in specification and implementation testing | IEEE Conference Publication | IEEE Xplore