{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,19]],"date-time":"2024-05-19T09:40:05Z","timestamp":1716111605924},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,11,10]],"date-time":"2013-11-10T00:00:00Z","timestamp":1384041600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11334-013-0213-z","type":"journal-article","created":{"date-parts":[[2013,11,9]],"date-time":"2013-11-09T01:20:07Z","timestamp":1383960007000},"page":"257-269","source":"Crossref","is-referenced-by-count":2,"title":["Maintaining the health of software monitors"],"prefix":"10.1007","volume":"9","author":[{"given":"Suzette","family":"Person","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neha","family":"Rungta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,10]]},"reference":[{"key":"213_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s11219-005-6214-x","volume":"13","author":"ZA Al-Khanjari","year":"2005","unstructured":"Al-Khanjari ZA, Woodward MR, Ramadhan HA, Kutti NS (2005) The efficiency of critical slicing in fault localization. Softw Qual Control 13:129\u2013153","journal-title":"Softw Qual Control"},{"issue":"1","key":"213_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10515-006-0002-0","volume":"14","author":"T Apiwattanapong","year":"2007","unstructured":"Apiwattanapong T, Orso A, Harrold MJ (2007) Jdiff: a differencing technique and tool for object-oriented programs. Autom Softw Eng 14(1):3\u201336","journal-title":"Autom Softw Eng"},{"key":"213_CR3","unstructured":"Arnold RS, Bohner SA (1993) Impact analysis-towards a framework for comparison. In: Proceedings of the conference on software maintenance, ICSM \u201993, pp 292\u2013301"},{"key":"213_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1:11\u201333","journal-title":"IEEE Trans Dependable Secur Comput"},{"key":"213_CR5","doi-asserted-by":"crossref","unstructured":"Backes, J, Person, S, Rungta, N, Tkachuk, O (2013) Regression verification using impact summaries. In: International SPIN symposium on model checking of software, Stony Brook, NY, USA, 8\u20139 July 2013","DOI":"10.1007\/978-3-642-39176-7_7"},{"key":"213_CR6","unstructured":"Binkley D (1999) The application of program slicing to regression testing. In: Information and software technology special issue on program slicing, pp 583\u2013594"},{"key":"213_CR7","unstructured":"Buse RP, Weimer WR (2010) Automatically documenting program changes. In: Proceedings of the IEEE\/ACM international conference on automated software engineering, ASE \u201910. ACM, New York, NY, USA, pp 33\u201342"},{"key":"213_CR8","unstructured":"Choco: Main-page Choco (2010) http:\/\/www.emn.fr\/z-info\/choco-solver\/"},{"key":"213_CR9","doi-asserted-by":"crossref","unstructured":"Clarke LA (1976) A program testing system. In: Proceedings of the 1976 annual conference, ACM \u201976, pp 488\u2013491","DOI":"10.1145\/800191.805647"},{"key":"213_CR10","unstructured":"CVC3: CVC3 page (2010) http:\/\/www.cs.nyu.edu\/acsys\/cvc3"},{"key":"213_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511811357","volume-title":"Modeling and reasoning with Bayesian networks","author":"A Darwiche","year":"2009","unstructured":"Darwiche A (2009) Modeling and reasoning with Bayesian networks. Cambridge University Press, Cambridge"},{"key":"213_CR12","doi-asserted-by":"crossref","unstructured":"Dubey A, Karsai G, Mahadevan N (2011) Model-based software health management for real-time systems. In: 2011 IEEE aerospace conference, pp 1\u201318","DOI":"10.1109\/AERO.2011.5747559"},{"key":"213_CR13","unstructured":"Godefroid P, Lahiri SK, Rubio-Gonzalez C (2010) Incremental compositional dynamic test generation. Tech Rep MSR-TR-2010-11, Microsoft Research"},{"key":"213_CR14","doi-asserted-by":"crossref","unstructured":"Gupta R, Jean M, Harrold MJ, Soffa ML (1992) An approach to regression testing using slicing. In: ICSM, pp 299\u2013308","DOI":"10.1109\/ICSM.1992.242531"},{"key":"213_CR15","doi-asserted-by":"crossref","unstructured":"Harrold MJ, Jones JA, Li T, Liang D, Orso A, Pennings M, Sinha S, Spoon SA, Gujarathi A (2001) Regression test selection for java software. In: OOPSLA, pp 312\u2013326","DOI":"10.1145\/504282.504305"},{"key":"213_CR16","unstructured":"IASolver: IASolver page (2010) http:\/\/www.cs.brandeis.edu\/tim\/Applets\/IAsolver.html"},{"key":"213_CR17","doi-asserted-by":"crossref","unstructured":"Jin W, Orso A, Xie T (2010) Automated behavioral regression testing. In: ICST, pp 137\u2013146","DOI":"10.1109\/ICST.2010.64"},{"key":"213_CR18","doi-asserted-by":"crossref","unstructured":"Joshi A, Heimdahl M (2005) Model-based safety analysis of Simulink models using SCADE design verifier. In: SAFECOMP, LNCS, vol 3688, pp 122\u2013135","DOI":"10.1007\/11563228_10"},{"issue":"7","key":"213_CR19","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King JC (1976) Symbolic execution and program testing. Commun ACM 19(7):385\u2013394","journal-title":"Commun ACM"},{"key":"213_CR20","doi-asserted-by":"crossref","unstructured":"Law J, Rothermel G (2003) Incremental dynamic impact analysis for evolving software systems. In: Proceedings of the 14th international symposium on software reliability engineering, ISSRE \u201903, pp 430\u2013439","DOI":"10.1109\/ISSRE.2003.1251064"},{"key":"213_CR21","doi-asserted-by":"crossref","unstructured":"Law J, Rothermel G (2003) Whole program path-based dynamic impact analysis. In: ICSE \u201903: proceedings of the 25th international conference on software engineering. IEEE Computer Society, Washington, DC, USA, pp 308\u2013318","DOI":"10.1109\/ICSE.2003.1201210"},{"issue":"5","key":"213_CR22","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1109\/TSMCA.2008.2001055","volume":"38","author":"J Luo","year":"2008","unstructured":"Luo J, Pattipati KR, Qiao L, Chigusa S (2008) Model-based prognostic techniques applied to a suspension system. IEEE Trans Syst Man Cybern Part A 38(5):1156\u20131168","journal-title":"IEEE Trans Syst Man Cybern Part A"},{"key":"213_CR23","doi-asserted-by":"crossref","unstructured":"Orso A, Apiwattanapong T, Harrold MJ (2003) Leveraging field data for impact analysis and regression testing. In: Proceedings of the ESEC\/FSE-11, pp 128\u2013137","DOI":"10.1145\/940071.940089"},{"key":"213_CR24","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu C, Rungta N (2010) Symbolic PathFinder: symbolic execution of Java bytecode. In: ASE, pp 179\u2013180","DOI":"10.1145\/1858996.1859035"},{"key":"213_CR25","volume-title":"Probabilistic reasoning in intelligent systems: networks of plausible inference","author":"J Pearl","year":"1988","unstructured":"Pearl J (1988) Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmann, San Mateo"},{"key":"213_CR26","unstructured":"Pecheur C, Cimatti A, Cimatti R (2003) Formal verification of diagnosability via symbolic model checking. In: Proceedings of the 18th international joint conference on artificial intelligence IJCAI03, pp 363\u2013369"},{"key":"213_CR27","doi-asserted-by":"crossref","unstructured":"Person S, Dwyer MB, Elbaum S, P\u01ces\u01cereanu CS (2008) Differential symbolic execution. In: FSE, pp 226\u2013237","DOI":"10.1145\/1453101.1453131"},{"key":"213_CR28","doi-asserted-by":"crossref","unstructured":"Person S, Yang G, Rungta N, Khurshid S (2011) Directed incremental symbolic execution. In: Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, PLDI \u201911. ACM, New York, NY, USA, pp 504\u2013515","DOI":"10.1145\/1993498.1993558"},{"key":"213_CR29","doi-asserted-by":"crossref","unstructured":"Pike L, Niller S, Wegmann N (2011) Runtime verification for ultra-critical systems. In: Proceedings of the 2nd international conference on runtime verification, LNCS. Springer, Berlin","DOI":"10.1007\/978-3-642-29860-8_23"},{"key":"213_CR30","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu CS, Mehlitz PC, Bushnell DH, Gundy-Burlet K, Lowry M, Person S, Pape M (2008) Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In: ISSTA, pp 15\u201325","DOI":"10.1145\/1390630.1390635"},{"key":"213_CR31","doi-asserted-by":"crossref","unstructured":"Qi D, Roychoudhury A, Liang Z (2010) Test generation to expose changes in evolving programs. In: ASE, pp 397\u2013406","DOI":"10.1145\/1858996.1859083"},{"key":"213_CR32","doi-asserted-by":"crossref","unstructured":"Raghavan S, Rohana R, Leon D, Podgurski A, Augustine V (2004) Dex: a semantic-graph differencing tool for studying changes in large code bases. In: ICSM, pp 188\u2013197","DOI":"10.1109\/ICSM.2004.1357803"},{"key":"213_CR33","doi-asserted-by":"crossref","unstructured":"Ren X, Ryder BG, Stoerzer M, Tip F (2005) Chianti: a change impact analysis tool for Java programs. In: ICSE, pp 664\u2013665","DOI":"10.1145\/1062455.1062598"},{"key":"213_CR34","doi-asserted-by":"crossref","unstructured":"Rungta N, Person S, Branchaud J (2012) A change impact analysis to characterize evolving program behaviors. In: ICSM","DOI":"10.1109\/ICSM.2012.6405261"},{"key":"213_CR35","unstructured":"SAE-ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. SAE International (1996)"},{"key":"213_CR36","doi-asserted-by":"crossref","unstructured":"Santelices R, Chittimalli PK, Apiwattanapong T, Orso A, Harrold M (2008) Test-suite augmentation for evolving software. In: ASE, pp 218\u2013227","DOI":"10.1109\/ASE.2008.32"},{"key":"213_CR37","doi-asserted-by":"crossref","unstructured":"Schumann J, Bajwa A, Berg P, Thirumalainambi R (2010) Parametric testing of launch vehicle FDDR models. In: AIAA SPACE 2010 conference & exposition","DOI":"10.2514\/6.2010-8868"},{"key":"213_CR38","doi-asserted-by":"crossref","unstructured":"Schumann J, Mbaya T, Mengshoel O (2011) Bayesian software health management for aircraft guidance, navigation, and control. In: Proceedings of Conference on Prognostics and Health Management (PHM-2011)","DOI":"10.36001\/phmconf.2011.v3i1.2022"},{"key":"213_CR39","doi-asserted-by":"crossref","unstructured":"Schumann J, Mengshoel O, MBaya T (2011) Integrated software and sensor health management for small spacecraft. In: Proc SMC-IT","DOI":"10.1109\/SMC-IT.2011.25"},{"key":"213_CR40","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-69149-5_54","volume-title":"Regression verification\u2014a practical way to verify programs","author":"O Strichman","year":"2008","unstructured":"Strichman O, Godlin B (2008) Regression verification\u2014a practical way to verify programs. Springer, Berlin"},{"key":"213_CR41","doi-asserted-by":"crossref","unstructured":"Taneja K, Xie T, Tillmann N, de Halleux J (2011) Express: guided path exploration for efficient regression test generation. In: Proceedings of the ISSTA, pp 1\u201311","DOI":"10.1145\/2001420.2001422"},{"key":"213_CR42","doi-asserted-by":"crossref","unstructured":"Taneja K, Xie T, Tillmann N, de Halleux J, Schulte W (2009) Guided path exploration for regression test generation. In: ICSE, new ideas and emerging results, pp 311\u2013314","DOI":"10.1109\/ICSE-COMPANION.2009.5071009"},{"key":"213_CR43","doi-asserted-by":"crossref","unstructured":"Visser W, Geldenhuys J, Dwyer MB (2012) Green: Reducing, reusing and recycling constraints in program analysis. In: ESEC\/FSE \u201912 (to appear)","DOI":"10.1145\/2393596.2393665"},{"issue":"2","key":"213_CR44","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser W, Havelund K, Brat GP, Park S, Lerda F (2003) Model checking programs. Autom Softw Eng 10(2):203\u2013232","journal-title":"Autom Softw Eng"},{"key":"213_CR45","doi-asserted-by":"crossref","unstructured":"Xu Z, Rothermel G (2009) Directed test suite augmentation. In: APSEC, pp 406\u2013413","DOI":"10.1109\/APSEC.2009.29"},{"key":"213_CR46","unstructured":"Yang G, Dwyer MB, Rothermel G (2009) Regression model checking. In: ICSM, pp 115\u2013124"},{"key":"213_CR47","doi-asserted-by":"crossref","unstructured":"Yang G, P\u0103s\u0103reanu CS, Khurshid S (2012) Memoized symbolic execution. In: ISSTA, pp 144\u2013154","DOI":"10.1145\/2338965.2336771"},{"key":"213_CR48","unstructured":"Yin Z, Yuan D, Zhou Y, Pasupathy S, Bairavasundaram L (2011) How do fixes become bugs? In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, ESEC\/FSE \u201911. ACM, New York, NY, USA, pp 26\u201336"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0213-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-013-0213-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-013-0213-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,19]],"date-time":"2024-05-19T09:26:13Z","timestamp":1716110773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-013-0213-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,10]]},"references-count":48,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["213"],"URL":"https:\/\/doi.org\/10.1007\/s11334-013-0213-z","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,10]]}}}