{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:10:09Z","timestamp":1729674609070,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/icsm.2010.5609755","type":"proceedings-article","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T18:01:44Z","timestamp":1288980104000},"page":"1-2","source":"Crossref","is-referenced-by-count":2,"title":["Certifying software robustness using program slicing"],"prefix":"10.1109","author":[{"given":"Mohammad","family":"Abdallah","sequence":"first","affiliation":[]},{"given":"Malcolm","family":"Munro","sequence":"additional","affiliation":[]},{"given":"Keith","family":"Gallagher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"Impact analysis of database schema changes","author":"andy","year":"2008","journal-title":"Proc of Intl Conference on Software Engineering"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1109\/ICSM.2005.58","article-title":"Locating dependence clusters and dependence pollution","author":"binkley","year":"2005","journal-title":"Proc 20th IEEE Int l Conf Software Maintenance"},{"key":"16","first-page":"315","author":"john","year":"2000","journal-title":"Slicing Software for Model Construction"},{"key":"13","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/S0950-5849(98)00085-8","article-title":"The application of program slicing to regression testing","volume":"40","author":"binkley","year":"1998","journal-title":"Information and Software Technology"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/FOSM.2008.4659249"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/4236.991447"},{"key":"2","first-page":"48","article-title":"Kill that code!","author":"weinberg","year":"1983","journal-title":"Infosystems"},{"journal-title":"IEEE Standard Glossary of Software Engineering Terminology","year":"1990","key":"1"},{"key":"10","article-title":"The ballista software robustness testing service","author":"devale","year":"1999","journal-title":"Testing Computer Software Conference"},{"key":"7","article-title":"Event-driven programming for robust software","author":"frank","year":"2002","journal-title":"Proceedings of the 10th workshop on ACM SIGOPS European workshop"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.1999.769879"},{"key":"5","first-page":"343","author":"laura","year":"2001","journal-title":"Software Fault Tolerance Techniques and Implementation"},{"key":"4","volume":"365","author":"koren","year":"2007","journal-title":"Fault Tolerant Systems"},{"key":"9","article-title":"Data generation techniques for automated software robustness testing","author":"schmid","year":"1999","journal-title":"Proc Int'l Conf Testing Computer Software"},{"journal-title":"Fuzz Revisited A Re-Examination of the Reliability of Unix Utilities and Services","year":"2000","author":"miller","key":"8"}],"event":{"name":"2010 IEEE 26th International Conference on Software Maintenance (ICSM)","start":{"date-parts":[[2010,9,12]]},"location":"Timi oara, Romania","end":{"date-parts":[[2010,9,18]]}},"container-title":["2010 IEEE International Conference on Software Maintenance"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5604771\/5609528\/05609755.pdf?arnumber=5609755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:49:11Z","timestamp":1497872951000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5609755\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icsm.2010.5609755","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}