The paper "Learning Stateful Preconditions Modulo a Test Generator" was accepted by PLDI 2019. The conference is to be held from June 22-June 26, 2019 in Phoenix, AZ.
Angello Astorga, a PhD candidate of our ASE group, is the first author of the paper.
Congratulations to Angello and the co-authors Madhu, Shambwaditya, Shiyu, and Tao!
No comments:
Post a Comment