Testing Systems Specified as Partial Order Input/Output Automata, Joint 20th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'08, and 8th Int. Workshop on Formal Approaches to Software Testing, FATES'08, pp.169-183, 2008. ,
DOI : 10.1109/TCOM.1984.1096134
Controllability and observability in distributed testing. Information and Software Technology, pp.11-12767, 1999. ,
Testing Software Design Modeled by Finite-State Machines, IEEE Transactions on Software Engineering, vol.4, issue.3, pp.178-187, 1978. ,
DOI : 10.1109/TSE.1978.231496
Error detection with multiple observers, 5th WG6.1 Int. Conf. on Protocol Specification, Testing and Verification, PSTV'85, pp.483-494, 1985. ,
Conformance testing with multiple observers, 6th WG6.1 Int. Conf. on Protocol Specification, Testing and Verification, PSTV'86, pp.217-229, 1986. ,
Using partial orders to improve automatic verification methods, 2nd Int. Workshop on Computer Aided Verification, CAV'90, pp.176-185, 1991. ,
Testing Input/Output Partial Order Automata, Joint 19th IFIP TC6/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom'07, and 7th Int. Workshop on Formal Approaches to Software Testing, FATES'07, pp.171-185, 2007. ,
DOI : 10.1109/12.272431
URL : http://www.irisa.fr/distribcom/Personal_Pages/jard/Publis/Jard_CI67.pdf
Canonical finite state machines for distributed systems, Theoretical Computer Science, vol.411, issue.2, pp.566-580, 2010. ,
DOI : 10.1016/j.tcs.2009.09.039
Reaching and Distinguishing States of Distributed Systems, SIAM Journal on Computing, vol.39, issue.8, pp.3480-3500, 2010. ,
DOI : 10.1137/090771296
Generating Complete Controllable Test Suites for Distributed Testing, IEEE Transactions on Software Engineering, vol.41, issue.3, pp.279-293, 2015. ,
DOI : 10.1109/TSE.2014.2364035
Controllable Test Cases for the Distributed Test Architecture, 6th Int. Symposium on Automated Technology for Verification and Analysis, ATVA'08, pp.201-215, 2008. ,
DOI : 10.1007/978-3-540-73066-8_12
UIO sequence based checking sequences for distributed test architectures, Information and Software Technology, vol.45, issue.12, pp.793-803, 2003. ,
DOI : 10.1016/S0950-5849(03)00060-0
Checking sequences for distributed test architectures, Distributed Computing, pp.223-238, 2008. ,
DOI : 10.1007/978-1-4684-2001-2_9
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
Generating synchronizable test sequences based on finite state machine with distributed ports, 6th IFIP Workshop on Protocol Test Systems, IWPTS'93, pp.139-153, 1993. ,
Gedanken-Experiments on Sequential Machines, Automata Studies, 1956. ,
DOI : 10.1515/9781400882618-006
Unfolding-Based Test Selection for Concurrent Conformance, 25th IFIP WG 6.1 Int. Conf. on Testing Software and Systems, ICTSS'13, pp.98-113, 2013. ,
DOI : 10.1007/11754008_1
Model-based testing for concurrent systems: unfolding-based test selection, International Journal on Software Tools for Technology Transfer, vol.17, issue.3, pp.305-318, 2016. ,
DOI : 10.1006/inco.1997.2652
Coordination algorithm for distributed testing, The Journal of Supercomputing, vol.24, issue.2, pp.203-211, 2003. ,
DOI : 10.1023/A:1021759127956
Synchronization and Specification Issues in Protocol Testing, IEEE Transactions on Communications, vol.32, issue.4, pp.389-395, 1984. ,
DOI : 10.1109/TCOM.1984.1096074
Distributed testing without encountering controllability and observability problems, Information Processing Letters, vol.88, issue.3, pp.133-141, 2003. ,
DOI : 10.1016/S0020-0190(03)00364-8
Constructing checking sequences for distributed testing, Formal Aspects of Computing, vol.18, issue.1, pp.84-101, 2006. ,
DOI : 10.1007/s00165-005-0083-8