Debugging of Behavioural Models using Counterexample Analysis.

Gianluca Barbon Vincent Leroy Gwen Salaün

Published in: IEEE Trans. Software Eng. (2021)

Keyphrases

data analysis
statistical analysis
empirical data
experimental data
statistical models
real time
data mining
social networks
decision trees
three dimensional
image analysis
computational models
classification models
model validation