Fingerprint
Dive into the research topics of 'Connecting program synthesis and reachability: Automatic program repair using test-input generation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Connecting program synthesis and reachability: Automatic program repair using test-input generation
Thanh Vu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
11
Scopus
citations