Yoonsik Cheon Antonio Cortes Gary T. Leavens Martine Ceberio Integrating Random Testing with Constraints for Improved Efficiency and Diversity. 861-866 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#CheonCLC08