{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:07:50Z","timestamp":1725602870349},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331183"},{"type":"electronic","value":"9783642331190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33119-0_12","type":"book-chapter","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T11:50:13Z","timestamp":1347018613000},"page":"152-167","source":"Crossref","is-referenced-by-count":7,"title":["Testing of Concurrent Programs Using Genetic Algorithms"],"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":"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","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Alba, E., Chicano, F.: Finding Safety Errors with ACO. In: Proc. of GECCO 2007. ACM Press (2007)","DOI":"10.1145\/1276958.1277171"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Alba, E., Chicano, F.: Searching for Liveness Property Violations in Concurrent Systems with ACO. In: Proc. of GECCO 2008, pp. 1727\u20131734. ACM Press (2008)","DOI":"10.1145\/1389095.1389431"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Alba, E., Chicano, F., Ferreira, M., Gomez-Pulido, J.: Finding Deadlocks in Large Concurrent Java Programs Using Genetic Algorithms. In: Proc. of GECCO 2008. ACM Press (2008)","DOI":"10.1145\/1389095.1389432"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Ben-Asher, Y., Eytani, Y., Farchi, E., Ur, S.: Noise Makers Need To Know Where To Be Silent\u2013Producing Schedules That Find Bugs. In: Proc. of ISOLA 2006. IEEE CS (2006)","DOI":"10.1109\/ISoLA.2006.18"},{"key":"12_CR5","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 Press (2005)","DOI":"10.1145\/1065944.1065972"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-23716-4_7","volume-title":"Search Based Software Engineering","author":"F. Chicano","year":"2011","unstructured":"Chicano, F., Ferrer, J., Alba, E.: Elementary Landscape Decomposition of the Test Suite Minimization Problem. In: Cohen, M.B., \u00d3 Cinn\u00e9ide, M. (eds.) SSBSE 2011. LNCS, vol.\u00a06956, pp. 48\u201363. Springer, Heidelberg (2011)"},{"issue":"3-5","key":"12_CR7","doi-asserted-by":"publisher","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 and Computation: Practice and Experience\u00a015(3-5), 485\u2013499 (2003)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"12_CR8","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 Press (2007)","DOI":"10.1145\/1250734.1250762"},{"key":"12_CR9","first-page":"57","volume":"144","author":"Y. Eytani","year":"2006","unstructured":"Eytani, Y.: Concurrent Java Test Generation as a Search Problem. ENTCS\u00a0144, 57\u201372 (2006)","journal-title":"ENTCS"},{"key":"12_CR10","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Lowry, M., Washington, R.: Lifecycle Verification of the NASA Ames K9 Rover Executive. In: Proc. of ICAPS 2005 (2005)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10009-004-0141-1","volume":"6","author":"P. Godefroid","year":"2004","unstructured":"Godefroid, P., Khurshid, S.: Exploring Very Large State Spaces Using Genetic Algorithms. STTT\u00a06(2), 117\u2013127 (2004)","journal-title":"STTT"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Hrub\u00e1, V., K\u0159ena, B., Letko, Z., Vojnar, T.: Testing of Concurrent Programs Using Genetic Algorithms. Technical report FIT-TR-2012-01, BUT (2012)","DOI":"10.1007\/978-3-642-33119-0_12"},{"key":"12_CR13","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":"12_CR14","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 for Concurrency Testing. 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":"12_CR15","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 Press (2010)","DOI":"10.1145\/1866210.1866215"},{"key":"12_CR16","unstructured":"Musuvathi, M., Qadeer, S., Ball, T.: Chess: A Systematic Testing Tool for Concurrent Software. Technical Report MSR-TR-2007-149, Microsoft Research (2007)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Talbi, E.-G.: Metaheuristics: From Design to Implementation. Wiley Publishing (2009)","DOI":"10.1002\/9780470496916"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Tzoref, R., Ur, S., Yom-Tov, E.: Instrumenting Where It Hurts: An Automatic Concurrent Debugging Technique. In: Proc. of ISSTA 2007. ACM Press (2007)","DOI":"10.1145\/1273463.1273469"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-22306-8_14","volume-title":"Model Checking Software","author":"J. \u0160im\u0161a","year":"2011","unstructured":"\u0160im\u0161a, J., Bryant, R., Gibson, G.: dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems. In: Groce, A., Musuvathi, M. (eds.) SPIN Workshops 2011. LNCS, vol.\u00a06823, pp. 188\u2013193. Springer, Heidelberg (2011)"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10710-011-9148-z","volume":"13","author":"D. White","year":"2012","unstructured":"White, D.: Software Review: The ECJ Toolkit. Genetic Programming and Evolvable Machines\u00a013, 65\u201367 (2012)","journal-title":"Genetic Programming and Evolvable Machines"}],"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-642-33119-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:55:41Z","timestamp":1620129341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33119-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331183","9783642331190"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33119-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}