Nicolas Kicillof Wolfgang Grieskamp Nikolai Tillmann Víctor A. Braberman Achieving both model and code coverage with automated gray-box testing. 1-11 2007 conf/amost/2007 A-MOST http://doi.acm.org/10.1145/1291535.1291536 db/conf/amost/amost2007.html#KicillofGTB07