Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie 0001
Learning stateful preconditions modulo a test generator
PLDI, 2019.
@inproceedings{PLDI-2019-AstorgaMSWX,
author = "Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie 0001",
booktitle = "{Proceedings of the 40th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3314221.3314641",
isbn = "978-1-4503-6712-7",
pages = "775--787",
publisher = "{ACM}",
title = "{Learning stateful preconditions modulo a test generator}",
year = 2019,
}