Test generation for multiple state-table faults in finite-state machines, IEEE Transactions on Computers, vol.46, issue.7, pp.783-794, 1997. ,
DOI : 10.1109/12.599899
Derivation of optimal test sequences for sequential machines, Proceedings of the IEEE 5th Symposium on Switching Circuits Theory and Logical Design, pp.121-132, 1964. ,
Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978. ,
DOI : 10.1109/C-M.1978.218136
Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991. ,
DOI : 10.1109/32.92910
Design of checking experiments with automata describing protocols. Automatic Control and Computer Sciences, 1988. ,
Fault detecting experiments for sequential circuits, Proceedings of the IEEE 5th Annual Symposium on Switching Circuits Theory and Logical Design. Princeton, pp.95-110, 1964. ,
Test Generation Driven by User-Defined Fault Models, Proceedings of the 12th International Workshop on Testing of Communicating Systems, pp.215-233, 1999. ,
DOI : 10.1007/978-0-387-35567-2_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.7815
Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, pp.1090-1123, 1996. ,
DOI : 10.1109/5.533956
Gedanken-Experiments on Sequential Machines, pp.129-153, 1956. ,
DOI : 10.1515/9781400882618-006
Test suite generation for a FSM with a given type of implementation errors, Proceedings of IFIP 12th International Symposium on Protocol Specification, Testing, and Verification, pp.229-243, 1992. ,
DOI : 10.1016/B978-0-444-89874-6.50021-0
Fault models for testing in context, Formal Description Techniques IX, pp.163-178, 1996. ,
DOI : 10.1007/978-0-387-35079-0_10
Failure diagnosis of automata. Cybernetics, pp.653-665, 1973. ,
DOI : 10.1007/bf01068590
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
A novel approach to protocol test sequence generation. Global Telecommunications Conference 3, pp.2-5, 1990. ,
Fault Models for Embedded Systems, Proceedings of 10th IFIP Advanced Research Working Conference on Correct Hardware Design and Verification Methods, pp.356-359, 1999. ,
DOI : 10.1007/3-540-48153-2_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.9057
A functional fault model for sequential machines, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.11, issue.9, pp.1065-1073, 1992. ,
DOI : 10.1109/43.159992
Confirming configurations in efsm testing, IEEE Transactions on Software Engineering, vol.30, issue.1, pp.29-42, 2004. ,
DOI : 10.1109/TSE.2004.1265734
Testing with model checkers: a survey. Software Testing Verification and Reliability 19, pp.215-261, 2009. ,
An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, vol.86, issue.8, pp.1978-2001, 2013. ,
DOI : 10.1016/j.jss.2013.02.061
Fault model-driven test derivation from finite state models: Annotated bibliography . Modeling and verification of parallel processes, pp.196-205, 2001. ,
DOI : 10.1007/3-540-45510-8_10
On fault coverage of tests for finite state specifications, Computer Networks and ISDN Systems, vol.29, issue.1, pp.81-106, 1996. ,
DOI : 10.1016/S0169-7552(96)00019-0
Comparing finite state machine test coverage criteria, IET Software, vol.3, issue.2, pp.91-105, 2009. ,
DOI : 10.1049/iet-sen.2008.0018
Yices 1.0: An efficient SMT solver. The Satisfiability Modulo Theories Competition, SMT-COMP), 2006. ,
Z3: An Efficient SMT Solver, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008. ,
DOI : 10.1007/978-3-540-78800-3_24
Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains???Current Challenges and Research Gaps, Journal of Software Engineering and Applications, vol.08, issue.09, pp.499-519, 2015. ,
DOI : 10.4236/jsea.2015.89048
Fault models in testing, Proceedings of the IFIP TC6/WG6. 1 Fourth International Workshop on Protocol Test Systems, pp.17-30, 1991. ,
Testing from Partial Deterministic FSM Specifications, IEEE Transactions on Computers, vol.54, issue.9, pp.1154-1165, 2005. ,
DOI : 10.1109/TC.2005.152
Test prioritization using system models, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.559-568, 2005. ,
DOI : 10.1109/ICSM.2005.87
A Method and Tool for Test Optimization for Automotive Controllers, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp.198-207, 2013. ,
DOI : 10.1109/ICSTW.2013.31
The definitive ANTLR 4 reference Pragmatic Bookshelf, 2013. ,