I. Bourdonov, A. Kossatchev & V. Kuliamin (2006):
Formal conformance testing of systems with refused inputs and forbidden actions.
Electronic Notes in Theoretical Computer Science 164(4),
pp. 83–96,
doi:10.1016/j.entcs.2006.09.008.
T. Chow (1978):
Testing software design modeled by finite-state machines.
IEEE Transactions on Software Engineering 4(3),
pp. 178–187,
doi:10.1109/TSE.1978.231496.
F. C. Hennie (1964):
Fault-detecting experiments for sequential circuits.
In: Proceedings of the 5th Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey,
pp. 95–110,
doi:10.1109/SWCT.1964.8.
R. Hierons (2012):
The complexity of asynchronous model based testing.
Theor. Comput. Sci. 451,
pp. 70–82,
doi:10.1016/j.tcs.2012.05.038.
R. Hierons (2013):
Implementation relations for testing through asynchronous channels.
Comput. J. 56(11),
pp. 1305–1319,
doi:10.1093/comjnl/bxs107.
J. Huo & A. Petrenko (2004):
On testing partially specified iots through lossless queues.
In: Proc. Testing of Communicating Systems,
pp. 76–94,
doi:10.1007/978-3-540-24704-3_6.
J. Huo & A. Petrenko (2009):
Transition covering tests for systems with queues.
Software Testing Verification and Reliability 19,
pp. 55–83,
doi:10.1002/stvr.396.
C. Jard & T. Jeron (2005):
TGV: Theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems.
Software Tools for Technology Transfer 7(4),
pp. 297–315,
doi:10.1007/s10009-004-0153-x.
N. Lynch & M. R. Tuttle (1989):
An introduction to input/output automata.
CWI Quarterly 2(3),
pp. 219–246.
A. Petrenko & N. Yevtushenko (2011):
Adaptive testing of deterministic implementations specified by nondeterministic fsms.
In: International Conference on Testing Software and Systems,
pp. 162–178,
doi:10.1007/978-3-642-24580-0_12.
A. Petrenko, N. Yevtushenko & J. Huo (2003):
Testing transition systems with input and output testers.
In: TestCom 2003,
LNCS 2644,
pp. 129–145,
doi:10.1007/3-540-44830-6_11.
A. Simao & A. Petrenko (2011):
Generating asynchronous test cases from test purposes.
Information & Software Technology 53(11),
pp. 1252–1262,
doi:10.1016/j.infsof.2011.06.006.
Q. Tan & A. Petrenko (1998):
Test generation for specifications modeled by input/output automata.
In: Proceedings of the 11th International Workshop on Testing of Communicating Systems (IWTCS'98),
pp. 83–99,
doi:10.1007/978-0-387-35381-4_6.
J. Tretmans (1996):
Test generation with inputs, outputs and repetitive quiescence.
Software Concepts and Tools 17(3),
pp. 103–120.
J. Tretmans (2008):
Model based testing with labelled transition systems.
In: Formal Methods and Testing,
pp. 1–38,
doi:10.1007/978-3-540-78917-8_1.
J. Tretmans & E. Brinksma (2003):
TorX: automated model based testing.
In: First European Conference on Model-Driven Software Engineering,
pp. 31–43.
J. Tretmans & L. Verhaard (1992):
A queue model relating synchronous and asynchronous communication.
In: Proc. International Symposium Protocol Specification, Testing and Verification,
pp. 131–145,
doi:10.1016/B978-0-444-89874-6.50015-5.
M. P. Vasilevskii (1973):
Failure diagnosis of automata.
Cybernetics 4,
pp. 653–665,
doi:10.1007/BF01068590.
N. Yevtushenko & A. Petrenko (1990):
Synthesis of test experiments in some classes of automata.
Automatic Control and Computer Sciences 24(4),
pp. 50–55.