Partial Specifications for Program Repair.

Linsey Kitt Myra B. Cohen

Published in: GI@ICSE (2021)

Keyphrases

expert systems
formal specification
control flow
delay insensitive
learning algorithm
fault localization
damage assessment
database
artificial intelligence
social networks
information systems
computer programs
programming environment
execution traces