Title
Exact and Efficient Temporal Steering of Software Behavioral Model Inference
Abstract
Behavior Model Inference techniques aim at mining behavior models from execution traces. While most of approaches usually ground on local similarities in traces, recent work, referred to as behavior mining with temporal steering, propose to include long term dependencies in the mining process. Such dependencies correspond to temporal implications between events in execution traces, whose consideration allows to ensure a better consistency of the extracted model. Nevertheless, the existing approaches are usually limited by their high computational complexity and the approximations to reduce the cost of temporal rules checking. This paper revisits behavior mining with temporal steering by defining an efficient algorithm that performs an exact consideration of the observed dependencies: in our experiments, greatly reduced processing times (from exponential to quasi-linear) for exact mining with temporal steering have been observed. Furthermore, beyond highlighting the great benefits of considering temporal dependencies, this paper also proposes new key extensions to the existing work that allow to include more complex dependencies in the mining process. Intensive evaluation finally demonstrates the great performances of the proposed approach.
Year
DOI
Venue
2014
10.1109/ICECCS.2014.31
Engineering of Complex Computer Systems
Keywords
Field
DocType
data mining,inference mechanisms,software engineering,behavior model inference techniques,behavior model mining process,complex dependencies,computational complexity,efficient temporal steering,exact temporal steering,temporal dependencies,temporal rule checking
Approximation algorithm,Data mining,Exponential function,Model inference,Inference,Computer science,Behavioral modeling,Automaton,Software,Artificial intelligence,Machine learning,Computational complexity theory
Conference
Citations 
PageRank 
References 
2
0.35
12
Authors
4
Name
Order
Citations
PageRank
Sylvain Lamprier111022.24
Tewfik Ziadi238429.11
Nicolas Baskiotis311911.73
Lom Messan Hillah4272.26