Please use this identifier to cite or link to this item:
https://doi.org/10.1145/2393596.2393622
DC Field | Value | |
---|---|---|
dc.title | Software change contracts | |
dc.contributor.author | Qi, D. | |
dc.contributor.author | Yi, J. | |
dc.contributor.author | Roychoudhury, A. | |
dc.date.accessioned | 2013-07-04T08:43:13Z | |
dc.date.available | 2013-07-04T08:43:13Z | |
dc.date.issued | 2012 | |
dc.identifier.citation | Qi, D.,Yi, J.,Roychoudhury, A. (2012). Software change contracts. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2393596.2393622" target="_blank">https://doi.org/10.1145/2393596.2393622</a> | |
dc.identifier.isbn | 9781450316149 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/42095 | |
dc.description.abstract | Incorrect program changes including regression bugs, incorrect bug-fixes, incorrect feature updates are pervasive in software. These incorrect program changes affect software quality and are difficult to detect/correct. In this paper, we propose the notion of "change contracts" to avoid incorrect program changes. Change contracts formally specify the intended effect of program changes. Incorrect program changes are detected when they are checked with respect to the change contracts. We design a change contract language for Java programs and a dynamic checking system for our change contract language. We conduct a preliminary user study to check the expressiveness of our change contract language and find that the language is expressive enough to capture a wide variety of real-life changes in three large software projects (i.e., Ant, JMeter, log4j). Finally, our contract checking system detects several real-life incorrect changes in these three software projects via runtime checking of the change contracts. © 2012 ACM. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1145/2393596.2393622 | |
dc.source | Scopus | |
dc.subject | change contract | |
dc.subject | JML | |
dc.subject | regression testing | |
dc.subject | software evolution | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1145/2393596.2393622 | |
dc.description.sourcetitle | Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.