Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation.

Ryusei Mori, Masaki Nakamura

Browse the full ICST paper archive.