skip to main content


Title: Learning stateful preconditions modulo a test generator
Award ID(s):
1816615 1564274 1513939
NSF-PAR ID:
10129745
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Page Range / eLocation ID:
775 to 787
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found