{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:15:10Z","timestamp":1743102910345,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540344544"},{"type":"electronic","value":"9783540344551"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11759744_5","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T08:27:50Z","timestamp":1149236870000},"page":"62-71","source":"Crossref","is-referenced-by-count":1,"title":["A Novel Test Coverage Metric for Concurrently-Accessed Software Components"],"prefix":"10.1007","author":[{"given":"Serdar","family":"Tasiran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tayfun","family":"Elmas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guven","family":"Bolukbasi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Erkan","family":"Keremoglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Artho, C., Havelund, K., Biere, A.: High-Level Data Races. In: VVEIS 2003, Int\u2019l Workshop on Verification and Validation of Enterprise Information Systems (2003)","DOI":"10.1002\/stvr.281"},{"key":"5_CR2","volume-title":"Proc. ACM SIGPLAN 2005 Conf. on Programming Language Design and Implementation, PLDI 2005","author":"T. Elmas","year":"2005","unstructured":"Elmas, T., Tasiran, S., Qadeer, S.: Vyrd: Verifying concurrent programs by runtime refinement-violation detection. In: Proc. ACM SIGPLAN 2005 Conf. on Programming Language Design and Implementation, PLDI 2005, ACM Press, New York (2005)"},{"key":"5_CR3","doi-asserted-by":"crossref","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, April 22\u201326, 2003, p. 286 (2003)","DOI":"10.1109\/IPDPS.2003.1213511"},{"key":"5_CR4","volume-title":"Proc. Intl. Symposium on Software Testing and Analysis (ISSTA 2004)","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S., Qadeer, S.: Exploiting purity for atomicity. In: Proc. Intl. Symposium on Software Testing and Analysis (ISSTA 2004), ACM Press, New York (2004)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: Proc. 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 256\u2013267 (2004)","DOI":"10.1145\/964001.964023"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proceedings of the ACM SIGPLAN 2003 Conf. on Programming Language Design and Implementation, PLDI 2003 (2003)","DOI":"10.1145\/781131.781169"},{"issue":"1-7","key":"5_CR7","first-page":"1","volume":"00","author":"B. Long","year":"2005","unstructured":"Long, B., Strooper, P., Wildman, L.: A method for verifying concurrent java components based on an analysis of concurrency failures. Concurrency and Computation: Practice and Experience\u00a000(1-7), 1\u201313 (2005)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"5_CR8","doi-asserted-by":"crossref","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, April 22\u201326, 2003, p. 287 (2003)","DOI":"10.1109\/IPDPS.2003.1213512"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems","author":"P. Godefroid","year":"1996","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol.\u00a01032. Springer, Heidelberg (1996)"},{"key":"5_CR10","unstructured":"Tasiran, S., Bogdanov, A., Ji, M.: Detecting concurrency errors in file systems by runtime refinement checking. Tech. Report HPL-2004-177, HP Labs (2004)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"R.N. Taylor","year":"1992","unstructured":"Taylor, R.N., Levine, D.L., Kelly, C.D.: Structural testing of concurrent programs. IEEE Trans. Softw. Eng.\u00a018(3), 206\u2013215 (1992)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11759744_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T22:31:02Z","timestamp":1552343462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11759744_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11759744_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}