Login / Signup
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs.
Bastien Lecoeur
Hasan Mohsin
Alastair F. Donaldson
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
programs written
programming language
static analysis
general purpose
test cases
software systems
databases
machine learning
user behaviour
real time
information systems
multi agent systems
operating system
significantly reduced