{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:46:33Z","timestamp":1730292393037,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/rcis.2011.6006841","type":"proceedings-article","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T19:31:24Z","timestamp":1315855884000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Contract-based test generation for data flow of business processes using constraint programming"],"prefix":"10.1109","author":[{"given":"A.","family":"Jimenez-Ramirez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.J.","family":"Varela-Vaca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes","author":"varela-vaca","year":"0","journal-title":"International Workshop on Principles of Diagnosis (DX 10)"},{"key":"ref11","first-page":"3","article-title":"Constraint Programming","author":"hentenryck","year":"0","journal-title":"Proceedings of the 5th International Conference on Evolutionary Multi-Criterion Optimization (EMO '09)"},{"key":"ref12","article-title":"An Overview of ML Tools and Applications","author":"lilian","year":"2005","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref13","article-title":"Aplicaciones de la teoria de grafos: busqueda de caminos en una red y analisis de su conectividad","volume":"46","author":"recuero","year":"1994","journal-title":"Informes de la Construccion [Online]"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73561"},{"journal-title":"Comet","year":"2010","key":"ref15"},{"journal-title":"Tredar application","year":"2011","key":"ref16"},{"year":"0","key":"ref17"},{"journal-title":"Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking","article-title":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAlC PART '06)","year":"0","key":"ref1a"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.24"},{"key":"ref19","first-page":"5","article-title":"Semi-Automatic Test Case Generation from Business Process Models","author":"bakota","year":"2009","journal-title":"Proceedings of the 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering (SPLST 2009 & NW-MODE 2009)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.16"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01924-1_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13911-6_35"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2006.261270"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566183"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007532"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2006.11"},{"key":"ref1","first-page":"441","article-title":"Testing BPEL-based Web Service Composition Using High-level Petri Nets","author":"dong","year":"0","journal-title":"Proc of EDOCW'06"},{"journal-title":"UML Testing Profile Specification v1 0 Technical report","year":"2005","key":"ref9"}],"event":{"name":"2011 IEEE Fifth International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2011,5,19]]},"location":"Gosier, France","end":{"date-parts":[[2011,5,21]]}},"container-title":["2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5992815\/6006819\/06006841.pdf?arnumber=6006841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T12:22:01Z","timestamp":1490098921000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6006841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/rcis.2011.6006841","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}