Sequential Test Generation Based on Real-Value Logic.

Kazumi Hatayama, Kazunori Hikone, Mitsuji Ikeda, Terumine Hayashi

Browse the full ITC paper archive.