Scaling Model Checking for Test Generation using Dynamic Inference
Presented on January 24, 2020
Presenter: Mehmet
Presenter: Mehmet
Preview
Mehmet will present the paper “Scaling Model Checking for Test Generation using Dynamic Inference” by Yeolekar et al.