B. Aichernig and E. Jöbstl, Efficient Refinement Checking for Model-Based Mutation Testing, 2012 12th International Conference on Quality Software, pp.21-30, 2012.
DOI : 10.1109/QSIC.2012.58

B. Aichernig, E. Jöbstl, and M. Kegele, Incremental Refinement Checking for Test Case Generation, 7th International Conference on Tests and Proofs (TAP 2013), pp.1-19, 2013.
DOI : 10.1007/978-3-642-38916-0_1

B. Aichernig, E. Jöbstl, and S. Tiran, Model-based mutation testing via symbolic refinement checking, Science of Computer Programming, vol.97, 2014.
DOI : 10.1016/j.scico.2014.05.004

A. Bairoch and R. Apweiler, The SWISS-PROT protein sequence database and its supplement TrEMBL in 2000, Nucleic Acids Research, vol.28, issue.1, pp.45-48, 2000.
DOI : 10.1093/nar/28.1.45

S. Balan, G. Lamperti, M. Scandale, R. Neves-silva, G. Tshirintzis et al., Incremental subset construction revisited, Frontiers in Artificial Intelligence and Applications, vol.262, pp.25-37, 2014.

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, The Kluwer International Series in Discrete Event Dynamic Systems, 1999.

J. Friedl, Mastering Regular Expressions. O'Reilly Media, 2006.

E. Jöbstl, Model-based mutation testing with constraint and SMT solvers, Austria, 2014.

G. Lamperti and M. Scandale, From diagnosis of active systems to incremental determinization of finite acyclic automata, AI Communications, vol.26, issue.4, pp.373-393, 2013.

G. Lamperti and M. Zanella, Diagnosis of discrete-event systems from uncertain temporal observations, Artificial Intelligence, vol.137, issue.1-2, pp.91-163, 2002.
DOI : 10.1016/S0004-3702(02)00123-6

G. Lamperti and M. Zanella, Diagnosis of Active Systems ? Principles and Techniques, The Kluwer International Series in Engineering and Computer Science, vol.741, 2003.

G. Lamperti and M. Zanella, A Bridged Diagnostic Method for the Monitoring of Polymorphic Discrete-Event Systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.5, pp.2222-2244, 2004.
DOI : 10.1109/TSMCB.2004.835008

G. Lamperti and M. Zanella, Monitoring and diagnosis of discrete-event systems with uncertain symptoms, Sixteenth International Workshop on Principles of Diagnosis DX'05, pp.145-150, 2005.

G. Lamperti and M. Zanella, Monitoring of Active Systems With Stratified Uncertain Observations, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.41, issue.2, pp.356-369, 2011.
DOI : 10.1109/TSMCA.2010.2069096

G. Lamperti, M. Zanella, G. Chiodi, and L. Chiodi, Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems, Knowledge-Based Intelligent Information and Engineering Systems. LNAI, pp.362-374, 2008.
DOI : 10.1007/978-3-540-85563-7_48

G. Lamperti, M. Zanella, and D. Zanni, Incremental processing of temporal observations in model-based reasoning, AI Communications, vol.20, issue.1, pp.27-37, 2007.

M. Rabin and D. Scott, Finite Automata and Their Decision Problems, IBM Journal of Research and Development, vol.3, issue.2, pp.114-125, 1959.
DOI : 10.1147/rd.32.0114

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software ? Concepts and Tools, pp.103-120, 1996.