{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:35Z","timestamp":1725512255852},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708889"},{"type":"electronic","value":"9783540708896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70889-6_14","type":"book-chapter","created":{"date-parts":[[2007,5,10]],"date-time":"2007-05-10T14:04:16Z","timestamp":1178805856000},"page":"183-197","source":"Crossref","is-referenced-by-count":4,"title":["Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise"],"prefix":"10.1007","author":[{"given":"Yaniv","family":"Eytani","sequence":"first","affiliation":[]},{"given":"Timo","family":"Latvala","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the Second Workshop on Runtime Verification (RV)","author":"S.D. Stoller","year":"2002","unstructured":"Stoller, S.D.: Testing concurrent Java programs using randomized scheduling. In: Proceedings of the Second Workshop on Runtime Verification (RV). Electronic Notes in Theoretical Computer Science, vol.\u00a070(4), Elsevier, Amsterdam (2002)"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O. Edelstein","year":"2002","unstructured":"Edelstein, O., et al.: Multithreaded Java program test generation. IBM Systems Journal\u00a041(1), 111\u2013125 (2002)","journal-title":"IBM Systems Journal"},{"key":"14_CR3","unstructured":"Ben-Asher, Y., Eytani, Y., Farchi, E.: Heuristics for finding concurrent bugs. In: International Parallel and Distributed Processing Symposium, IPDPS 2003, PADTAD Workshop (2003)"},{"key":"14_CR4","first-page":"286","volume-title":"17th International Parallel and Distributed Processing Symposium (IPDPS 2003)","author":"E. Farchi","year":"2003","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), Nice, France, 22 -26 April 2003, p. 286 (CD-ROM\/Abstracts Proceedings). IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"14_CR5","first-page":"109","volume-title":"Advances in Languages and Compilers for Parallel Computing, 1990 Workshop","author":"R. Netzer","year":"1990","unstructured":"Netzer, R., Miller, B.: Detecting data races in parallel program executions. In: Advances in Languages and Compilers for Parallel Computing, 1990 Workshop, Irvine, Calif., pp. 109\u2013129. MIT Press, Cambridge (1990)"},{"issue":"4","key":"14_CR6","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., et al.: Eraser: a dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (TOCS)\u00a015(4), 391\u2013411 (1997), doi:10.1145\/265924.265927","journal-title":"ACM Transactions on Computer Systems (TOCS)"},{"volume-title":"31\u2019st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)","year":"2004","author":"C. Flanagan","key":"14_CR7","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: 31\u2019st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2004, ACM Press, New York (2004)"},{"key":"14_CR8","unstructured":"Artho, C., Havelund, K., Biere, A.: High-level data races. In: VVEIS\u201903, The First International Workshop on Verification and Validation of Enterprise Information Systems, Angers, France (2003), citeseer.ist.psu.edu\/artho03highlevel.html"},{"key":"14_CR9","first-page":"287","volume-title":"17th International Parallel and Distributed Processing Symposium (IPDPS 2003)","author":"B. Long","year":"2003","unstructured":"Long, B., Strooper, P.A.: A classification of concurrency failures in Java components. In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), Nice, France, 22 -26 April, 2003, p. 287 (CD-ROM\/Abstracts Proceedings). IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"14_CR10","first-page":"258","volume-title":"QSIC","author":"H. Hallal","year":"2004","unstructured":"Hallal, H., et al.: Antipattern-based detection of deficiencies in Java multithreaded software. In: QSIC, pp. 258\u2013267. IEEE, Los Alamitos (2004)"},{"issue":"12","key":"14_CR11","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1052883.1052895","volume":"39","author":"D. Hovemeyer","year":"2004","unstructured":"Hovemeyer, D., Pugh, W.: Finding bugs is easy. SIGPLAN Notices\u00a039(12), 92\u2013106 (2004)","journal-title":"SIGPLAN Notices"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/978-3-540-30476-0_16","volume-title":"Automated Technology for Verification and Analysis","author":"C. Artho","year":"2004","unstructured":"Artho, C., Havelund, K., Biere, A.: Using block-local atomicity to detect stale-value concurrency errors. In: Wang, F. (ed.) ATVA 2004. LNCS, vol.\u00a03299, pp. 150\u2013164. Springer, Heidelberg (2004)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/11513988_9","volume-title":"Computer Aided Verification","author":"I. Rabinovitz","year":"2005","unstructured":"Rabinovitz, I., Grumberg, O.: Bounded model checking of concurrent programs. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 82\u201397. Springer, Heidelberg (2005)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-3-540-31980-1_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Qadeer","year":"2005","unstructured":"Qadeer, S., Rehof, J.: Context-bounded model checking of concurrent software. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 93\u2013107. Springer, Heidelberg (2005)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/1065944.1065972","volume-title":"PPOPP","author":"A. Bron","year":"2005","unstructured":"Bron, A., et al.: Applications of synchronization coverage. In: Pingali, K., Yelick, K.A., Grimshaw, A.S. (eds.) PPOPP, pp. 206\u2013212. ACM, New York (2005)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/11759744_5","volume-title":"Formal Approaches to Software Testing","author":"S. Tasiran","year":"2006","unstructured":"Tasiran, S., et al.: A novel test coverage metric for concurrently-accessed software components. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 62\u201371. Springer, Heidelberg (2006)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"SPIN Model Checking and Software Verification","author":"K. Havelund","year":"2000","unstructured":"Havelund, K.: Using runtime analysis to guide model checking of Java programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN Model Checking and Software Verification. LNCS, vol.\u00a01885, pp. 245\u2013264. Springer, Heidelberg (2000)"},{"key":"14_CR18","first-page":"68","volume-title":"Australian Software Engineering Conference","author":"C. Artho","year":"2001","unstructured":"Artho, C., Biere, A.: Applying static analysis to large-scale, multi-threaded Java programs. In: Australian Software Engineering Conference, pp. 68\u201375. IEEE, Los Alamitos (2001)"},{"key":"14_CR19","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.) Hardware and Software, Verification and Testing. LNCS, vol.\u00a03875, pp. 208\u2013223. Springer, Heidelberg (2006)"},{"volume-title":"IPDPS","year":"2004","author":"Y. Eytani","key":"14_CR20","unstructured":"Eytani, Y., Ur, S.: Compiling a benchmark of documented multi-threaded bugs. In: IPDPS, IEEE, Los Alamitos (2004)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Srinivasan, H.: Deterministic replay of Java multithreaded applications. In: Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, Welches, Oregon, pp. 48\u201359 (1998)","DOI":"10.1145\/281035.281041"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Ben-Asher, Y., et al.: Producing scheduling that causes concurrent programs to fail. Technical Report UIUCDCS-R-2006-2684, University of Illinois at Urbana-Champaign (2006)","DOI":"10.1145\/1147403.1147410"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Eytani, Y., et al.: Toward a framework and benchmark for testing tools for multi-threaded programs. Concurrency and Computation: Practice and Experience (to appear)","DOI":"10.1002\/cpe.1068"},{"key":"14_CR24","unstructured":"Sen, K., Agha, G.: jCUTE: Automated testing of multithreaded programs using race-detection and flipping. Technical Report UIUCDCS-R-2006-2676, University of Illinois at Urbana-Champaign (2006)"},{"issue":"1","key":"14_CR25","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/s10009-002-0088-z","volume":"5","author":"C.S. Pasareanu","year":"2003","unstructured":"Pasareanu, C.S., Dwyer, M.B., Visser, W.: Finding feasible abstract counter-examples. STTT\u00a05(1), 34\u201348 (2003)","journal-title":"STTT"},{"issue":"2","key":"14_CR26","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., et al.: Model checking programs. Autom. Softw. Eng.\u00a010(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"volume-title":"Proc. 22nd International Conference on Software Engineering (ICSE)","year":"2000","author":"J.C. Corbett","key":"14_CR27","unstructured":"Corbett, J.C., et al.: Bandera: Extracting finite-state models from Java source code. In: Proc. 22nd International Conference on Software Engineering (ICSE), jun, ACM Press, New York (2000)"},{"volume-title":"Proc. ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","year":"1999","author":"J.-D. Choi","key":"14_CR28","unstructured":"Choi, J.-D., et al.: Escape analysis for Java. In: Proc. ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Oct. 1999, ACM Press, New York (1999)"},{"key":"14_CR29","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/271771.271804","volume-title":"ACM SigSoft International Symposium on Software Testing and Analysis, vol. 23","author":"C.S. Yang","year":"1998","unstructured":"Yang, C.S., Souter, A.L., Pollock, L.: All-du-path coverage for parallel programs. In: ACM SigSoft International Symposium on Software Testing and Analysis, vol. 23, pp. 153\u2013162. ACM, New York (1998)"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, STTT\u00a02(4) (2000)","DOI":"10.1007\/s100090050043"},{"key":"14_CR31","unstructured":"Eytani, Y.: Concurrent Java test generation as a search problem. In: Fifth Workshop on Runtime Verification, Edinburgh, UK (2005)"},{"issue":"2","key":"14_CR32","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng.\u00a028(2), 183\u2013200 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Zeller, A.: Isolating failure-inducing thread schedules. In: ISSTA, pp. 210\u2013220 (2002)","DOI":"10.1145\/566171.566211"},{"key":"14_CR34","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/781131.781148","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"B. Liblit","year":"2003","unstructured":"Liblit, B., et al.: In: ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 141\u2013154. ACM Press, New York (2003)"},{"key":"14_CR35","unstructured":"17th International Parallel and Distributed Processing Symposium (IPDPS 2003) (CD-ROM\/Abstracts Proceedings), Nice, France, 22-26 April 2003. IEEE Computer Society Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70889-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:31:19Z","timestamp":1620016279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70889-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708889","9783540708896"],"references-count":35,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-540-70889-6_14","relation":{},"subject":[]}}
