FlyCatcher: Neural Inference of Runtime Checkers from Tests

Beatriz Souza, Chang Lou, Suman Nath +1

Complex software systems often suffer from silent failures, i.e., violations of the intended semantics that do not cause explicit errors. A promising approach to detect such errors…