{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T16:55:28Z","timestamp":1756572928632,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319694580"},{"type":"electronic","value":"9783319694597"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69459-7_7","type":"book-chapter","created":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T04:19:29Z","timestamp":1508473169000},"page":"99-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the Verification of Software Vulnerabilities During Static Code Analysis Using Data Mining Techniques"],"prefix":"10.1007","author":[{"given":"Foteini","family":"Cheirdari","sequence":"first","affiliation":[]},{"given":"George","family":"Karabatis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,21]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-319-19249-9_35","volume-title":"FM 2015: Formal Methods","author":"B Chimdyalwar","year":"2015","unstructured":"Chimdyalwar, B., Darke, P., Chavda, A., Vaghani, S., Chauhan, A.: Eliminating static analysis false positives using loop abstraction and bounded model checking. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 573\u2013576. Springer, Cham (2015). doi:10.1007\/978-3-319-19249-9_35"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-45293-2_6","volume-title":"Advanced Parallel Processing Technologies","author":"C Chen","year":"2013","unstructured":"Chen, C., Lu, K., Wang, X., Zhou, X., Fang, L.: Pruning false positives of static data-race detection via thread specialization. In: Wu, C., Cohen, A. (eds.) APPT 2013. LNCS, vol. 8299, pp. 77\u201390. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-45293-2_6"},{"key":"7_CR3","unstructured":"Common Weakness Enumeration. https:\/\/cwe.mitre.org\/"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Post, H., Sinz, C., Kaiser, A., Gorges, T.: Reducing false positives by combining abstract interpretation and bounded model checking. In: IEEE (2008)","DOI":"10.1109\/ASE.2008.29"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Medeiros, I., Neves, N., Correia, M.: Detecting and removing web application vulnerabilities with static analysis and data mining. In: IEEE (2016)","DOI":"10.1109\/TR.2015.2457411"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Gondra, I.: Applying machine learning to software fault-proneness prediction. In: JSS (2007)","DOI":"10.1016\/j.jss.2007.05.035"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Yoon, J., Jin, M., Jung, Y.: Reducing false alarms from an industrial strength static analyzer by SVM. In: APSEC (2014)","DOI":"10.1109\/APSEC.2014.81"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Ruthruff, J.R., Penix, J., Morgenthaler, J.D., Elbaum, S., Rothermel, G.: Predicting accurate and actionable static analysis warnings: an experimental approach. In: ACM (2008)","DOI":"10.1145\/1368088.1368135"},{"key":"7_CR9","unstructured":"KD nuggets, Precision and Recall Calculation. http:\/\/www.kdnuggets.com\/faq\/precision-recall.html"},{"issue":"2\u20133","key":"7_CR10","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/j.ipl.2006.11.004","volume":"102","author":"K Yi","year":"2007","unstructured":"Yi, K., Choi, H., Kim, J., Kim, Y.: An empirical study on classification methods for alarms from a bug-finding static C analyzer. Inf. Process. Lett. 102(2\u20133), 118\u2013123 (2007)","journal-title":"Inf. Process. Lett."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Hanam, Q., Tan, L., Holmes, R., Lam, P.: Finding patterns in static analysis alerts: improving actionable alert ranking. In: MSR (2014)","DOI":"10.1145\/2597073.2597100"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Heckman, S., Williams, L.: A model building process for identifying static analysis alerts. In: IEEE (2009)","DOI":"10.1109\/ICST.2009.45"},{"key":"7_CR13","unstructured":"Heckman, S., Williams, L.: Automated ranking and filtering of static analysis alerts. In: IEEE (2006)"},{"key":"7_CR14","unstructured":"SCIKIT, Stochastic Gradient Descent. http:\/\/scikit-learn.org\/stable\/modules\/sgd.html"},{"key":"7_CR15","unstructured":"Springer Link, F Measure. https:\/\/link.springer.com\/referenceworkentry\/10.1007\/978-0-387-39940-9_483"},{"key":"7_CR16","unstructured":"Stat Trek, Statistics and Probability Dictionary. http:\/\/stattrek.com\/statistics\/dictionary.aspx?definition=Stratified_sampling"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Kim, S., Ernst, M.D.: Prioritizing warning categories by analyzing software history. In: IEEE Xplore (2007)","DOI":"10.1109\/MSR.2007.26"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Kim, S., Ernst, M.D.: Which warnings should I fix first? In: ACM SIGSOFT (2007)","DOI":"10.1145\/1287624.1287633"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-44898-5_16","volume-title":"Static Analysis","author":"T Kremenek","year":"2003","unstructured":"Kremenek, T., Engler, D.: Z-ranking: using statistical analysis to counter the impact of static analysis approximations. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 295\u2013315. Springer, Heidelberg (2003). doi:10.1007\/3-540-44898-5_16"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Muske, T.B., Baid, A., Sanas, T.: Review efforts reduction by partitioning of static analysis warnings. In: 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) (2013)","DOI":"10.1109\/SCAM.2013.6648191"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Muske, T.: Improving review of clustered-code analysis warnings. In: 2014 IEEE International Conference on Software Maintenance and Evolution (2014)","DOI":"10.1109\/ICSME.2014.97"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Muske, T., Serebrenik, A.: Survey of approaches for handling static analysis alarms. In: SCAM (2016)","DOI":"10.1109\/SCAM.2016.25"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Yuksel, U., Sozer, H.: Automated classification of static code analysis alerts: a case study. In: ICSM (2013)","DOI":"10.1109\/ICSM.2013.89"},{"key":"7_CR24","unstructured":"UFLDL Tutorial, Optimization: Stochastic Gradient Descent. http:\/\/ufldl.stanford.edu\/tutorial\/supervised\/OptimizationStochasticGradientDescent\/"},{"key":"7_CR25","unstructured":"Weka 3: Data Mining Software in Java. http:\/\/www.cs.waikato.ac.nz\/ml\/weka\/"},{"key":"7_CR26","unstructured":"WEKA. weka.sourceforge.net\/doc.dev\/weka\/classifiers\/functions\/SGD.html"},{"key":"7_CR27","unstructured":"WIKIPEDIA, Stochastic Gradient Descent. https:\/\/en.wikipedia.org\/wiki\/Stochastic_gradient_descent"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Lee, W., Lee, W., Yi, K.: Sound non-statistical clustering od static analysis alarms. In: VMCAI (2012)","DOI":"10.1007\/978-3-642-27940-9_20"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Kim, Y., Lee, J., Han, H., Choe, K.-M.: Filtering false alarms of buffer overflow analysis using SMT solvers. In: Infosof (2009)","DOI":"10.1016\/j.infsof.2009.10.004"},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/11547662_15","volume-title":"Static Analysis","author":"Y Jung","year":"2005","unstructured":"Jung, Y., Kim, J., Shin, J., Yi, K.: Taming false alarms from a domain-unaware C analyzer by a bayesian statistical post analysis. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol. 3672, pp. 203\u2013217. Springer, Heidelberg (2005). doi:10.1007\/11547662_15"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems. OTM 2017 Conferences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69459-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T13:41:18Z","timestamp":1709818878000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-69459-7_7"}},"subtitle":["(Short Paper)"],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694580","9783319694597"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69459-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"21 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"OTM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"OTM Confederated International Conferences \"On the Move to Meaningful Internet Systems\"","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"otm2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.otmconferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}