KVEST: Automated Generation of Test Suites from Formal Specifications.

Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter

Browse the full FM paper archive.