{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:39:23Z","timestamp":1725518363044},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540874744"},{"type":"electronic","value":"9783540874751"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87475-1_35","type":"book-chapter","created":{"date-parts":[[2008,9,11]],"date-time":"2008-09-11T05:54:28Z","timestamp":1221112468000},"page":"257-264","source":"Crossref","is-referenced-by-count":5,"title":["ValiPVM - A Graphical Tool for Structural Testing of PVM Programs"],"prefix":"10.1007","author":[{"given":"Paulo Lopes","family":"de Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo T.","family":"Sawabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adenilso","family":"da Silva Sim\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia R.","family":"Vergilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"do Rocio Senger de Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"35_CR1","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transaction Software Engineering\u00a011(4), 367\u2013375 (1985)","journal-title":"IEEE Transaction Software Engineering"},{"key":"35_CR2","unstructured":"Vergilio, S.R., Souza, S.R.S., Souza, P.S.L.: Coverage testing criteria for message-passing parallel programs. In: LATW 2005 - 6th IEEE Latin-American Test Workshop, Salvador, Ba, pp. 161\u2013166 (2005)"},{"key":"35_CR3","unstructured":"Souza, S., Vergilio, S., Souza, P., Sim\u00e3o, A., Bliscosque, T., Lima, A., Hausen, A.: Valipar: A testing tool for message-passing parallel programs. In: International Conference on Software knowledge and Software Engineering (SEKE 2005), Taipei-Taiwan, pp. 386\u2013391 (2005)"},{"key":"35_CR4","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"ICCS 2008 - International Conference on Computational Science","author":"F. Sarmanho","year":"2008","unstructured":"Sarmanho, F., Souza, P., Souza, S., Sim\u00e3o, A.: Structural testing for semaphore-based multithread programs. In: ICCS 2008 - International Conference on Computational Science, Krakow. LNCS, pp. 1\u201310. Springer, Heidelberg (2008) (accepted)"},{"key":"35_CR5","unstructured":"Hausen, A.C., Vergilio, S.R., Souza, S.R.S., Souza, P.S.L., Simao, A.S.: A tool for structural testing of MPI programs. In: 8th IEEE LATW (March 2007)"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Souza, S., Vergilio, S., Souza, P., Sim\u00e3o, A., Hausen, A.: Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, 1\u201324 (2008) (accepted)","DOI":"10.1002\/cpe.1297"},{"issue":"3","key":"35_CR7","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.: Structural testing of concurrent programs. IEEE Transaction Software Engineering\u00a018(3), 206\u2013215 (1992)","journal-title":"IEEE Transaction Software Engineering"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Yang, C.S., Souter, A.L., Pollock, L.L.: All-du-path coverage for parallel programs. In: International Symposium on Software Testing and Analysis (ISSTA 1998), ACM-Software Engineering Notes, pp. 153\u2013162 (1998)","DOI":"10.1145\/271771.271804"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Yang, R.D., Chung, C.G.: Path analysis testing of concurrent programs. Information and Software Technology\u00a034(1) (January 1992)","DOI":"10.1016\/0950-5849(92)90093-5"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Sim\u00e3o, A.S., Vincenzi, A.M.R., Maldonado, J.C., Santana, A.C.L.: A language for the description of program instrumentation and the automatic generation of instrumenters. CLEI Electronic Journal\u00a06(1) (2003)","DOI":"10.19153\/cleiej.6.1.7"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87475-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T19:12:56Z","timestamp":1557774776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87475-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540874744","9783540874751"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87475-1_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}