A. Abel and J. Reineke, MEMIN: SAT-based exact minimization of incompletely specified Mealy machines, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp.94-101, 2015.
DOI : 10.1109/ICCAD.2015.7372555

A. W. Biermann and J. A. Feldman, On the Synthesis of Finite-State Machines from Samples of Their Behavior, IEEE Transactions on Computers, vol.21, issue.6, pp.592-597, 1972.
DOI : 10.1109/TC.1972.5009015

C. Carbonnel and M. C. Cooper, Tractability in constraint satisfaction problems: a survey, Constraints, vol.13, issue.1???2, pp.115-144, 2016.
DOI : 10.1007/s10601-007-9033-9
URL : https://hal.archives-ouvertes.fr/hal-01230685

R. T. Boute, Distinguishing Sets for Optimal State Identification in Checking Experiments, IEEE Transactions on Computers, vol.23, issue.8, pp.874-877, 1974.
DOI : 10.1109/T-C.1974.224043

C. De-la-higuera, Grammatical inference: learning automata and grammars, 2010.
DOI : 10.1017/CBO9781139194655
URL : https://hal.archives-ouvertes.fr/hal-00476128

E. M. Gold, Complexity of automaton identification from given data, Information and Control, vol.37, issue.3, pp.302-320, 1978.
DOI : 10.1016/S0019-9958(78)90562-4

G. Gonenc, 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

R. Groz, K. Li, A. Petrenko, and M. Shahbaz, Modular System Verification by Inference, Testing and Reachability Analysis, Testing of Software and Communicating Systems, pp.216-233, 2008.
DOI : 10.1007/3-540-48683-6_12

R. Groz, A. Simao, A. Petrenko, C. Oriat, and . November, Inferring Finite State Machines Without Reset Using State Identification Sequences, IFIP International Conference on Testing Software and Systems, pp.161-177, 2015.
DOI : 10.1007/978-3-319-25945-1_10
URL : https://hal.archives-ouvertes.fr/hal-01470168

F. C. Hennie, Fault-Detecting Experiments for Sequential Circuits, Proc. Fifth Annual Symp. On Circuit Theory and Logical Design, pp.95-110, 1965.

M. J. Heule and S. Verwer, Exact DFA Identification Using SAT Solvers, International Colloquium on Grammatical Inference, pp.66-79, 2010.
DOI : 10.1007/978-3-642-15488-1_7

R. M. Hierons and H. Ural, Optimizing the length of checking sequences, IEEE Transactions on Computers, vol.55, issue.5, pp.618-629, 2006.
DOI : 10.1109/TC.2006.80

C. De and . Higuera, Grammatical Inference: Learning Automata and Grammars, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00476128

J. Kella, Sequential Machine Identification, IEEE Transactions on Computers, vol.20, issue.3, pp.332-338, 1971.
DOI : 10.1109/T-C.1971.223241

E. F. Moore, Gedanken-Experiments on Sequential Machines, Annals of Mathematical Studies, vol.34, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

A. L. Oliveira, P. João, and . Silva, Efficient algorithms for the inference of minimum size dfas, Machine Learning, vol.44, issue.1/2, pp.93-119, 2001.
DOI : 10.1023/A:1010828029885

A. Petrenko and . N. Yevtushenko, Testing from Partial Deterministic FSM Specifications, IEEE Transactions on Computers, vol.54, issue.9, pp.1154-1165, 2005.
DOI : 10.1109/TC.2005.152

F. R. Porto, A. T. Endo, and A. Simao, Generation of Checking Sequences Using Identification Sets, ICFEM 2013, 2013.
DOI : 10.1007/978-3-642-41202-8_9

A. Rezaki and H. Ural, Construction of checking sequences based on characterization sets, Computer Communications, vol.18, issue.12, pp.911-920, 1995.
DOI : 10.1016/0140-3664(96)81589-1

R. L. Rivest and R. E. Schapire, Inference of finite automata using homing sequences, Machine Learning: From Theory to Applications, pp.51-73, 1993.

K. Sabnani and A. Dahbura, A protocol test generation procedure, Computer Networks and ISDN Systems, vol.15, issue.4, pp.285-297, 1988.
DOI : 10.1016/0169-7552(88)90064-5

A. S. Simao and A. Petrenko, Generating checking sequences for partial reduced finite state machines. TestCom/FATES, LNCS, vol.5047, pp.153-168, 2008.

A. Simao and A. Petrenko, Checking Sequence Generation Using State Distinguishing Subsequences, 2009 International Conference on Software Testing, Verification, and Validation Workshops, pp.48-56, 2009.
DOI : 10.1109/ICSTW.2009.25

M. Soos, CryptoMiniSat ? a SAT solver for cryptographic problems, 2009.
DOI : 10.1007/978-3-642-02777-2_24
URL : http://www.inrialpes.fr/planete/people/ccastel/PAPERS/SAT09.pdf

M. P. Vasilevski, Failure diagnosis of automata. Cybernetics, pp.653-665, 1973.

M. Yannakakis and D. Lee, Testing Finite State Machines: Fault Detection, Journal of Computer and System Sciences, vol.50, issue.2, pp.209-227, 1995.
DOI : 10.1006/jcss.1995.1019
URL : https://doi.org/10.1006/jcss.1995.1019

M. Yao, A. Petrenko, and G. Bochmann, Conformance testing of protocol machines without reset, Proceedings of the IFIP Thirteenth International Symposium on Protocol Specification , Testing and Verification, pp.241-256, 1993.