Synthesis of distributed testers from true-concurrency models of reactive systems

Jard, 2002, Principles of distributed test synthesis based on true-concurrency models, Testcom'2002, Berlin ISO/IEC 9646 IT-OSI, OSI Conformance Testing Methodology and Framework. Törö, 1999 Fernandez, 1996, Using on-the-fly verification techniques for the generation of test suites Fernandez, 1997, An experiment in automatic generation of test suites for protocols with verification technology, 123 Doldi, 1996, Assessment of automatic generation methods of conformance test suites in an industrial context Kerbrat, 1997, Interconnecting the object-Géode and CADP toolsets Jéron, 1998 Tretmans, 1996, Test generation with inputs, outputs and repetitive quiescence, Software, Concept and Tools, 17, 103 Tarjan, 1972, Depth-first search and linear graph algorithms, SIAM Journal Computing, 1, 146, 10.1137/0201010 Jéron, 1999, Test generation derived from model-checking Engelfriet, 1991, Branching processes of petri nets, Acta Informatica, 28, 575, 10.1007/BF01463946 Esparza, 1999, An unfolding algorithm for synchronous products of transition systems Khomenko, 2001, Towards an efficient algorithm for unfolding petri nets Ledru, 2001 De Vries, 2001, Towards formal test purposes Caillaud, 1997, Distributing automata for asynchronous network of processors, European Journal on Automated Systems (JESA), 31, 503 Jard, 1998, Towards automatic distribution of testers for distributed conformance testing, vol. 18 Luo, 1994, Test generation with respect to distributed interfaces, Computer Standards and Interfaces, 16, 119, 10.1016/0920-5489(94)90003-5 Castanet, 1994, Deriving co-ordinated testers for interoperability Kim, 1996 Kim, 1999, An enhanced model for testing asynchronous communicating systems, vol. 19 Ulrich, 1997, Specification-based testing of concurrent systems, vol. 17 Henniger, 1997, On test case generation from asynchronously communicating state machines, vol. 10, 255 Ulrich, 1999 Cacciari, 1999, vol. 41 http://wwwbrauer.informatik.tu-muenchen.de/gruppen/theorie/KIT/. Bonnet, 1982, Linear extension of ordered sets, 125 Jard, 1995, On-line computations of the ideal lattice of posets, RAIRO ITA, Theoretical Informatics and Applications, 29, 227, 10.1051/ita/1995290302271