Ivannikov Institute for System Programming of the RAS


Model-Based Testing. Editor of proceddings.

Authors

A.Petrenko, Yu.Gurevich, B.Finkbeiner.

Edition

Electronic Note in Theoretical Computer Science, 2009.

Research Group

Software Engineering

All publications during 2010 All publications