Mining Timed Regular Specifications from System Traces.
Apurva NarayanGreta CutulencoYogi JoshiSebastian FischmeisterPublished in: ACM Trans. Embed. Comput. Syst. (2018)
Keyphrases
- petri net
- text mining
- execution traces
- data mining
- mining algorithm
- association rule mining
- finite state machines
- data analysis
- knowledge discovery
- knowledge base
- information systems
- website
- real time
- data mining methods
- information retrieval
- formal specification
- association mining
- discrete event
- operational semantics
- data sets