User-guided program reasoning using Bayesian inference
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 11, 2018
- Source ID
- 10.1145/3192366.3192417
Entities
People
- Kihong Heo
- Mayur Naik
- Mukund Raghothaman
- Sulekha Kulkarni
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of Pennsylvania