Exploring Automatic Specification Repair in Dafny Programs.

Alexandre Abreu Nuno Macedo Alexandra Mendes

Published in: ASEW (2023)

Keyphrases

semi automatic
provably correct
data driven
information systems
high level
fully automatic
conceptual model
control flow
database
real world
artificial intelligence
image sequences
computer programs
automatic programming