{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:51:40Z","timestamp":1760586700365},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2013,12]]},"abstract":"<jats:p> This article shows a novel program analysis framework based on Lewis' theory of counterfactuals. Using this framework we are capable of performing change-impact static analysis on a program's source code. In other words, we are able to prove the properties induced by changes to a given program before applying these changes. Our contribution is two-fold; we show how to use Lewis' logic of counterfactuals to prove that proposed changes to a program preserve its correctness. We report the development of an automated tool based on resolution and theorem proving for performing code change-impact analysis. <\/jats:p>","DOI":"10.1142\/s0218194013500460","type":"journal-article","created":{"date-parts":[[2014,4,30]],"date-time":"2014-04-30T09:36:14Z","timestamp":1398850574000},"page":"1459-1486","source":"Crossref","is-referenced-by-count":1,"title":["CODE-CHANGE IMPACT ANALYSIS USING COUNTERFACTUALS: THEORY AND IMPLEMENTATION"],"prefix":"10.1142","volume":"23","author":[{"given":"MANUEL","family":"PERALTA","sequence":"first","affiliation":[{"name":"Computer Science and Engineering Division, Louisiana State University, Baton Rouge, LA 70803, USA"}]},{"given":"SUPRATIK","family":"MUKHOPADHYAY","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Division, Louisiana State University, Baton Rouge, LA 70803, USA"}]}],"member":"219","published-online":{"date-parts":[[2014,4,30]]},"reference":[{"key":"rf3","volume-title":"Software Testing Techniques","author":"Beizer B.","year":"1990"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1145\/1352582.1352588"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90067-6"},{"key":"rf9","unstructured":"D.\u00a0Gries, The Science of Programming (Springer, 1987)\u00a0pp. 108\u2013113."},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0202-0"},{"key":"rf12","unstructured":"D. K.\u00a0Lewis, Counterfactuals, 2nd edn. (Wiley-Blackwell, 2001)\u00a0pp. 118\u2013143."},{"key":"rf14","unstructured":"B.\u00a0Nebel, Belief Revision and Default Reasoning: Syntax-Based Approaches (Morgan Kaufmann, 1991)\u00a0pp. 417\u2013428."},{"key":"rf15","volume-title":"Causality: Models, Reasoning, and Inference","author":"Pearl J.","year":"2000"},{"key":"rf21","unstructured":"A.\u00a0Schrijver, Theory of Linear and Integer Programming (Wiley, 1998)\u00a0pp. 155\u2013156."},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90021-9"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1086\/289033"},{"key":"rf24","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"Sterling L.","year":"1994"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194013500460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:50:55Z","timestamp":1565196655000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194013500460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":12,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2014,4,30]]},"published-print":{"date-parts":[[2013,12]]}},"alternative-id":["10.1142\/S0218194013500460"],"URL":"https:\/\/doi.org\/10.1142\/s0218194013500460","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12]]}}}