Learning stateful preconditions modulo a test generator
- NSF-PAR ID:
- 10129745
- 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