FOREST: a systematic testing environment based on standardized formal description techniques.

Kotaro Katsuyama, Tetsuo Nakakawaji, Fumiaki Sato, Tadanori Mizuno

Browse the full COMPSAC paper archive.