Error-Based Software Testing and Analysis | IEEE Conference Publication | IEEE Xplore