%0 Conference Proceedings
%F chedor:hal-00743941
%A Chédor, S.
%A Jéron, T.
%A Morvan, C.
%T {Test generation from recursive tiles systems}
%B {TAP - 6th International Conference on Tests & Proofs - 2012}
%V 7305
%P 99-114
%S LNCS
%I Springer
%C Prague
%X In this paper we explore test generation for Recursive Tile Systems (RTS) in the framework of the classical ioco testing theory. The RTS model al- lows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. We first present an off-line test generation algorithm for Weighted RTS, a determinizable sub-class of RTS, and second, an on-line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours
%U http://hal.inria.fr/hal-00743941/PDF/main.pdf
%8 May
%D 2012