EMERALD: a case study in enhancing software reliability | IEEE Conference Publication | IEEE Xplore