Automatic steering of behavioral model inference

11 years 3 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timeconsuming, researchers defined several techniques to extract finite state models from code and traces. Automatically generating models requires much less effort than designing them, and thus eases the verification and validation of large software systems. However, when models are inferred automatically, the precision of the mining process is critical. Behavioral models mined with imprecise processes can include many spurious behaviors, and can thus compromise the results of testing and analysis techniques that use those models. In this paper, we increase the precision of automata inferred from execution traces, by leveraging two learning techniques. We first mine execution traces to infer statistically significant temporal properties that capture relations between non consecutive and possibly distant events. We t...
David Lo, Leonardo Mariani, Mauro Pezzè
Added 19 Nov 2009
Updated 19 Nov 2009
Type Conference
Year 2009
Authors David Lo, Leonardo Mariani, Mauro Pezzè
Comments (0)