Paper Info
Title
The CARE platform for the analysis of behavior model inference techniques.
Abstract
•We provide a benchmarking mechanism for FSM inference techniques.•CARE provides the framework for the intensive evaluation of the techniques.•Real case studies as well as artificial programs were used for evaluation.•These programs cover 7 classes of program structures, for representativeness.•We compare the performances of five different behavior inference techniques.
Year
DOI
Venue
2015
10.1016/j.infsof.2014.12.004
Information and Software Technology
Keywords
Field
DocType
Behavior,FSM,Inference,Benchmark,Evaluation
Data mining,Model inference,Model checking,Use case,Inference,Computer science,Finite-state machine,Strengths and weaknesses,Benchmarking,Program specification
Journal
Volume
ISSN
Citations 
60
0950-5849
0
PageRank 
References 
Authors
0.34
34
4
Name
Order
Citations
PageRank
Sylvain Lamprier111022.24
Nicolas Baskiotis211911.73
Tewfik Ziadi338429.11
Lom-Messan Hillah400.34