Fevzi Belli Christof J. Budnik Towards Optimization of the Coverage Testing of Interactive Systems. 18-19 2004 conf/compsac/2004 COMPSAC Workshops http://csdl.computer.org/comp/proceedings/compsac/2004/2209/02/220920018.pdf db/conf/compsac/compsac2004-W.html#BelliB04