Mining specifications, SIGPLAN Not, vol.37, issue.1, pp.4-16, 2002. ,
Inferring models of concurrent systems from logs of their behavior with csight, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.468-479, 2014. ,
On the synthesis of finite-state machines from samples of their behavior. Computers, IEEE Transactions, issue.21, pp.592-597, 1972. ,
Execution anomaly detection in distributed systems through unstructured log analysis, Ninth IEEE International Conference on Data Mining, pp.149-158, 2009. ,
Modular system verification by inference, testing and reachability analysis, Testing of Software and Communicating Systems, pp.216-233, 2008. ,
Using dynamic execution traces and program invariants to enhance behavioral model inference, Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering, vol.2, pp.179-182, 2010. ,
Learning extended fsa from software: An empirical assessment, Selected papers from the 2011 Joint Working IEEE/IFIP Conference on Software Architecture, vol.85, pp.2063-2076, 2011. ,
Automatic generation of software behavioral models, Proceedings of the 30th International Conference on Software Engineering, ICSE'08, pp.501-510, 2008. ,
A lightweight algorithm for message type extraction in system application logs, IEEE Transactions on Knowledge and Data Engineering, vol.24, issue.11, pp.1921-1936, 2012. ,
Automated identification of failure causes in system logs, Software Reliability Engineering, pp.117-126, 2008. ,
Dynamic analysis for diagnosing integration faults, IEEE Transactions on Software Engineering, vol.37, issue.4, pp.486-508, 2011. ,
A search-based approach for accurate identification of log message formats, Proceedings of the 26th Conference on Program Comprehension, ICPC '18, pp.167-177, 2018. ,
Behavioral resource-aware model inference, Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, ASE '14, pp.19-30, 2014. ,
Timed k-tail: Automatic inference of timed automata, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp.401-411, 2017. ,
Learning communicating state machines, Tests and Proofs -13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods, pp.112-128, 2019. ,
Reverse engineering behavioural models of iot devices, 31st International Conference on Software Engineering & Knowledge Engineering (SEKE), pp.Portu- gal, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02134046
Autofunk, a fast and scalable framework for building formal models from production systems, Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, DEBS '15, pp.193-204, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02019678
Logclustera data clustering and pattern mining algorithm for event logs, 11th International Conference on Network and Service Management (CNSM), pp.1-7, 2015. ,
Tools and benchmarks for automated log parsing, 2018. ,