{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:04:10Z","timestamp":1725516250943},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693833"},{"type":"electronic","value":"9783540693840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69384-0_39","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:15Z","timestamp":1217486355000},"page":"337-346","source":"Crossref","is-referenced-by-count":10,"title":["Structural Testing for Semaphore-Based Multithread Programs"],"prefix":"10.1007","author":[{"given":"Felipe S.","family":"Sarmanho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo S. L.","family":"Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone R. S.","family":"Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adenilso S.","family":"Sim\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"Yang, C.D., Pollock, L.L.: The challenges in automated testing of multithreaded programs. In: 14th Int. Conference on Testing Computer Software, pp. 157\u2013166 (1997)"},{"issue":"3","key":"39_CR2","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/5992.919263","volume":"03","author":"J.J. Dongarra","year":"2001","unstructured":"Dongarra, J.J., Walker, D.W.: The quest for petascale computing. Computing in Science and Engineering\u00a003(3), 32\u201339 (2001)","journal-title":"Computing in Science and Engineering"},{"issue":"4","key":"39_CR3","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"SE-11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering\u00a0SE-11(4), 367\u2013375 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"39_CR4","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. on Software Engineering\u00a018(3), 206\u2013215 (1992)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Yang, C.S.D., Souter, A.L., Pollock, L.L.: All-du-path coverage for parallel programs. In: Young, M. (ed.) ISSTA\u00a01998: Proc. of the ACM SIGSOFT Int. Symposium on Software Testing and Analysis, pp. 153\u2013162 (1998)","DOI":"10.1145\/271771.271804"},{"issue":"6","key":"39_CR6","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.: Reachability testing of concurrent programs. IEEE Trans. on Software Engineering\u00a032(6), 382\u2013403 (2006)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"39_CR7","unstructured":"Vergilio, S.R., Souza, S.R.S., Souza, P.S.L.: Coverage testing criteria for message-passing parallel programs. In: 6th LATW, Salvador, Ba, pp. 161\u2013166 (2005)"},{"issue":"3\u20135","key":"39_CR8","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\u20135), 485\u2013499 (2003)","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"4","key":"39_CR9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/stvr.369","volume":"17","author":"Y. Lei","year":"2007","unstructured":"Lei, Y., Carver, R.H., Kacker, R., Kung, D.: A combinatorial testing strategy for concurrent programs. Softw. Test., Verif. Reliab.\u00a017(4), 207\u2013225 (2007)","journal-title":"Softw. Test., Verif. Reliab."},{"issue":"1","key":"39_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.262","volume":"13","author":"C.S.D. Yang","year":"2003","unstructured":"Yang, C.S.D., Pollock, L.L.: All-uses testing of shared memory parallel programs. Softw. Test, Verif. Reliab.\u00a013(1), 3\u201324 (2003)","journal-title":"Softw. Test, Verif. Reliab."},{"key":"39_CR11","first-page":"95","volume":"2","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: The implementation of reliable distributed multiprocess systems. Computer Networks\u00a02, 95\u2013114 (1978)","journal-title":"Computer Networks"},{"issue":"2","key":"39_CR12","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(2), 66\u201374 (1991)","journal-title":"IEEE Softw."}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69384-0_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T11:44:12Z","timestamp":1551527052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69384-0_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540693833","9783540693840"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69384-0_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}