Automated Software Testing of Asynchronous Systems

[1]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[2]  Glynn Winskel,et al.  Event Structure Semantics for CCS and Related Languages , 1982, ICALP.

[3]  D. Rayner.  OSI Conformance Testing , 1987, Comput. Networks.

[4]  Eugene W. Stark.  Connections between a Concrete and an Abstract Model of Concurrent Systems , 1989, Mathematical Foundations of Programming Semantics.

[5]  Jan Tretmans,et al.  A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

[6]  O. Henniger.  On test case generation from asynchronously communicating state machines , 1997 .

[7]  Matthew Hennessy,et al.  Testing Theories for Asynchronous Languages , 1998, FSTTCS.

[8]  Teruo Higashino,et al.  Protocol synthesis from context-free processes using event structures , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

[9]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[10]  Rocco De Nicola,et al.  Trace and Testing Equivalence on Asynchronous Processes , 2002, Inf. Comput..

[11]  Gordon D. Plotkin,et al.  Event Structures for Resolvable Conflict , 2004, MFCS.

[12]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[13]  Margus Veanes,et al.  On-The-Fly Testing of Reactive Systems , 2005 .

[14]  Paul Gastin,et al.  A Fresh Look at Testing for Asynchronous Communication , 2006, ATVA.

[15]  Frédéric Herbreteau,et al.  Unfolding Concurrent Well-Structured Transition Systems , 2007, TACAS.

[16]  Jan Tretmans,et al.  Model Based Testing with Labelled Transition Systems , 2008, Formal Methods and Testing.