Non-specification-based approaches to logic testing for software.

Noritaka Kobayashi Tatsuhiro Tsuchiya Tohru Kikuno Non-specification-based approaches to logic testing for software. 113-121 2002 44 Information & Software Technology 2 db/journals/infsof/infsof44.html#KobayashiTK02