Xun Yuan Myra B. Cohen Atif M. Memon Covering array sampling of input event sequences for automated gui testing. 405-408 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321695 db/conf/kbse/ase2007.html#YuanCM07