Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.

Dirk Beyer Thomas Lemberger Jan Haltermann Heike Wehrheim

Published in: ICSE (2022)

Keyphrases

case study
machine learning
computer vision
pattern recognition
building blocks
real time
neural network
information systems
similarity measure
multiscale
reinforcement learning
input image
software components