Learning stateful preconditions modulo a test generator (Journal Article) | NSF PAGES

skip to main content

Citation Details

Learning stateful preconditions modulo a test generator

Authors:: Astorga, Angello; Madhusudan, P.; Saha, Shambwaditya; Wang, Shiyu; Xie, Tao

Award ID(s):: 1816615 1564274 1513939

Publication Date:: 2019-06-01

NSF-PAR ID:: 10129745

Journal Name:: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Page Range or eLocation-ID:: 775 to 787

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Publisher's Version of Record
https://doi.org/10.1145/3314221.3314641