Login / Signup
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.
Amirfarhad Nilizadeh
Gary T. Leavens
Xuan-Bach Dinh Le
Corina S. Pasareanu
David R. Cok
Published in:
ICST (2021)
Keyphrases
</>
formal methods
formal analysis
test cases
model checker
model checking
formal specification
databases
decision trees
knowledge based systems
test suite
safety critical
provably correct
temporal properties
cross validation
multi agent systems
artificial intelligence
machine learning