{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:35:19Z","timestamp":1743086119245,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_30","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"388-393","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Pastore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"30_CR1","unstructured":"ABB: Power and automation company (2016). http:\/\/www.abb.com\/"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Babenko, A., Mariani, L., Pastore, F.: AVA: automated interpretation of dynamically detected anomalies. In: ISSTA. ACM (2009)","DOI":"10.1145\/1572272.1572300"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvrinen, A.E.J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautsching, M.: Pincette - validating changes and upgrades in networked software. In: CSMR - EU Projects Track. IEEE (2013)","DOI":"10.1109\/CSMR.2013.72"},{"issue":"2","key":"30_CR4","first-page":"99","volume":"27","author":"MD Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. TSE 27(2), 99\u2013123 (2001)","journal-title":"TSE"},{"key":"30_CR5","unstructured":"FSF: GDB debugger (2016). http:\/\/sources.redhat.com\/gdb\/"},{"key":"30_CR6","unstructured":"IAI: Israel aerospace industry (2016). http:\/\/www.iai.co.il"},{"key":"30_CR7","unstructured":"Intel: Pin - a dynamic binary instrumentation tool (2016). https:\/\/software.intel.com\/en-us\/articles\/pintool"},{"key":"30_CR8","unstructured":"Jenkis: Continuous integration server (2016). https:\/\/jenkins-ci.org\/"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: ICSE. IEEE (2008)","DOI":"10.1145\/1368088.1368157"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Mariani, L., Pastore, F.: Automated identification of failure causes in system logs. In: ISSRE. IEEE (2008)","DOI":"10.1109\/ISSRE.2008.48"},{"issue":"4","key":"30_CR11","first-page":"486","volume":"37","author":"L Mariani","year":"2011","unstructured":"Mariani, L., Pastore, F., Pezz\u00e8, M.: Dynamic analysis for diagnosing integration faults. IEEE TSE 37(4), 486\u2013508 (2011)","journal-title":"IEEE TSE"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Pastore, F., Mariani, L.: AVA: supporting debugging with failure interpretations. In: ICST - Tool Demo Track. IEEE (2013)","DOI":"10.1109\/ICST.2013.58"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Pastore, F., Mariani, L., Goffi, A.: Radar: a tool for debugging regression problems in C\/C++ software. In: ICSE - Tool Demo Track. IEEE (2013)","DOI":"10.1109\/ICSE.2013.6606711"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Pastore, F., Mariani, L., Goffi, A., Oriol, M., Wahler, M.: Dynamic analysis of upgrades in C\/C++ software. In: ISSRE. IEEE (2012)","DOI":"10.1109\/ISSRE.2012.9"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Pastore, F., Mariani, L., Hyv\u00e4rinen, A.E.J., Fedyukovich, G., Sharygina, N., Sehestedt, S., Muhammad, A.: Verification-aided regression testing. In: ISSTA. ACM (2014)","DOI":"10.1145\/2610384.2610387"},{"issue":"2","key":"30_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/248233.248262","volume":"6","author":"G Rothermel","year":"1997","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM TOSEM 6(2), 173\u2013210 (1997)","journal-title":"ACM TOSEM"},{"key":"30_CR17","unstructured":"VTT: Research center (2016). http:\/\/www.vtt.fi\/"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Yu, K., Lin, M., Chen, J., Zhang, X.: Practical isolation of failure-inducing changes for debugging regression faults. In: ASE. IEEE (2012)","DOI":"10.1145\/2351676.2351681"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"Zuddas, D., Jin, W., Pastore, F., Mariani, L., Orso, A.: Mimic: locating and understanding bugs by analyzing mimicked executions. In: ASE. ACM (2014)","DOI":"10.1145\/2642937.2643014"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:08:33Z","timestamp":1568434113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}