Yannakakis, M: Distinguishing tests for nondeterministic and probabilistic machines, Proc. of the twenty-seventh annual ACM symposium on Theory of computing, pp.363-372, 1995. ,
Protocol testing, Proceedings of the 1994 international symposium on Software testing and analysis , ISSTA '94, pp.109-123, 1994. ,
DOI : 10.1145/186258.187153
Testing software design modelled by finite state machines, IEEE Trans. Software Eng, vol.4, issue.3, pp.178-187, 1978. ,
FSM-based conformance testing methods: A survey annotated with experimental evaluation, Information and Software Technology, vol.52, issue.12, pp.1286-1297, 2010. ,
DOI : 10.1016/j.infsof.2010.07.001
URL : https://hal.archives-ouvertes.fr/hal-00593960
On the reachability of the exponential upper bound of adaptive experiments for nondeterministic finite state machines, 2016. ,
Deriving checking sequences for nondeterministic FSMs, Proc. of the Institute for System Programming of RAS, pp.111-124, 2014. ,
DOI : 10.15514/ISPRAS-2014-26(6)-10
A Method for the Design of Fault Detection Experiments, IEEE Transactions on Computers, vol.19, issue.6, pp.551-558, 1970. ,
DOI : 10.1109/T-C.1970.222975
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation, Lecture Notes in Computer Science, vol.9447, pp.19-34, 2015. ,
DOI : 10.1007/978-3-319-25945-1_2
The relation between preset distinguishing sequences and synchronizing sequences, Formal Aspects of Computing, vol.1, issue.3, pp.1153-167, 2014. ,
DOI : 10.1007/BF01068590
C: Fault-Detecting experiments for sequential circuits, Proc. of the Fifth Ann. Symp. Switching Circuit Theory and Logical Design, pp.95-110, 1964. ,
Reduced length checking sequences, IEEE Transactions on Computers, vol.37, issue.9, pp.1111-1117, 2002. ,
DOI : 10.1109/TC.2002.1032630
URL : http://people.brunel.ac.uk/~csstrmh/papers/tc02-pre.pdf
Optimizing the length of checking sequences, IEEE Transactions on Computers, vol.55, issue.5, pp.618-629, 2006. ,
DOI : 10.1109/TC.2006.80
Switching and Finite Automata Theory, 1978. ,
DOI : 10.1017/CBO9780511816239
Yevtushenko, N: Generating checking sequences for nondeterministic finite state machines, Proc. of the Intern. Conf. on Software Testing, pp.310-319, 2012. ,
DOI : 10.1109/icst.2012.111
Methods for deriving homing and distinguishing experiments for nondeterministic FSMs, p.2013 ,
DOI : 10.1007/978-3-642-41707-8_3
Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines, 2015 IEEE East-West Design & Test Symposium (EWDTS), pp.338-341, 2015. ,
DOI : 10.1109/EWDTS.2015.7493120
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines, Lecture Notes in Computer Science, vol.34, issue.6, pp.33-48, 2013. ,
DOI : 10.1007/978-0-387-35062-2_10
On adaptive experiments for nondeterministic finite state machines, International Journal of Software Tools for Technology Transfer, vol.18, issue.3, pp.251-264, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01354241
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, pp.83-90, 2016. ,
DOI : 10.5220/0005854500830090
URL : https://hal.archives-ouvertes.fr/hal-01332386
Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8, pp.1090-1123, 1996. ,
DOI : 10.1109/5.533956
Generalizing the DS-Methods for Testing Non-Deterministic FSMs, The Computer Journal, vol.58, issue.7, pp.1656-1672, 2015. ,
DOI : 10.1093/comjnl/bxu113
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM, Lecture Notes in Computer Science, vol.6, issue.1, pp.118-133, 2005. ,
DOI : 10.1109/TSE.2003.1166585
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs, Lecture Notes in Computer Science, vol.7019, pp.162-178, 2011. ,
DOI : 10.1007/978-3-642-24580-0_12
URL : https://hal.archives-ouvertes.fr/hal-01583921
Comparing finite state machine test coverage criteria, IET Software, vol.3, issue.2, pp.91-105, 2009. ,
DOI : 10.1049/iet-sen.2008.0018
Studying the separability relation between finite state machines. Software Testing, Verification and Reliability, pp.227-241, 2007. ,
Testing finite-state machines: state identification and verification, IEEE Transactions on Computers, vol.43, issue.3, pp.306-320, 1994. ,
DOI : 10.1109/12.272431