{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T05:30:29Z","timestamp":1725946229108},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747262"},{"type":"electronic","value":"9783319747279"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-74727-9_12","type":"book-chapter","created":{"date-parts":[[2018,1,25]],"date-time":"2018-01-25T13:12:11Z","timestamp":1516885931000},"page":"99-108","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics"],"prefix":"10.1007","author":[{"given":"Bohuslav","family":"K\u0159ena","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hana","family":"Pluh\u00e1\u010dkov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,26]]},"reference":[{"key":"12_CR1","unstructured":"Avros, R., Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Pluh\u00e1\u010dkov\u00e1, H., Ur, S., Vojnar, T., Volkovich, Z.: Boosted decision trees for behaviour mining of concurrent programs. In: Proceeding of MEMICS 2014. NOVPRESS (2014)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Avros, R., Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Pluh\u00e1\u010dkov\u00e1, H., Ur, S., Vojnar, T., Volkovich, Z.: Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Extended version of [1], under submission, 2017","DOI":"10.1002\/cpe.4268"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11678779_15","volume-title":"Hardware and software, verification and testing","author":"S Bensalem","year":"2006","unstructured":"Bensalem, S., Havelund, K.: Dynamic deadlock analysis of multi-threaded programs. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol. 3875, pp. 208\u2013223. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11678779_15"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Bron, A., Farchi, E., Magid, Y., Nir, Y., Ur, S.: Applications of synchronization coverage. In: Proceeding of PPoPP 2005. ACM Press (2005)","DOI":"10.1145\/1065944.1065972"},{"key":"12_CR5","unstructured":"Ciancarini, P., Poggi, F., Rossi, D., Sillitti, A.: Mining concurrency bugs. Embed. Multi-Core Syst. Mixed Criticality Summit, CPS Week (2016). http:\/\/www.artemis-emc2.eu\/fileadmin\/user_upload\/Publications\/2016_EMC2_Summit_Wien\/15RCiancariniPoggiRossiSillittiConcurrencyBugs.pdf"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O Edelstein","year":"2002","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java Program Test Generation. IBM Syst. J. 41, 111\u2013125 (2002)","journal-title":"IBM Syst. J."},{"issue":"35","key":"12_CR7","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O Edelstein","year":"2003","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multi-threaded Java programs. Concurrency Comput.: Pract. Experience 15(35), 485\u2013499 (2003)","journal-title":"Concurrency Comput.: Pract. Experience"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: a race and transaction-aware Java runtime. In: Proceeding of PLDI 2007. ACM Press (2007)","DOI":"10.1145\/1250734.1250762"},{"issue":"3","key":"12_CR9","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1002\/stvr.1546","volume":"25","author":"J Fiedor","year":"2015","unstructured":"Fiedor, J., Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Ur, S., Vojnar, T.: Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25(3), 272\u2013309 (2015)","journal-title":"Softw. Test. Verification Reliab."},{"key":"12_CR10","series-title":"Springer Series in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-84858-7","volume-title":"The Elements of Statistical Learning","author":"T Hastie","year":"2009","unstructured":"Hastie, T., Tibshirani, R., Friedman, J.: The Elements of Statistical Learning. SSS. Springer, New York (2009). https:\/\/doi.org\/10.1007\/978-0-387-84858-7"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-33119-0_12","volume-title":"Search Based Software Engineering","author":"V Hrub\u00e1","year":"2012","unstructured":"Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Ur, S., Vojnar, T.: Testing of concurrent programs using genetic algorithms. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol. 7515, pp. 152\u2013167. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33119-0_12"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-09940-8_8","volume-title":"Search-Based Software Engineering","author":"V Hrub\u00e1","year":"2014","unstructured":"Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Pluh\u00e1\u010dkov\u00e1, H., Vojnar, T.: Multi-objective genetic optimization for noise-based testing of concurrent software. In: Le Goues, C., Yoo, S. (eds.) SSBSE 2014. LNCS, vol. 8636, pp. 107\u2013122. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09940-8_8"},{"issue":"4","key":"12_CR13","first-page":"1095","volume":"30","author":"G-H Hwang","year":"2014","unstructured":"Hwang, G.-H., Lin, H.-Y., Lin, S.-Y., Lin, C.-S.: Statement-coverage testing for concurrent programs in reachability testing. J. Inf. Sci. Eng. 30(4), 1095\u20131113 (2014)","journal-title":"J. Inf. Sci. Eng."},{"key":"12_CR14","series-title":"Springer Texts in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7138-7","volume-title":"An Introduction to Statistical Learning","author":"G James","year":"2013","unstructured":"James, G., Witten, D., Hastie, T., Tibshirani, R.: An Introduction to Statistical Learning. STS, vol. 103. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-1-4614-7138-7"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-29860-8_14","volume-title":"Runtime Verification","author":"B K\u0159ena","year":"2012","unstructured":"K\u0159ena, B., Letko, Z., Vojnar, T.: Coverage metrics for saturation-based and search-based testing of concurrent software. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 177\u2013192. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_14"},{"issue":"4","key":"12_CR16","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1080\/03081079.2012.757437","volume":"42","author":"B K\u0159ena","year":"2013","unstructured":"K\u0159ena, B., Vojnar, T.: Automated formal analysis and verification: an overview. Int. J. Gen. Syst. 42(4), 335\u2013365 (2013). Taylor and Francis","journal-title":"Int. J. Gen. Syst."},{"key":"12_CR17","unstructured":"Kwanghue, J., Amarmend, D., Geunseok, Y., Jung-Won, L., Byungjeong, L.: Bug severity prediction by classifying normal bugs with text and meta-field information. Adv. Sci. Technol. Lett. 129 (2016). Mechanical Engineering"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: detecting atomicity violations via access interleaving invariants. In: Proceeding of ASPLOS 2006. ACM press (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multi-threaded programs. In: Proceeding of SOSP 1997. ACM press (1997)","DOI":"10.1145\/268998.266641"},{"issue":"1","key":"12_CR20","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1111\/j.2517-6161.1996.tb02080.x","volume":"58","author":"R Tibshirani","year":"1996","unstructured":"Tibshirani, R.: Regression shrinkage and selection via the lasso. J. Roy. Stat. Soc. Ser. B 58(1), 267\u2013288 (1996)","journal-title":"J. Roy. Stat. Soc. Ser. B"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Trainin, E., Nir-Buchbinder, Y., Tzoref-Brill, R., Zlotnick, A., Ur, S., Farchi, E.: Forcing small models of conditions on program interleaving for detection of concurrent bugs. In: Proceeding of PADTAD 2009. ACM Press (2009)","DOI":"10.1145\/1639622.1639629"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Yu, J., Narayanasamy, S., Pereira, C., Pokam, G.: Maple: a coverage-driven testing tool for multithreaded programs. In: Proceeding of OOPSLA 2012. ACM Press (2012)","DOI":"10.1145\/2384616.2384651"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74727-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T18:56:36Z","timestamp":1719773796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74727-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747262","9783319747279"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74727-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}