iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/conf/tacas/NguyenWKF17.xml
ThanhVu Nguyen Westley Weimer Deepak Kapur Stephanie Forrest Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. 301-318 2017 TACAS (1) https://doi.org/10.1007/978-3-662-54577-5_17 conf/tacas/2017-1 db/conf/tacas/tacas2017-1.html#NguyenWKF17