Integrating Random Testing with Constraints for Improved Efficiency and Diversity. - Yoonsik Cheon; Antonio Cortes; Gary T. Leavens; Martine Ceberio (SEKE, 2008)