Integrating Random Testing with Constraints for Improved Efficiency and Diversity.

Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio

Browse the full SEKE paper archive.