{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:15:53Z","timestamp":1725696953405},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,17]]},"DOI":"10.1145\/1145718.1145721","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"17-22","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Model-based functional conformance testing of web services operating on persistent data"],"prefix":"10.1145","author":[{"given":"Avik","family":"Sinha","sequence":"first","affiliation":[{"name":"I.B.M. Thomas Watson Research Center, Hawthorne, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Paradkar","sequence":"additional","affiliation":[{"name":"I.B.M. Thomas Watson Research Center, Hawthorne, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Web service semantics - wsdl-s","author":"Akkiraju Rama","year":"2005","unstructured":"Rama Akkiraju , Joel Farrell , John Miller , Meenakshi Nagarajan , Marc-Thomas Schmidt , Amit Sheth , and Kunal Verma . Web service semantics - wsdl-s , 2005 .]] Rama Akkiraju, Joel Farrell, John Miller, Meenakshi Nagarajan, Marc-Thomas Schmidt, Amit Sheth, and Kunal Verma. Web service semantics - wsdl-s, 2005.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/552895.857366"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2005.43"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11786160_1"},{"key":"e_1_3_2_1_5_1","first-page":"46","volume-title":"Proc. Second IEEE Int. Conf. on Formal Eng. Methods","author":"Black P. E.","year":"1998","unstructured":"P. E. Black , V. Okum , and Y. Yesha . Mutation operators for specifications . In Proc. Second IEEE Int. Conf. on Formal Eng. Methods , pages 46 -- 54 , 1998 .]] P. E. Black, V. Okum, and Y. Yesha. Mutation operators for specifications. In Proc. Second IEEE Int. Conf. on Formal Eng. Methods, pages 46--54, 1998.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694623"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647535.729387"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566192"},{"key":"e_1_3_2_1_9_1","first-page":"472","volume-title":"Proc. ECOOP 2000","author":"Fr\u00f6hlich P.","year":"1850","unstructured":"P. Fr\u00f6hlich and J. Link . Automated test generation from dynamic models . In Proc. ECOOP 2000 , LNCS 1850 , pages 472 -- 491 . Springer-Verlag , 2000.]] P. Fr\u00f6hlich and J. Link. Automated test generation from dynamic models. In Proc. ECOOP 2000, LNCS 1850, pages 472--491. Springer-Verlag, 2000.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566190"},{"key":"e_1_3_2_1_11_1","volume-title":"Towards contract-based testing of web services","author":"Heckel R.","year":"2004","unstructured":"R. Heckel and M. Lohmann . Towards contract-based testing of web services , 2004 .]] R. Heckel and M. Lohmann. Towards contract-based testing of web services, 2004.]]"},{"key":"e_1_3_2_1_12_1","unstructured":"Reiko Heckel and Leonardo Mariani. Automatic conformance testing of web services.]]  Reiko Heckel and Leonardo Mariani. Automatic conformance testing of web services.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"Testing from a z specifications. J. Soft. Testing, Verification, and Reliability, 7(1):19--33","author":"Hierons R.","year":"1997","unstructured":"R. Hierons . Testing from a z specifications. J. Soft. Testing, Verification, and Reliability, 7(1):19--33 , 1997 .]] R. Hierons. Testing from a z specifications. J. Soft. Testing, Verification, and Reliability, 7(1):19--33, 1997.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008607721339"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872513"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647285.723115"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302632"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/647283.722930"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.28"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2003.09.005"},{"key":"e_1_3_2_1_22_1","first-page":"79","volume-title":"Proc. Int. Workshop on Formal Methods for Industrial Critical Systems","author":"Pretschner A.","year":"2001","unstructured":"A. Pretschner , O. Slotosch , H. L\u00f6tzbeyer , E. Aiglstorfer , and S. Kriebel . Model based testing for real: the inhouse card case-study . In Proc. Int. Workshop on Formal Methods for Industrial Critical Systems , pages 79 -- 94 , 2001 .]] A. Pretschner, O. Slotosch, H. L\u00f6tzbeyer, E. Aiglstorfer, and S. Kriebel. Model based testing for real: the inhouse card case-study. In Proc. Int. Workshop on Formal Methods for Industrial Critical Systems, pages 79--94, 2001.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.536956"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2005.40"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","acronym":"ISSTA06","location":"Portland Maine"},"container-title":["Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145718.1145721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T09:48:37Z","timestamp":1673603317000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145718.1145721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,17]]},"references-count":24,"alternative-id":["10.1145\/1145718.1145721","10.1145\/1145718"],"URL":"https:\/\/doi.org\/10.1145\/1145718.1145721","relation":{},"subject":[],"published":{"date-parts":[[2006,7,17]]},"assertion":[{"value":"2006-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}