{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T01:10:06Z","timestamp":1744074606001,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"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_8","type":"book-chapter","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T11:50:13Z","timestamp":1347018613000},"page":"90-104","source":"Crossref","is-referenced-by-count":4,"title":["Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern"],"prefix":"10.1007","author":[{"given":"Neelesh","family":"Bhattacharya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olfat","family":"El-Mahi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Etienne","family":"Duclos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Beltrame","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliano","family":"Antoniol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Le Digabel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yann-Ga\u00ebl","family":"Gu\u00e9h\u00e9neuc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Artho, C., Havelund, K., Biere, A., Biere, A.: High-level data races. Journal on Software Testing, Verification & Reliability, STVR (2003)","DOI":"10.1002\/stvr.281"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Beltrame, G., Fossati, L., Sciuto, D.: ReSP: a nonintrusive transaction-level reflective MPSoC simulation platform for design space exploration. In: Computer-Aided Design of Integrated Circuits and Systems, pp. 28\u201340 (2009)","DOI":"10.1109\/TCAD.2009.2030268"},{"key":"8_CR3","unstructured":"Ben-Asher, Y., Farchi, E., Eytani, Y.: Heuristics for finding concurrent bugs. In: Proceedings of the 17th International Symposium on Parallel and Distributed Processing, p. 288.1(2003)"},{"key":"8_CR4","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J.: Mutation operators for concurrent java (j2se 5.0) 1"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Stress Testing Real-Time Systems with Genetic Algorithms. In: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation (GECCO 2005), pp. 1021\u20131028 (2005)","DOI":"10.1145\/1068009.1068183"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10710-006-9003-9","volume":"7","author":"L.C. Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Using Genetic Algorithms for Early Schedulability Analysis and Stress Testing in Real-Time Systems. Genetic Programming and Evolvable Machines\u00a07, 145\u2013170 (2006)","journal-title":"Genetic Programming and Evolvable Machines"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"R.H. Carver","year":"1991","unstructured":"Carver, R.H., Tai, K.C.: Replay and testing for concurrent programs. IEEE Softw.\u00a08, 66\u201374 (1991)","journal-title":"IEEE Softw."},{"key":"8_CR8","unstructured":"Drake, D.G.: JavaWorld.com: A quick tutorial on how to implement threads in java (1996), http:\/\/www.javaworld.com\/javaworld\/jw-04-1996\/jw-04-threads.html"},{"issue":"3-5","key":"8_CR9","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":"8_CR10","doi-asserted-by":"crossref","unstructured":"Eytani, Y., Ur, S.: Compiling a benchmark of documented multi-threaded bugs. In: Parallel and Distributed Processing Symposium, International, vol. 17, p. 266a (2004)","DOI":"10.1109\/IPDPS.2004.1303339"},{"key":"8_CR11","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: Proceedings of the 17th International Symposium on Parallel and Distributed Processing. p. 286.2 (2003)"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.scico.2007.12.001","volume":"71","author":"C. Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. Scientific Computer Program\u00a071(2), 89\u2013109 (2008)","journal-title":"Scientific Computer Program"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using verisoft. In: Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Hovemeyer, D., Pugh, W.: Finding bugs is easy. In: ACM SIGPLAN Notices, pp. 132\u2013136 (2004)","DOI":"10.1145\/1052883.1052895"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1142\/S0218194095000241","volume":"5","author":"G.H. Hwang","year":"1995","unstructured":"Hwang, G.H., Chung Tai, K., Lu Huang, T.: Reachability testing: An approach to testing concurrent software. International Journal of Software Engineering and Knowledge Engineering\u00a05, 493\u2013510 (1995)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"8_CR16","unstructured":"Joshi, P., Naik, M., Seo Park, C., Sen, K.: Calfuzzer: An extensible active testing framework for concurrent programs"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"Y. Lei","year":"2006","unstructured":"Lei, Y., Carver, R.H.: Reachability testing of concurrent programs. IEEE Trans. Softw. Eng.\u00a032, 382\u2013403 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1002\/cpe.1063","volume":"19","author":"B. Long","year":"2007","unstructured":"Long, B., Strooper, P., Wildman, L.: A method for verifying concurrent java components based on an analysis of concurrency failures: Research articles. Concurr. Comput.: Pract. Exper.\u00a019, 281\u2013294 (2007)","journal-title":"Concurr. Comput. : Pract. Exper."},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N. Metropolis","year":"1953","unstructured":"Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A., Teller, E.: Equation of state calculations by fast computing machines. Journal of Chemical Physics\u00a021, 1087\u20131092 (1953)","journal-title":"Journal of Chemical Physics"},{"key":"8_CR20","unstructured":"Musuvathi, M., Qadeer, S., Ball, T.: Chess: A systematic testing tool for concurrent software (2007)"},{"key":"8_CR21","unstructured":"Park, A.: Multithreaded programming (pthreads tutorial) (1999), http:\/\/randu.org\/tutorials\/threads\/"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1508284.1508249","volume":"44","author":"S. Park","year":"2009","unstructured":"Park, S., Lu, S., Zhou, Y.: Ctrigger: exposing atomicity violation bugs from their hiding places. SIGPLAN Not.\u00a044, 25\u201336 (2009)","journal-title":"SIGPLAN Not."},{"key":"8_CR23","unstructured":"Software Quality Research Group, Ontario Institute of Technology: Concurrency anti-pattern catalog for java (2010), http:\/\/faculty.uoit.ca\/bradbury\/concurr-catalog\/"},{"key":"8_CR24","unstructured":"Tripakis, S., Stergiou, C., Lublinerman, R.: Checking non-interference in spmd programs. In: 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010), pp. 1\u20136 (June 2010)"},{"key":"8_CR25","unstructured":"Wattenberg, M., Juels, A.: Stochastic hillclimbing as a baseline method for evaluating genetic algorithms. In: Proceedings of the 1995 Conference, vol.\u00a08, p. 430. Kaufmann (1996)"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T00:45:19Z","timestamp":1744073119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33119-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331183","9783642331190"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33119-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}