Yoonsik Cheon. Automated Random Testing to Detect Specification-Code Inconsistencies. In Dimitris A. Karras, Daming Wei, Jaroslav Zendulka, editors, International Conference on Software Engineering Theory and Practice, SETP-07, Orlando, Florida, USA, July 9-12 2007. pages 112-119, ISRST, 2007.
Abstract is missing.