Counting Bugs in Behavioural Models using Counterexample Analysis.

Irman Faqrizal Gwen Salaün

Published in: FormaliSE@ICSE (2022)

Keyphrases

statistical analysis
parameter estimation
real time
data analysis
database
data sets
computer vision
information systems
probabilistic model
medical images
software systems
statistical model
mathematical models