{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T19:03:55Z","timestamp":1780340635219,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642390128","type":"print"},{"value":"9783642390135","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39013-5_14","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T12:30:46Z","timestamp":1372163446000},"page":"192-206","source":"Crossref","is-referenced-by-count":6,"title":["Experience with Industrial Adoption of Business Process Models for User Acceptance Testing"],"prefix":"10.1007","author":[{"given":"Deepali","family":"Kholkar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pooja","family":"Yelure","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Harshit","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ajay","family":"Deshpande","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aditya","family":"Shetye","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Kholkar, D., Goenka, N., Gupta, P.: Automating Functional Testing using Business Process Flows. In: 4th ISEC 2nd Workshop on Advances in Model-Based Software Engineering (2011)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Sarma, M., Murthy, P.V.R., Jell, S., Ulrich, A.: Model-Based Testing in Industry: A Case Study with Two MBT Tools. In: ACM Proceedings of 28th International Conference on Software Engineering (ICSE), Cape Town, South Africa, May 7-9 (2011)","DOI":"10.1145\/1808266.1808279"},{"key":"14_CR3","unstructured":"ARIS: http:\/\/www.ariscommunity.com\/test-designer"},{"key":"14_CR4","unstructured":"Smartesting, http:\/\/www.smartesting.com\/index.php\/cms\/en\/solution\/why-smartesting"},{"key":"14_CR5","unstructured":"Conformiq, http:\/\/www.conformiq.com\/cases\/"},{"key":"14_CR6","unstructured":"Craggs, I., Sardis, M., Heuillard, T.: AGEDIS Case Studies: Model-Based Testing in Industry. In: Proc. 1st Eur. Conf. on Model Driven Software Engineering, pp. 129\u2013132 (2003)"},{"key":"14_CR7","unstructured":"Hartman, A.: Adaptation of Model Based Testing to Industry, Agile and Automated Testing Seminar, Tampere University of Technology (2006)"},{"key":"14_CR8","unstructured":"Symbolic Analysis Laboratory (SAL) model checker, http:\/\/sal.csl.sri.com"},{"key":"14_CR9","unstructured":"Combinatorial and Pairwise Testing, http:\/\/csrc.nist.gov\/groups\/SNS\/acts\/index.html"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/s11334-005-0006-0","volume":"1","author":"J. Hartmann","year":"2005","unstructured":"Hartmann, J., Vieira, M., Foster, H., Ruder, A.: A UML Based Approach to System Testing. Innovations in Systems and Software Engineering\u00a01(1), 12\u201324 (2005)","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L.C. Briand","year":"2002","unstructured":"Briand, L.C., Labiche, Y.: A UML-based approach to system testing. Software Syst. Model\u00a01(1), 10\u201342 (2002)","journal-title":"Software Syst. Model"},{"key":"14_CR12","unstructured":"Bakota, T., Besz\u00e9des, \u00c1., Gergely, T., Gyalai, M.I., Gyim\u00f3thy, T., F\u00fcleki, D.: Semi-Automatic Test Case Generation from Business Process Models SPLST 2009 and NW-MODE 2009 (2009)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39013-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T15:53:05Z","timestamp":1688313185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39013-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390128","9783642390135"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39013-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}