Login / Signup
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