{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T13:52:38Z","timestamp":1768830758219,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,11]],"date-time":"2014-01-11T00:00:00Z","timestamp":1389398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,1,11]]},"DOI":"10.1145\/2543728.2543741","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T13:40:06Z","timestamp":1389706806000},"page":"169-180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Automating property-based testing of evolving web services"],"prefix":"10.1145","author":[{"given":"Huiqing","family":"Li","sequence":"first","affiliation":[{"name":"University of Kent, Canterbury, United Kingdom"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, United Kingdom"}]},{"given":"Pablo","family":"Lamela Seijas","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, United Kingdom"}]},{"given":"Miguel Angel","family":"Francisco","sequence":"additional","affiliation":[{"name":"Interoud Innovation, A Coruna, Spain"}]}],"member":"320","published-online":{"date-parts":[[2014,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Erlsom: An Erlang Libary for XML Parsing. http:\/\/sourceforge.net\/projects\/erlsom\/.  Erlsom: An Erlang Libary for XML Parsing. http:\/\/sourceforge.net\/projects\/erlsom\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Levenshtein Distance. http:\/\/en.wikipedia.org\/wiki\/Levenshtein_distance.  Levenshtein Distance. http:\/\/en.wikipedia.org\/wiki\/Levenshtein_distance."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/www.w3.org\/TR\/xmlschema11--1\/","author":"Schema Definition C XML","year":"2007","unstructured":"W3 C XML Schema Definition Language (XSD). http:\/\/www.w3.org\/TR\/xmlschema11--1\/ , 2007 . W3C XML Schema Definition Language (XSD). http:\/\/www.w3.org\/TR\/xmlschema11--1\/, 2007."},{"key":"e_1_3_2_1_4_1","volume-title":"http:\/\/www.w3.org\/TR\/wsdl20\/","author":"Description Web Services","year":"2007","unstructured":"Web Services Description Language (WSDL) 2.0. http:\/\/www.w3.org\/TR\/wsdl20\/ , 2007 . Web Services Description Language (WSDL) 2.0. http:\/\/www.w3.org\/TR\/wsdl20\/, 2007."},{"key":"e_1_3_2_1_5_1","volume-title":"Programming Erlang. Pragmatic Bookshelf","author":"Armstrong J.","year":"2007","unstructured":"J. Armstrong . Programming Erlang. Pragmatic Bookshelf , 2007 . J. Armstrong. Programming Erlang. Pragmatic Bookshelf, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.308"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2005.43"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.28"},{"key":"e_1_3_2_1_9_1","volume-title":"Erlang Programming","author":"Cesarini F.","year":"2009","unstructured":"F. Cesarini and S. Thompson . Erlang Programming . O'Reilly Media, Inc. , 2009 . F. Cesarini and S. Thompson. Erlang Programming. O'Reilly Media, Inc., 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2002931.2002935"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.17"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505305.2505306"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.073"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_1"},{"key":"e_1_3_2_1_16_1","volume-title":"Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Service. In The 8th International Workshop on Automated Specification and Verification of Web Systems","author":"Lampropoulos L.","year":"2012","unstructured":"L. Lampropoulos and K. Sagonas . Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Service. In The 8th International Workshop on Automated Specification and Verification of Web Systems , Stockholm, Sweden , 2012 . L. Lampropoulos and K. Sagonas. Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Service. In The 8th International Workshop on Automated Specification and Verification of Web Systems, Stockholm, Sweden, 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_34"},{"key":"e_1_3_2_1_19_1","volume-title":"Henrique Ferreiro and T. Arts. A DSL for Web Services Automatic Test Data Generation. In Draft Proceedings of the 25th International Symposium on Implementation and Application of Functional Languages","author":"Mac\u00edias L\u00f3pez L. M. C.","year":"2013","unstructured":"L. M. C. Mac\u00edias L\u00f3pez , Henrique Ferreiro and T. Arts. A DSL for Web Services Automatic Test Data Generation. In Draft Proceedings of the 25th International Symposium on Implementation and Application of Functional Languages , 2013 . L. M. C. Mac\u00edias L\u00f3pez, Henrique Ferreiro and T. Arts. A DSL for Web Services Automatic Test Data Generation. In Draft Proceedings of the 25th International Symposium on Implementation and Application of Functional Languages, 2013."},{"key":"e_1_3_2_1_20_1","unstructured":"E. A. Manolis Papadakis and K. Sagonas. PropEr: A QuickCheck-Inspired Property-Based Testing Tool for Erlang. http:\/\/proper.softlab.ntua.gr.  E. A. Manolis Papadakis and K. Sagonas. PropEr: A QuickCheck-Inspired Property-Based Testing Tool for Erlang. http:\/\/proper.softlab.ntua.gr."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2005.1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2005.141"},{"key":"e_1_3_2_1_24_1","author":"Zhang Y.","year":"2010","unstructured":"Y. Zhang , W. Fu , and J. Qian . Automatic Testing of Web Services in Haskell Platform. Journal of Computational Information Systems , 2010 . Y. Zhang, W. Fu, and J. Qian. Automatic Testing of Web Services in Haskell Platform. Journal of Computational Information Systems, 2010.","journal-title":"Journal of Computational Information Systems"}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Diego California USA","acronym":"POPL '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543741","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2543728.2543741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:15Z","timestamp":1750234215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,11]]},"references-count":22,"alternative-id":["10.1145\/2543728.2543741","10.1145\/2543728"],"URL":"https:\/\/doi.org\/10.1145\/2543728.2543741","relation":{},"subject":[],"published":{"date-parts":[[2014,1,11]]},"assertion":[{"value":"2014-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}