{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:59:51Z","timestamp":1725796791032},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319090986"},{"type":"electronic","value":"9783319090993"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09099-3_9","type":"book-chapter","created":{"date-parts":[[2014,7,7]],"date-time":"2014-07-07T11:41:03Z","timestamp":1404733263000},"page":"117-133","source":"Crossref","is-referenced-by-count":1,"title":["Generating Classified Parallel Unit Tests"],"prefix":"10.1007","author":[{"given":"Ali","family":"Jannesari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Koprowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Schimmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Hamill, P.: Unit Test Frameworks: Tools for High-Quality Software Development. O\u2019Reilly Series. O\u2019Reilly Media (2008)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Schimmel, J., Molitorisz, K., Jannesari, A., Tichy, W.F.: Automatic generation of parallel unit tests. In: 8th IEEE\/ACM International Workshop on Automation of Software Test (AST) (2013)","DOI":"10.1109\/IWAST.2013.6595789"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1065010.1065013","volume-title":"Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2005","author":"M. Xu","year":"2005","unstructured":"Xu, M., Bod\u00edk, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2005, pp. 1\u201314. ACM, New York (2005)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-642-12029-9_23","volume-title":"Fundamental Approaches to Software Engineering","author":"Q. Luo","year":"2010","unstructured":"Luo, Q., Zhang, S., Zhao, J., Hu, M.: A lightweight and portable approach to making concurrent failures reproducible. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 323\u2013337. Springer, Heidelberg (2010)"},{"key":"9_CR5","unstructured":"Katayama, T., Itoh, E., Ushijima, K., Furukawa, Z.: Test-case generation for concurrent programs with the testing criteria using interaction sequences. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference, APSEC 1999. IEEE Computer Society, Washington, DC (1999)"},{"key":"9_CR6","first-page":"539","volume-title":"10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005","author":"W.E. Wong","year":"2005","unstructured":"Wong, W.E.: Yu\u00a0Lei, X.M.: Effective generation of test sequences for structural testing of concurrent programs. In: 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, pp. 539\u2013548. IEEE Computer Society, Richardson (2005)"},{"key":"9_CR7","first-page":"727","volume-title":"Proceedings of the 2012 International Conference on Software Engineering, ICSE 2012","author":"A. Nistor","year":"2012","unstructured":"Nistor, A., Luo, Q., Pradel, M., Gross, T.R., Marinov, D.: Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. In: Proceedings of the 2012 International Conference on Software Engineering, ICSE 2012, pp. 727\u2013737. IEEE Press, Piscataway (2012)"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/1294261.1294272","volume-title":"SOSP 2007: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles","author":"S. Lu","year":"2007","unstructured":"Lu, S., Park, S., Hu, C., Ma, X., Jiang, W., Li, Z., Popa, R.A., Zhou, Y.: Muvi: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: SOSP 2007: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, pp. 103\u2013116. ACM, New York (2007)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-642-24650-0_3","volume-title":"Algorithms and Architectures for Parallel Processing","author":"A. Jannesari","year":"2011","unstructured":"Jannesari, A., Westphal-Furuya, M., Tichy, W.F.: Dynamic data race detection for correlated variables. In: Xiang, Y., Cuzzocrea, A., Hobbs, M., Zhou, W. (eds.) ICA3PP 2011, Part I. LNCS, vol.\u00a07016, pp. 14\u201326. Springer, Heidelberg (2011)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-71410-1_2","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Musuvathi","year":"2007","unstructured":"Musuvathi, M., Qadeer, S.: Chess: Systematic stress testing of concurrent software. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol.\u00a04407, pp. 15\u201316. Springer, Heidelberg (2007)"},{"key":"9_CR11","first-page":"267","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI 2008","author":"M. Musuvathi","year":"2008","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI 2008, pp. 267\u2013280. USENIX Association, Berkeley (2008)"},{"key":"9_CR12","unstructured":"Intel (Intel Inspector XE) (2013), \n                  \n                    http:\/\/software.intel.com\/en-us\/intel-inspector-xe"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Koprowski, N., Schimmel, J., Wolf, F., Tichy, W.F.: Detecting correlation violations and data races by inferring non-deterministic reads. In: Proc. of the 19th IEEE International Conference on Parallel and Distributed Systems (ICPADS). IEEE Computer Society, Seoul (2013)","DOI":"10.1109\/ICPADS.2013.14"},{"key":"9_CR14","unstructured":"Cooper, K.D., Harvey, T.J., Kennedy, K.: (A simple, fast dominance algorithm)"},{"key":"9_CR15","unstructured":"Microsoft: Code gallery for parallel programs, \n                  \n                    http:\/\/code.msdn.microsoft.com\/Samples-for-Parallel-b4b76364"},{"key":"9_CR16","unstructured":"Butler, N.: Petridish: Multi-threading for performance in c#, \n                  \n                    http:\/\/www.codeproject.com\/Articles\/26453\/PetriDish-Multi-threading-for-performance-in-C"},{"key":"9_CR17","unstructured":"Reichl, D.: Keepass password safe, \n                  \n                    http:\/\/keepass.info\/"},{"key":"9_CR18","unstructured":"Smart thread pool, \n                  \n                    http:\/\/smartthreadpool.codeplex.com\/"},{"key":"9_CR19","unstructured":"Dotnetzip, \n                  \n                    http:\/\/dotnetzip.codeplex.com\/"},{"key":"9_CR20","unstructured":"C# open source managed operating system, \n                  \n                    https:\/\/cosmos.codeplex.com\/"},{"key":"9_CR21","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1145\/1111037.1111067","volume-title":"POPL 2006: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"M. Vaziri","year":"2006","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL 2006: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 334\u2013345. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09099-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T06:39:47Z","timestamp":1558939187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09099-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319090986","9783319090993"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09099-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}