Program Repair for Hyperproperties.

Borzoo Bonakdarpour Bernd Finkbeiner

Published in: ATVA (2019)

Keyphrases

computer programs
real time
artificial intelligence
data sets
computer vision
web pages
three dimensional
database systems
automatic programming
damage assessment