{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:32Z","timestamp":1750306772294,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,28]],"date-time":"2013-09-28T00:00:00Z","timestamp":1380326400000},"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":[[2013,9,28]]},"DOI":"10.1145\/2505305.2505306","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"79-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Turning web services descriptions into quickcheck models for automatic testing"],"prefix":"10.1145","author":[{"given":"Miguel A.","family":"Francisco","sequence":"first","affiliation":[{"name":"Interoud Innovations SL, A Coru\u00f1a, Spain"}]},{"given":"Mac\u00edas","family":"L\u00f3pez","sequence":"additional","affiliation":[{"name":"University of A Coru\u00f1a, A Coru\u00f1a, Spain"}]},{"given":"Henrique","family":"Ferreiro","sequence":"additional","affiliation":[{"name":"University of A Coru\u00f1a, A Coru\u00f1a, Spain"}]},{"given":"Laura M.","family":"Castro","sequence":"additional","affiliation":[{"name":"University of A Coru\u00f1a, A Coru\u00f1a, Spain"}]}],"member":"320","published-online":{"date-parts":[[2013,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"BNFC. http:\/\/bnfc.digitalgrammars.com\/.  BNFC. http:\/\/bnfc.digitalgrammars.com\/."},{"key":"e_1_3_2_1_2_1","unstructured":"OCLNL. http:\/\/www.key-project.org\/oclnl\/.  OCLNL. http:\/\/www.key-project.org\/oclnl\/."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/www.prowessproject.eu","author":"Web PROWESS","year":"2013","unstructured":"PROWESS Project (Property-based Testing for Web Services). http:\/\/www.prowessproject.eu , 2013 . PROWESS Project (Property-based Testing for Web Services). http:\/\/www.prowessproject.eu, 2013."},{"key":"e_1_3_2_1_4_1","volume-title":"http:\/\/axis.apache.org\/","author":"Apache","year":"2013","unstructured":"Apache. Apache Axis2. http:\/\/axis.apache.org\/ , 2013 \\. Apache. Apache Axis2. http:\/\/axis.apache.org\/, 2013\\."},{"key":"e_1_3_2_1_5_1","volume-title":"http:\/\/cxf.apache.org\/","author":"Apache","year":"2013","unstructured":"Apache. Apache CXF. http:\/\/cxf.apache.org\/ , 2013 \\. Apache. Apache CXF. http:\/\/cxf.apache.org\/, 2013\\."},{"key":"e_1_3_2_1_6_1","volume-title":"Erlang QuickCheck. phNinth International Erlang\/OTP User Conference","author":"Arts T.","year":"2003","unstructured":"T. Arts and J. Hughes . Erlang QuickCheck. phNinth International Erlang\/OTP User Conference , 2003 . T. Arts and J. Hughes. Erlang QuickCheck. phNinth International Erlang\/OTP User Conference, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411275"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCNT.2010.5591616"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.111"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.28"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"D. Crockford. The application\/json media type for javascript object notation (JSON). http:\/\/www.ietf.org\/rfc\/rfc4627 2006.  D. Crockford. The application\/json media type for javascript object notation (JSON). http:\/\/www.ietf.org\/rfc\/rfc4627 2006.","DOI":"10.17487\/rfc4627"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939101.1939123"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1210525.1210527"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/263244.263267"},{"key":"e_1_3_2_1_18_1","first-page":"356","article-title":"Labelled bnf: a highlevel formalism for defining well-behaved programming languages","volume":"52","author":"Forsberg M.","year":"2003","unstructured":"M. Forsberg and A. Ranta . Labelled bnf: a highlevel formalism for defining well-behaved programming languages . In Estonian Academy of Sciences: Physics and Mathematics , 52 : 356 ?377, 2003 . M. Forsberg and A. Ranta. Labelled bnf: a highlevel formalism for defining well-behaved programming languages. In Estonian Academy of Sciences: Physics and Mathematics, 52:356?377, 2003.","journal-title":"Estonian Academy of Sciences: Physics and Mathematics"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2428516.2428525"},{"key":"e_1_3_2_1_20_1","first-page":"3","volume-title":"Automatic WSDL-guided test case generation for proper testing of web services","author":"Lampropoulos K.","year":"2012","unstructured":"K. Lampropoulos , L. Sagonas . Automatic WSDL-guided test case generation for proper testing of web services . pages 3 -- 16 , 2012 . K. Lampropoulos, L. Sagonas. Automatic WSDL-guided test case generation for proper testing of web services. pages 3--16, 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.32"},{"key":"e_1_3_2_1_22_1","first-page":"171","volume-title":"International Conference on Semantic Web and Web Services, SWWS 2008","author":"Noikajana S.","year":"2008","unstructured":"S. Noikajana and T. Suwannasart . An approach for web service test case generation based on web service semantics . In International Conference on Semantic Web and Web Services, SWWS 2008 , pages 171 -- 177 , 2008 . S. Noikajana and T. Suwannasart. An approach for web service test case generation based on web service semantics. In International Conference on Semantic Web and Web Services, SWWS 2008, pages 171--177, 2008."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.25"},{"key":"e_1_3_2_1_24_1","unstructured":"}bpelOASIS Project. Business Process Execution Language (BPEL). https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel.  }bpelOASIS Project. Business Process Execution Language (BPEL). https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel."},{"key":"e_1_3_2_1_25_1","unstructured":"013)}oclOMG. Object Constraint Language (OCL). http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/ 2013.  013)}oclOMG. Object Constraint Language (OCL). http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/ 2013."},{"key":"e_1_3_2_1_26_1","volume-title":"phManaging Software Testing","author":"Farrell-Vinay P.","year":"2008","unstructured":"P. Farrell-Vinay . phManaging Software Testing . Auerbach Publishers , 2008 . P. Farrell-Vinay. phManaging Software Testing. Auerbach Publishers, 2008."},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","volume-title":"Why automata models are sexy for testers? (invited talk)","author":"Petrenko A.","year":"2007","unstructured":"A. Petrenko . Why automata models are sexy for testers? (invited talk) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 2007 . A. Petrenko. Why automata models are sexy for testers? (invited talk). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.168"},{"key":"e_1_3_2_1_29_1","volume-title":"http:\/\/www.w3.org\/Submission\/SWRL\/","author":"Rule C. Semantic Web","year":"2013","unstructured":"C. Semantic Web Rule Language (SWRL). http:\/\/www.w3.org\/Submission\/SWRL\/ , 2013 \\. C. Semantic Web Rule Language (SWRL). http:\/\/www.w3.org\/Submission\/SWRL\/, 2013\\."},{"key":"e_1_3_2_1_30_1","volume-title":"http:\/\/www.w3.org\/TR\/wsdl","author":"Description C. Web Services","year":"2013","unstructured":"C. Web Services Description Language (WSDL). http:\/\/www.w3.org\/TR\/wsdl , 2013 . C. Web Services Description Language (WSDL). http:\/\/www.w3.org\/TR\/wsdl, 2013."},{"key":"e_1_3_2_1_31_1","volume-title":"http:\/\/www.w3.org\/Submission\/WSDL-S\/","author":"C. Web Services","year":"2013","unstructured":"C. Web Services Semantics (WSDL-S). http:\/\/www.w3.org\/Submission\/WSDL-S\/ , 2013 . C. Web Services Semantics (WSDL-S). http:\/\/www.w3.org\/Submission\/WSDL-S\/, 2013."},{"key":"e_1_3_2_1_32_1","unstructured":"C. eXtensible Markup Language (XML). http:\/\/www.w3.org\/XML\/ 2013.  C. eXtensible Markup Language (XML). http:\/\/www.w3.org\/XML\/ 2013."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.2.3.64-77"}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston Massachusetts USA","acronym":"ICFP'13"},"container-title":["Proceedings of the twelfth ACM SIGPLAN workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505305.2505306","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2505305.2505306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:57Z","timestamp":1750231737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505305.2505306"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,28]]},"references-count":34,"alternative-id":["10.1145\/2505305.2505306","10.1145\/2505305"],"URL":"https:\/\/doi.org\/10.1145\/2505305.2505306","relation":{},"subject":[],"published":{"date-parts":[[2013,9,28]]},"assertion":[{"value":"2013-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}