TTCN-3 TestCast Generator theory theory

The methodological background of TestCast Generator (previously MOTES) has been published in the following PhD thesis and research papers:

PhD Thesis:

Andres Kull, Model-Based Testing of Reactive Systems, Tallinn University of Technology, Faculty of Information Technology, Department of Computer Control, ISSN 1406-4731, 2009.

PAPER 1:

Ernits, Juhan-P.; Kull, Andres; Raiend, Kullo; Vain, Jüri. Generating tests from EFSM models using guided model checking and iterated search refinement. In: Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers: Havelund, K., et al.. Berlin: Springer, 2006, (Lecture Notes in Computer Science; 4262), 85 - 99.

PAPER 2:

Ernits, Juhan P.; Kull, Andres; Raiend, Kullo; Vain, Jüri. Generating TTCN-3 test cases from EFSM models of reactive software using model checking . In: Informatik 2006 - Informatik für Menschen : Proceedings: Beiträge der 36.Jahrestagung der Gesellschaft für Informatik e.V.(GI), 2.bis 6.Oktober 2006 in Dresden. (eds.) Hochberger, Ch.; Liskowsky, R.. Bonn: Köllen, 2006, (Lecture Notes in Informatics; P-94), 241 - 248.

PAPER 3:

Vain, J.: Raiend, K.; Kull, A.; Ernits, J. Synthesis of test purpose directed reactive planning tester for nondeterministic systems. In: ASE'07 : 2007 ACM/IEEE International Conference on Automated Software Engineering, Atlanta, Georgia, November 5-9, 2007, proceedings: 22nd IEEE/ACM International Conference on Automated Software Engineering. ACM Press, 2007, 363 - 372.