{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:10:42Z","timestamp":1725797442490},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319099392"},{"type":"electronic","value":"9783319099408"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09940-8_8","type":"book-chapter","created":{"date-parts":[[2014,7,20]],"date-time":"2014-07-20T21:05:10Z","timestamp":1405890310000},"page":"107-122","source":"Crossref","is-referenced-by-count":6,"title":["Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software"],"prefix":"10.1007","author":[{"given":"Vendula","family":"Hrub\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bohuslav","family":"K\u0159ena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zden\u011bk","family":"Letko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hana","family":"Pluh\u00e1\u010dkov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Alba, E., Chicano, F.: Finding Safety Errors with ACO. In: Proc. of GECCO 2007. ACM (2007)","DOI":"10.1145\/1276958.1277171"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Ayewah, N., Pugh, W., Morgenthaler, J.D., Penix, J., Zhou, Y.: Using FindBugs on Production Software. In: Proc. of OOPSLA 2007. ACM (2007)","DOI":"10.1145\/1297846.1297897"},{"key":"8_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.\u00a03875, pp. 208\u2013223. Springer, Heidelberg (2006)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bron, A., Farchi, E., Magid, Y., Nir, Y., Ur, S.: Applications of Synchronization Coverage. In: Proc. of PPoPP 2005. ACM (2005)","DOI":"10.1145\/1065944.1065972"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Chockler, H., Farchi, E., Godlin, B., Novikov, S.: Cross-entropy Based Testing. In: Proc. of FMCAD 2007. IEEE (2007)","DOI":"10.1109\/FAMCAD.2007.19"},{"key":"8_CR6","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Deb, K.: Multi-Objective Optimization Using Evolutionary Algorithms. Wiley paperback series. Wiley (2009)","DOI":"10.1007\/978-3-642-01020-0_13"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for Testing Multi-threaded Java Programs. Concurrency and Computation: Practice and Experience\u00a015(3-5) (2003)","DOI":"10.1002\/cpe.654"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: A Race and Transaction-aware Java Runtime. In: Proc. of PLDI 2007. ACM (2007)","DOI":"10.1145\/1250734.1250762"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: Whole Test Suite Generation. IEEE Transactions on Software Engineering\u00a039(2) (2013)","DOI":"10.1109\/TSE.2012.14"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Khurshid, S.: Exploring Very Large State Spaces Using Genetic Algorithms. International Journal on Software Tools for Technology Transfer\u00a06(2) (2004)","DOI":"10.1007\/s10009-004-0141-1"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Hong, S., Ahn, J., Park, S., Kim, M., Harrold, M.J.: Testing Concurrent Programs to Achieve High Synchronization Coverage. In: Proc. of ISSTA 2012. ACM (2012)","DOI":"10.1145\/2338965.2336779"},{"key":"8_CR13","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., de Teixeira Souza, J. (eds.) SSBSE 2012. LNCS, vol.\u00a07515, pp. 152\u2013167. Springer, Heidelberg (2012)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1007\/3-540-45105-6_116","volume-title":"Genetic and Evolutionary Computation - GECCO 2003","author":"H. Ishibuchi","year":"2003","unstructured":"Ishibuchi, H., Shibata, Y.: A Similarity-based Mating Scheme for Evolutionary Multiobjective Optimization. In: Cant\u00fa-Paz, E., et al. (eds.) GECCO 2003. LNCS, vol.\u00a02723, pp. 1065\u20131076. Springer, Heidelberg (2003)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Jin, Y., Branke, J.: Evolutionary Optimization in Uncertain Environments \u2013 A\u00a0Survey. IEEE Transactions on Evolutionary Computation\u00a09(3) (2005)","DOI":"10.1109\/TEVC.2005.846356"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-04694-0_8","volume-title":"Runtime Verification","author":"B. K\u0159ena","year":"2009","unstructured":"K\u0159ena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T.: A\u00a0Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol.\u00a05779, pp. 101\u2013114. Springer, Heidelberg (2009)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"K\u0159ena, B., Letko, Z., Tzoref, R., Ur, S., Vojnar, T.: Healing Data Races On-the-fly. In: Proc. of PADTAD 2007. ACM (2007)","DOI":"10.1145\/1273647.1273658"},{"key":"8_CR18","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.\u00a07186, pp. 177\u2013192. Springer, Heidelberg (2012)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"K\u0159ena, B., Letko, Z., Vojnar, T., Ur, S.: A Platform for Search-based Testing of Concurrent Software. In: Proc. of PADTAD 2010. ACM (2010)","DOI":"10.1145\/1866210.1866215"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-25929-6_12","volume-title":"Mathematical and Engineering Methods in Computer Science","author":"B. K\u0159ena","year":"2012","unstructured":"K\u0159ena, B., Letko, Z., Vojnar, T.: Noise Injection Heuristics on Concurrency Coverage. In: Kot\u00e1sek, Z., Bouda, J., \u010cern\u00e1, I., Sekanina, L., Vojnar, T., Anto\u0161, D. (eds.) MEMICS 2011. LNCS, vol.\u00a07119, pp. 123\u2013135. Springer, Heidelberg (2012)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In: Proc. of ASPLOS 2006. ACM (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"8_CR22","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and Reproducing Heisenbugs in Concurrent Programs. In: OSDI. USENIX Association (2008)"},{"key":"8_CR23","unstructured":"Peierls, T., Goetz, B., Bloch, J., Bowbeer, J., Lea, D., Holmes, D.: Java Concurrency in Practice. Addison-Wesley Professional (2005)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A\u00a0Dynamic Data Race Detector for Multi-threaded Programs. In: Proc. of SOSP 1997. ACM (1997)","DOI":"10.1145\/265924.265927"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Smith, L.A., Bull, J.M., Obdr\u017e\u00e1lek, J.: A Parallel Java Grande Benchmark Suite. In: Proc. of Supercomputing 2001. ACM (2001)","DOI":"10.1145\/582034.582042"},{"key":"8_CR26","unstructured":"Spillner, A., Linz, T., Schaefer, H.: Software Testing Foundations: A\u00a0Study Guide for the Certified Tester Exam, 3rd edn. Rocky Nook (2011)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Staunton, J., Clark, J.A.: Searching for Safety Violations Using Estimation of Distribution Algorithms. In: Proc. of ICSTW 2010. IEEE (2010)","DOI":"10.1109\/ICSTW.2010.24"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Steenbuck, S., Fraser, G.: Generating Unit Tests for Concurrent Classes. In: ICST 2013. IEEE (2013)","DOI":"10.1109\/ICST.2013.33"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"White, D.: Software Review: The ECJ Toolkit. Genetic Programming and Evolvable Machines\u00a013 (2012)","DOI":"10.1007\/s10710-011-9148-z"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Yu, J., Narayanasamy, S., Pereira, C., Pokam, G.: Maple: A\u00a0Coverage-driven Testing Tool for Multithreaded Programs. In: Proc. of OOPSLA 2012. ACM (2012)","DOI":"10.1145\/2384616.2384651"},{"key":"8_CR31","unstructured":"Zitzler, E.: Evolutionary Algorithms for Multiobjective Optimization: Methods and Applications. PhD thesis, ETH Zurich (1999)"}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09940-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:57:05Z","timestamp":1558965425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09940-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319099392","9783319099408"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09940-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}