author : Alexandre Petrenko

Short works

• KVEST: Automated Generation of Test Suites from Formal Specifications. 1999. (In FM'99 volume 1 )