C. Bennett, D. Myers, M. A. Storey, D. M. German, D. Ouellet et al., A survey and evaluation of tool features for understanding reverse-engineered sequence diagrams, Journal of Software Maintenance and Evolution: Research and Practice, vol.49, issue.3, pp.291-315, 2008.
DOI : 10.1002/smr.372

S. Pickin, C. Jard, T. Jéron, J. Jézéquel, and Y. Le-traon, Test Synthesis from UML Models of Distributed Software, IEEE Transactions on Software Engineering, vol.33, issue.4, pp.252-268, 2007.
DOI : 10.1109/TSE.2007.39

URL : https://hal.archives-ouvertes.fr/inria-00477560

L. C. Briand, Y. Labiche, and J. Leduc, Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software, IEEE Transactions on Software Engineering, vol.32, issue.9, pp.642-663, 2006.
DOI : 10.1109/TSE.2006.96

T. Ziadi, L. Helouet, and J. Jezequel, Revisiting statechart synthesis with an algebraic approach, Proceedings. 26th International Conference on Software Engineering, pp.242-251, 2004.
DOI : 10.1109/ICSE.2004.1317446

URL : https://hal.archives-ouvertes.fr/hal-00795027

O. Rainer and S. Thomas, Javavis: Automatic program visualization with object and sequence diagrams using the java debug interface (JDI), " in Revised Lectures on Software Visualization, pp.176-190, 2002.

D. Lo, S. Maoz, and S. Khoo, Mining modal scenariobased specifications from execution traces of reactive systems, ASE 02, pp.465-468, 2007.

K. Taniguchi, T. Ishio, T. Kamiya, S. Kusumoto, and K. Inoue, Extracting Sequence Diagram from Execution Trace of Java Program, Eighth International Workshop on Principles of Software Evolution (IWPSE'05), 2005.
DOI : 10.1109/IWPSE.2005.19

A. Biermann and J. Feldmann, 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

S. Kleene, Representation of Events in Nerve Nets and Finite Automata, Ann. of Math. Studies, vol.34, pp.3-40, 1956.
DOI : 10.1515/9781400882618-002

C. Neumann, Converting deterministic finite automata to regular expressions, 2005.

D. Lorenzoli, L. Mariani, and M. Pezzè, Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008.
DOI : 10.1145/1368088.1368157

B. Cornelissen, A. Zaidman, A. Van-deursen, L. Moonen, and R. Koschke, A Systematic Survey of Program Comprehension through Dynamic Analysis, IEEE Transactions on Software Engineering, vol.35, issue.5, pp.684-702, 2009.
DOI : 10.1109/TSE.2009.28

J. E. Cook and A. L. Wolf, Discovering models of software processes from event-based data, ACM Transactions on Software Engineering and Methodology, vol.7, issue.3, pp.215-249, 1998.
DOI : 10.1145/287000.287001

J. A. Brzozowski, Derivatives of Regular Expressions, Journal of the ACM, vol.11, issue.4, pp.481-494, 1964.
DOI : 10.1145/321239.321249

D. N. Arden, Delayed-logic and finite-state machines, 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1961), pp.133-151, 1961.
DOI : 10.1109/FOCS.1961.13

S. P. Reiss and M. Renieris, Encoding program executions, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.221-230, 2001.
DOI : 10.1109/ICSE.2001.919096

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.5700

J. Whaley, M. C. Martin, and M. S. Lam, Automatic extraction of object-oriented component interfaces, ISSTA 02, pp.218-228, 2002.

T. Xie, Software component protocol inference, Univ. of Washington Dep.of Comp.Sc.and Eng. General Examination Report, 2003.

D. Lo, L. Mariani, and M. Pezzè, Automatic steering of behavioral model inference, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.345-354, 2009.
DOI : 10.1145/1595696.1595761

D. Lo and S. Khoo, QUARK: Empirical Assessment of Automaton-based Specification Miners, 2006 13th Working Conference on Reverse Engineering, pp.51-60, 2006.
DOI : 10.1109/WCRE.2006.47

N. Walkinshaw, K. Bogdanov, M. Holcombe, and S. , Reverse Engineering State Machines by Interactive Grammar Inference, 14th Working Conference on Reverse Engineering (WCRE 2007), pp.209-218, 2007.
DOI : 10.1109/WCRE.2007.45