Ákos Hajnal István Forgács An Applicable Test Data Generation Algorithm for Domain Errors. 63-72 1998 ISSTA http://doi.acm.org/10.1145/271771.271791 db/conf/issta/issta98.html#HajnalF98