Sign in
Finding real bugs in big programs with incorrectness logic.
Quang Loc Le
Azalea Raad
Jules Villard
Josh Berdine
Derek Dreyer
Peter W. O'Hearn
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
real life
genetic algorithm
nonmonotonic logics
classical logic
source code
logic programming
software systems
computer programs
programs written
database
horn clauses
programming environment
probability theory
software projects
multi agent
high level
artificial intelligence
databases