Ivannikov Institute for System Programming of the RAS


KVEST: Automated Generation of Test Suites from Formal Specifications.

Authors

I.Burdonov, A.Kosatchev, A.Petrenko, D.Galter.

Edition

Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.

Research Group

Software Engineering

All publications during 1999 All publications