Inproceedings,
Learning stateful preconditions modulo a test generator.
A. Astorga, P. Madhusudan, S. Saha, S. Wang, and T. Xie.PLDI, page 775-787. ACM, (2019)
Meta data
- BibTeX key
- conf/pldi/AstorgaMSWX19
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2019
- pages
- 775-787
- publisher
- ACM
- crossref
- conf/pldi/2019
- ee
- https://doi.org/10.1145/3314221.3314641
- isbn
- 978-1-4503-6712-7
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#AstorgaMSWX19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/AstorgaMSWX19
%A Astorga, Angello
%A Madhusudan, P.
%A Saha, Shambwaditya
%A Wang, Shiyu
%A Xie, Tao
%B PLDI
%D 2019
%E McKinley, Kathryn S.
%E Fisher, Kathleen
%I ACM
%K dblp
%P 775-787
%T Learning stateful preconditions modulo a test generator.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#AstorgaMSWX19
%@ 978-1-4503-6712-7
@inproceedings{conf/pldi/AstorgaMSWX19,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Astorga, Angello and Madhusudan, P. and Saha, Shambwaditya and Wang, Shiyu and Xie, Tao},
biburl = {https://www.bibsonomy.org/bibtex/2491184dd9d3b90cfde683e5e3d2a4163/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2019},
editor = {McKinley, Kathryn S. and Fisher, Kathleen},
ee = {https://doi.org/10.1145/3314221.3314641},
interhash = {8ade3c1850b3047648f8a15436b3a82d},
intrahash = {491184dd9d3b90cfde683e5e3d2a4163},
isbn = {978-1-4503-6712-7},
keywords = {dblp},
pages = {775-787},
publisher = {ACM},
timestamp = {2024-04-10T06:17:16.000+0200},
title = {Learning stateful preconditions modulo a test generator.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#AstorgaMSWX19},
year = 2019
}