{"file_date_updated":"2020-07-14T12:45:19Z","date_created":"2018-12-11T11:54:29Z","editor":[{"full_name":"Müller-Olm, Markus","first_name":"Markus","last_name":"Müller-Olm"},{"last_name":"Seidl","full_name":"Seidl, Helmut","first_name":"Helmut"}],"status":"public","citation":{"mla":"Samanta, Roopsha, et al. <i>Cost-Aware Automatic Program Repair</i>. Edited by Markus Müller-Olm and Helmut Seidl, vol. 8723, Springer, 2014, pp. 268–84, doi:<a href=\"https://doi.org/10.1007/978-3-319-10936-7_17\">10.1007/978-3-319-10936-7_17</a>.","ista":"Samanta R, Olivo O, Allen E. 2014. Cost-aware automatic program repair. SAS: Static Analysis Symposium, LNCS, vol. 8723, 268–284.","ieee":"R. Samanta, O. Olivo, and E. Allen, “Cost-aware automatic program repair,” presented at the SAS: Static Analysis Symposium, Munich, Germany, 2014, vol. 8723, pp. 268–284.","apa":"Samanta, R., Olivo, O., &#38; Allen, E. (2014). Cost-aware automatic program repair. In M. Müller-Olm &#38; H. Seidl (Eds.) (Vol. 8723, pp. 268–284). Presented at the SAS: Static Analysis Symposium, Munich, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-319-10936-7_17\">https://doi.org/10.1007/978-3-319-10936-7_17</a>","ama":"Samanta R, Olivo O, Allen E. Cost-aware automatic program repair. In: Müller-Olm M, Seidl H, eds. Vol 8723. Springer; 2014:268-284. doi:<a href=\"https://doi.org/10.1007/978-3-319-10936-7_17\">10.1007/978-3-319-10936-7_17</a>","short":"R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.","chicago":"Samanta, Roopsha, Oswaldo Olivo, and Emerson Allen. “Cost-Aware Automatic Program Repair.” edited by Markus Müller-Olm and Helmut Seidl, 8723:268–84. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10936-7_17\">https://doi.org/10.1007/978-3-319-10936-7_17</a>."},"day":"01","year":"2014","publication_status":"published","oa":1,"quality_controlled":"1","abstract":[{"text":"We present a formal framework for repairing infinite-state, imperative, sequential programs, with (possibly recursive) procedures and multiple assertions; the framework can generate repaired programs by modifying the original erroneous program in multiple program locations, and can ensure the readability of the repaired program using user-defined expression templates; the framework also generates a set of inductive assertions that serve as a proof of correctness of the repaired program. As a step toward integrating programmer intent and intuition in automated program repair, we present a cost-aware formulation - given a cost function associated with permissible statement modifications, the goal is to ensure that the total program modification cost does not exceed a given repair budget. As part of our predicate abstractionbased solution framework, we present a sound and complete algorithm for repair of Boolean programs. We have developed a prototype tool based on SMT solving and used it successfully to repair diverse errors in benchmark C programs.","lang":"eng"}],"has_accepted_license":"1","date_updated":"2021-01-12T06:53:46Z","language":[{"iso":"eng"}],"publisher":"Springer","intvolume":"      8723","scopus_import":1,"author":[{"first_name":"Roopsha","full_name":"Samanta, Roopsha","id":"3D2AAC08-F248-11E8-B48F-1D18A9856A87","last_name":"Samanta"},{"last_name":"Olivo","full_name":"Olivo, Oswaldo","first_name":"Oswaldo"},{"last_name":"Allen","first_name":"Emerson","full_name":"Allen, Emerson"}],"alternative_title":["LNCS"],"_id":"1875","doi":"10.1007/978-3-319-10936-7_17","ddc":["000","005"],"conference":{"location":"Munich, Germany","start_date":"2014-09-11","name":"SAS: Static Analysis Symposium","end_date":"2014-09-14"},"department":[{"_id":"ToHe"}],"type":"conference","date_published":"2014-09-01T00:00:00Z","pubrep_id":"313","title":"Cost-aware automatic program repair","publist_id":"5221","volume":8723,"oa_version":"Submitted Version","page":"268 - 284","file":[{"access_level":"open_access","content_type":"application/pdf","date_created":"2018-12-12T10:07:51Z","relation":"main_file","checksum":"78ec4ea1bdecc676cd3e8cad35c6182c","date_updated":"2020-07-14T12:45:19Z","file_name":"IST-2014-313-v1+1_SOE.SAS14.pdf","file_size":409485,"creator":"system","file_id":"4650"}],"month":"09","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87"}