Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods.

Amirfarhad Nilizadeh

Published in: ICST (2022)

Keyphrases

formal methods
formal analysis
machine learning
information systems
data model
knowledge based systems
test cases
black box
description language
safety critical
provably correct