Manish Motwani, Yuriy Brun
Automatically generating precise Oracles from structured natural language specifications
ICSE, 2019.
@inproceedings{ICSE-2019-MotwaniB,
acmid = "3339531",
author = "Manish Motwani and Yuriy Brun",
booktitle = "{Proceedings of the 41st International Conference on Software Engineering}",
doi = "10.1109/ICSE.2019.00035",
isbn = "978-1-7281-0869-8",
pages = "188--199",
publisher = "{IEEE / ACM}",
title = "{Automatically generating precise Oracles from structured natural language specifications}",
year = 2019,
}
Tags: