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
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
Model-based mutation testing via symbolic refinement checking, Science of Computer Programming, vol.97, 2014. ,
DOI : 10.1016/j.scico.2014.05.004
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
Incremental subset construction revisited, Frontiers in Artificial Intelligence and Applications, vol.262, pp.25-37, 2014. ,
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
DOI : 10.1145/322374.322380
Introduction to Discrete Event Systems, The Kluwer International Series in Discrete Event Dynamic Systems, 1999. ,
Mastering Regular Expressions. O'Reilly Media, 2006. ,
Model-based mutation testing with constraint and SMT solvers, Austria, 2014. ,
From diagnosis of active systems to incremental determinization of finite acyclic automata, AI Communications, vol.26, issue.4, pp.373-393, 2013. ,
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
Diagnosis of Active Systems ? Principles and Techniques, The Kluwer International Series in Engineering and Computer Science, vol.741, 2003. ,
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
Monitoring and diagnosis of discrete-event systems with uncertain symptoms, Sixteenth International Workshop on Principles of Diagnosis DX'05, pp.145-150, 2005. ,
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
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
Incremental processing of temporal observations in model-based reasoning, AI Communications, vol.20, issue.1, pp.27-37, 2007. ,
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
Test generation with inputs, outputs and repetitive quiescence, Software ? Concepts and Tools, pp.103-120, 1996. ,