Books

Model-based Software Testing and Analysis with C#. Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte. Cambridge University Press, 2008. Authors' page, publisher's page.

Papers

Ernits, J. Kaaramees, M. Raiend, K. Kull, A., Requirements-driven model-based testing of the IP multimedia subsystem, in
BEC 2008: 11th International Biennial Baltic Electronics Conference, Oct. 2008. Publication.

Juhan Ernits, Margus Veanes, and Johannes Helander, Model-Based Testing of Robots with NModel, in TestCom/FATES 2008 Short Papers, June 2008. Preprint.

Margus Veanes and Wolfram Schulte, Protocol Modeling with Model Program Composition, in FORTE'08, LNCS 5048, Springer Verlag, June 2008. Preprint,publication.

Margus Veanes, Juhan Ernits, and Colin Campbell, State Isomorphism in Model Programs with Abstract Data Structures, in FORTE'07, LNCS 4574, Springer Verlag, June 2007. Preprint, publication.


See also Presentations