Databases Reference
In-Depth Information
Chapter 2
Mining Finite-State Automata with
Annotations
Leonardo Mariani, Fabrizio Pastore, Mauro Pezze, and Mauro
Santoro
Department of Informatics, Systems and Communication
University of Milano Bicocca
2.1 Introduction ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 30
2.2 Modeling Software Systems with Annotated FSA :::::::::::::::::::::::: 31
2.3 Introducing a Running Example :::::::::::::::::::::::::::::::::::::::::: 32
2.4 Inferring FSA Annotated with Constraints ::::::::::::::::::::::::::::::: 36
2.4.1 Merging Similar Traces :::::::::::::::::::::::::::::::::::::::::::: 36
2.4.2 Generating Constraints ::::::::::::::::::::::::::::::::::::::::::: 37
2.4.3 Initializing EFSA :::::::::::::::::::::::::::::::::::::::::::::::::: 37
2.4.4 Merging Equivalent States in EFSA :::::::::::::::::::::::::::::: 39
2.5 Inferring FSA Annotated with Data-Flow
Information ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 43
2.5.1
Preprocessing Data :::::::::::::::::::::::::::::::::::::::::::::::: 43
2.5.1.1
Identifying Data Clusters :::::::::::::::::::::::::::::::: 43
2.5.1.2
Global Ordering Rewriting Strategy :::::::::::::::::::: 44
2.5.1.3
Instantiation Rewriting Strategy :::::::::::::::::::::::: 45
2.5.1.4
Access Rewriting Strategy ::::::::::::::::::::::::::::::: 47
2.5.1.5
Choosing a Rewriting Strategy :::::::::::::::::::::::::: 48
2.5.2
Generating Models :::::::::::::::::::::::::::::::::::::::::::::::: 50
2.6
Comparing the Generated Models :::::::::::::::::::::::::::::::::::::::: 52
2.7
Related Work ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 53
2.7.1
Mining Models That Represent Ordering of Events :::::::::::::: 53
2.7.2
Mining Models That Represent Program Variables :::::::::::::: 54
2.8
Concluding Remarks :::::::::::::::::::::::::::::::::::::::::::::::::::::: 54
Bibliography ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 55
29
Search WWH ::
Custom Search