Finding and understanding bugs in software model checkers.

Chengyu Zhang Ting Su Yichen Yan Fuyuan Zhang Geguang Pu Zhendong Su

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

statistical model
computational model
mathematical model
objective function
probabilistic model
database
high level
software engineering
bayesian networks
multi agent systems
expert systems
management system
source code
conceptual model