Learning Stateful Preconditions Modulo a Test Generator
Presented on January 31, 2020
Presenter: Lawton
Presenter: Lawton
Preview
Lawton will present the paper “Learning Stateful Preconditions Modulo a Test Generator” by Astorga et al.
Lawton will present the paper “Learning Stateful Preconditions Modulo a Test Generator” by Astorga et al.