{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T17:38:05Z","timestamp":1672940285708},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,10,2]],"date-time":"2011-10-02T00:00:00Z","timestamp":1317513600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11334-011-0162-3","type":"journal-article","created":{"date-parts":[[2011,10,1]],"date-time":"2011-10-01T05:16:19Z","timestamp":1317446179000},"page":"275-282","source":"Crossref","is-referenced-by-count":7,"title":["Test data generation for web application using a UML class diagram with OCL constraints"],"prefix":"10.1007","volume":"7","author":[{"given":"Shoichiro","family":"Fujiwara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuki","family":"Munakata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiharu","family":"Maeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asako","family":"Katayama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tadahiro","family":"Uehara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,2]]},"reference":[{"key":"162_CR1","unstructured":"Alloy community. http:\/\/alloy.mit.edu\/community\/"},{"key":"162_CR2","doi-asserted-by":"crossref","unstructured":"Binnig C, Kossmann D, Lo E (2007) Reverse query processing. In: Proceedings of the IEEE international conference on data engineering, pp 506\u2013515","DOI":"10.1109\/ICDE.2007.367896"},{"key":"162_CR3","doi-asserted-by":"crossref","unstructured":"Cabot J, Claris\u00f3 R, Riera D (2008) Verification of UML\/OCL class diagrams using constraint programming. In: Proceedings of the 2008 IEEE international conference on software testing verification and validation workshop. IEEE Computer Society, Washington, DC, USA, pp 73\u201380","DOI":"10.1109\/ICSTW.2008.54"},{"issue":"10","key":"162_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/317665.317677","volume":"42","author":"J Conallen","year":"1999","unstructured":"Conallen J (1999) Modeling web application architectures with UML. Commun ACM 42(10): 63\u201370","journal-title":"Commun ACM"},{"key":"162_CR5","doi-asserted-by":"crossref","unstructured":"Khalek SA, Elkarablieh B, Laleye YO, Khurshid S (2008) Query-aware test generation using a relational constraint solver. In: Proceedings of the 2008 23rd IEEE\/ACM international conference on automated software engineering, pp 238\u2013247","DOI":"10.1109\/ASE.2008.34"},{"issue":"4","key":"162_CR6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1023\/B:AUSE.0000038938.10589.b9","volume":"11","author":"S Khurshid","year":"2004","unstructured":"Khurshid S, Marinov D (2004) TestEra: specification-based testing of Java programs using SAT. Autom Softw Eng J 11(4): 403\u2013434","journal-title":"Autom Softw Eng J"},{"key":"162_CR7","doi-asserted-by":"crossref","unstructured":"Kiezn A, Ganesh V, Guo PJ, Hooimeijer P, Ernst MD (2009) HAMPI: a solver for string constraints. In: Proceedings of the 18th international symposium on software testing and analysis, pp 105\u2013116","DOI":"10.1145\/1572272.1572286"},{"key":"162_CR8","unstructured":"Koch N, Kraus A (2002) The expressive power of UML-based web engineering. In: Proceedings of the second international workshop on web oriented software technology, pp 105\u2013119"},{"key":"162_CR9","unstructured":"Pex, automated white box testing for .NET. http:\/\/research.microsoft.com\/en-us\/projects\/pex\/"},{"key":"162_CR10","unstructured":"WebML. http:\/\/www.webml.org\/"},{"key":"162_CR11","unstructured":"Yices: An SMT solver. http:\/\/yices.csl.sri.com\/"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0162-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0162-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0162-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T17:36:04Z","timestamp":1560706564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0162-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,2]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["162"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0162-3","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,2]]}}}