Helmut Emmelmann Testing Completeness of Code Selector Specifications. 163-175 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Emmelmann92 http://dx.doi.org/10.1007/3-540-55984-1_16