Assume, Guarantee or Repair.

Hadar Frenkel Orna Grumberg Corina S. Pasareanu Sarai Sheinvald

Published in: TACAS (1) (2020)

Keyphrases

damage assessment
decision making
search algorithm
real time
data mining
information retrieval
objective function
multiresolution