Many software engineering tasks, such as testing, and anomaly detection ...
Inferring behavior model of a running software system is quite useful fo...
Context: Specification mining techniques are typically used to extract t...
Dynamic model inference techniques have been the center of many research...
share