D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, pp.1090-1123, 1996.
DOI : 10.1109/5.533956

H. Cho, S. Jeong, C. Somenzi, and . Pixley, Multiple observation time single reference test generation using synchronizing sequences, Design Automation with the European Event in ASIC Design. Proceedings.[4th] European Conference on, pp.494-498, 1993.

G. Jourdan, H. Ural, and H. Yenigün, Reduced checking sequences using unreliable reset, Information Processing Letters, vol.115, issue.5, pp.532-535, 2015.
DOI : 10.1016/j.ipl.2015.01.002

B. K. Natarajan, An algorithmic approach to the automated design of parts orienters, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986), pp.27-29, 1986.
DOI : 10.1109/SFCS.1986.5

V. Mikhail and . Volkov, Synchronizing automata and th? Cern`Cern`y conjecture, International Conference on Language and Automata Theory and Applications, pp.11-27, 2008.

D. Eppstein, Reset Sequences for Monotonic Automata, SIAM Journal on Computing, vol.19, issue.3, pp.500-510, 1990.
DOI : 10.1137/0219033
URL : http://www.ics.uci.edu/~eppstein/pubs/Epp-SJC-90.pdf

J. Olschewski and M. Ummels, The Complexity of Finding Reset Words in Finite Automata, International Symposium on Mathematical Foundations of Computer Science, pp.568-579, 2010.
DOI : 10.1007/978-3-642-15155-2_50

. Matematicko-fyzikálnyfyzikálny?asopis, Já? Cern`Cern`y, Alica Pirická, and Blanka Rosenauerová. On directable automata, Kybernetika, vol.14, issue.74, pp.208-216289, 1964.

J. Pin, On two Combinatorial Problems Arising from Automata Theory, North-Holland Mathematics Studies, vol.75, pp.535-548, 1983.
DOI : 10.1016/S0304-0208(08)73432-7
URL : https://hal.archives-ouvertes.fr/hal-00143937

A. N. Trahtman, Some results of implemented algorithms of synchronization, 10th Journees Montoises d'Inform, 2004.

A. Roman, Synchronizing finite automata with short reset words, Applied Mathematics and Computation, vol.209, issue.1, pp.125-136, 2009.
DOI : 10.1016/j.amc.2008.06.019

R. Kudlacik, A. Roman, and H. Wagner, Effective synchronizing algorithms, Expert Systems with Applications, vol.39, issue.14, pp.11746-11757, 2012.
DOI : 10.1016/j.eswa.2012.04.079

A. Roman and M. Szykula, Forward and backward synchronizing algorithms, Expert Systems with Applications, vol.42, issue.24, pp.9512-9527, 2015.
DOI : 10.1016/j.eswa.2015.07.071

S. Karahoda, K. Osman-tufan-erenay, U. Kaya, H. Cengiz-türker, and . Yenigün, Parallelizing Heuristics for Generating Synchronizing Sequences, Testing Software and Systems -28th IFIP WG 6.1 International Conference Proceedings, volume 9976 of Lecture Notes in Computer Science, pp.106-122, 2016.
DOI : 10.1109/SC.2012.50
URL : https://hal.archives-ouvertes.fr/hal-01643717