Inferring extended finite state machine models from software executions
A decision-theoretic generalization of on-line learning and an application to boosting