. Minftraces, Thus Traces C(Fail) (T C) = MinFTraces(S) ? Traces(T C) which proves both soundness and strictness, as in the off-line case

R. 1. Alur, K. Etessami, and M. Yannakakis, Analysis of recursive state machines, 13th International Conference on Computer Aided Verification volume 2102 of LNCS, pp.207-220, 2001.

R. Alur and P. Madhusudan, Visibly pushdown languages, Proceedings of the thirty-sixth annual ACM symposium on Theory of computing , STOC '04, pp.202-211, 2004.
DOI : 10.1145/1007352.1007390

D. Caucal and S. Hassen, Synchronization of Grammars, Third International Computer Science Symposium in Russia (CSR'08), pp.110-121, 2008.
DOI : 10.1007/978-3-540-79709-8_14

URL : https://hal.archives-ouvertes.fr/hal-00620185

C. Constant, B. Jeannet, and T. Jéron, Automatic Test Generation from Interprocedural Specifications, TestCom/FATES'07, pp.41-57, 2007.
DOI : 10.1007/978-3-540-73066-8_4

URL : https://hal.archives-ouvertes.fr/inria-00137064

B. Courcelle, Handbook of Theoretical Computer Science, chapter Graph rewriting: an algebraic and logic approach, 1990.

L. Frantzen, J. Tretmans, and T. A. Willemse, A Symbolic Framework for Model-Based Testing, FATES 2006 and RV 2006, Revised Selected Papers, pp.40-54, 2006.
DOI : 10.1007/11940197_3

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x

B. Jeannet, T. Jéron, and V. Rusu, Model-Based Test Selection for Infinite-State Reactive Systems, 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Revised Lectures, pp.47-69, 2006.
DOI : 10.1007/978-3-540-74792-5_3

URL : https://hal.archives-ouvertes.fr/inria-00564604

D. Nowotka and J. Srba, Height-Deterministic Pushdown Automata, 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), pp.125-134, 2007.
DOI : 10.1007/978-3-540-74456-6_13

G. J. Tretmans and H. Brinksma, Torx: Automated model-based testing, First European Conference on Model-Driven Software Engineering, pp.31-43, 2003.

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, pp.103-120, 1996.