Engineering a Formally Verified Automated Bug Finder.

Arthur Correnson Dominic Steinhöfel

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

artificial intelligence
semi automated
software engineering
engineering design
data sets
decision making
engineering problems
source code
image segmentation
automated analysis
computer science
software systems
electrical engineering
real time
expert systems
video sequences
bayesian networks
website