{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T09:01:54Z","timestamp":1769850114601,"version":"3.49.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319472164","type":"print"},{"value":"9783319472171","type":"electronic"}],"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:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47217-1_4","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T05:00:09Z","timestamp":1474606809000},"page":"30-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Extending Static Code Analysis with Application-Specific Rules by Analyzing Runtime Execution Traces"],"prefix":"10.1007","author":[{"given":"Ersin","family":"Ersoy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"S\u00f6zer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Johnson, B., et al.: Why don\u2019t software developers use static analysis tools to find bugs?. In: Proceedings of the 35th International Conference on Software Engineering, pp. 672\u2013681 (2013)","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Sun, B., et al.: Automated support for propagating bug fixes. In: Proceedings of the 19th International Symposium on Software Reliability Engineering, pp. 187\u2013196 (2008)","DOI":"10.1109\/ISSRE.2008.29"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Sun, B., et al.: Extending static analysis by mining project-specific rules. In: Proceedings of the 34th International Conference on Software Engineering, pp. 1054\u20131063 (2012)","DOI":"10.1109\/ICSE.2012.6227114"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1002\/smr.532","volume":"24","author":"R Chang","year":"2011","unstructured":"Chang, R., Podgurski, A.: Discovering programming rules and violations by mining interprocedural dependences. J. Softw. Mainten. Evol. Res. Pract. 24, 51\u201366 (2011)","journal-title":"J. Softw. Mainten. Evol. Res. Pract."},{"issue":"5","key":"4_CR5","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1109\/TSE.2008.24","volume":"34","author":"R Chang","year":"2008","unstructured":"Chang, R., Podgurski, A., Yang, J.: Discovering neglected conditions in software by mining dependence graphs. IEEE Trans. Softw. Eng. 34(5), 579\u2013596 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR6","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, Boston (1995)"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/TSE.2006.38","volume":"32","author":"J Zheng","year":"2006","unstructured":"Zheng, J., et al.: On the value of static analysis for fault detection in software. IEEE Trans. Softw. Eng. 32(4), 240\u2013253 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1387830.1387833","volume":"28","author":"R Krishnan","year":"2008","unstructured":"Krishnan, R., Nadworny, M., Bharill, N.: Static analysis tools for security checking in code at motorola. ACM SIG Ada Lett. 28(1), 76\u201382 (2008)","journal-title":"ACM SIG Ada Lett."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/1095430.1081754","volume":"30","author":"B Livshits","year":"2005","unstructured":"Livshits, B., Zimmerman, T.: Dynamine: finding common error patterns by mining software revision histories. SIGSOFT Softw. Eng. Not. 30, 296\u2013305 (2005)","journal-title":"SIGSOFT Softw. Eng. Not."},{"issue":"1\u20133","key":"4_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"MD Ernst","year":"2007","unstructured":"Ernst, M.D., et al.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"4_CR11","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MS.2008.130","volume":"25","author":"N Ayewah","year":"2008","unstructured":"Ayewah, N., et al.: Using static analysis to find bugs. IEEE Softw. 25(5), 22\u201329 (2008)","journal-title":"IEEE Softw."},{"issue":"10","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1359","DOI":"10.1002\/spe.2287","volume":"45","author":"H Sozer","year":"2015","unstructured":"Sozer, H.: Integrated static code analysis and runtime verification. Softw. Pract. Exp. 45(10), 1359\u20131373 (2015)","journal-title":"Softw. Pract. Exp."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Xu, W., et al.: Detecting large-scale system problems by mining console logs. In: Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pp. 117\u2013132 (2009)","DOI":"10.1145\/1629575.1629587"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1109\/TSE.2005.63","volume":"31","author":"C Williams","year":"2005","unstructured":"Williams, C., Holingsworth, J.: Automatic mining of source code repositories to improve bug finding techniques. IEEE Trans. Softw. Eng. 31, 466\u2013480 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Yuksel, U., Sozer, H.: Automated classification of static code analysis alerts: a case study. In: Proceedings of the 29th IEEE International Conference on Software Maintenance, pp. 532\u2013535 (2013)","DOI":"10.1109\/ICSM.2013.89"}],"container-title":["Communications in Computer and Information Science","Computer and Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47217-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T07:59:21Z","timestamp":1558511961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47217-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319472164","9783319472171"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47217-1_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISCIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Computer and Information Sciences","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Krakow","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iscis2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}