{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:16:00Z","timestamp":1772532960167,"version":"3.50.1"},"reference-count":17,"publisher":"World Scientific Pub Co Pte Ltd","issue":"09","funder":[{"name":"Vietnam National Foundation for Science and Technology Development","award":["102.03-2014.23"],"award-info":[{"award-number":["102.03-2014.23"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2019,9]]},"abstract":"<jats:p>This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (USL)-based Test Generation). We first focus on developing a modeling language named Test Case Specification Language (TCSL) in order to express test cases. Test cases in TCSL can contain detailed information including test steps, test objects within steps, actions of test objects, and test data. Such information is often ignored in currently available test case specifications. We then aim to generate test cases in a TCSL model by a transformation from use cases that are represented by a USL. The USLTG transformation includes three main steps in generating (1) scenarios, (2) test data, and (3) a TCSL model. Within our transformation, the OCL solver is employed in order to build system snapshots as the part of test cases and to identify other test data. We applied our method to two case studies and evaluated our method by comparing it with other recent works.<\/jats:p>","DOI":"10.1142\/s0218194019500414","type":"journal-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T07:31:29Z","timestamp":1570692689000},"page":"1313-1345","source":"Crossref","is-referenced-by-count":8,"title":["USLTG: Test Case Automatic Generation by Transforming Use Cases"],"prefix":"10.1142","volume":"29","author":[{"given":"Chu Thi Minh","family":"Hue","sequence":"first","affiliation":[{"name":"Hung Yen University of Technology and Education, Vietnam"}]},{"given":"Duc-Hanh","family":"Dang","sequence":"additional","affiliation":[{"name":"Hosei University, Japan"}]},{"given":"Nguyen Ngoc","family":"Binh","sequence":"additional","affiliation":[{"name":"Hosei University, Japan"}]},{"given":"Anh-Hoang","family":"Truong","sequence":"additional","affiliation":[{"name":"Department of Software Engineering, VNU University of Engineering and Technology, Vietnam"}]}],"member":"219","published-online":{"date-parts":[[2019,10,10]]},"reference":[{"key":"S0218194019500414BIB001","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"Utting M.","year":"2007"},{"key":"S0218194019500414BIB002","volume-title":"Learning Selenium Testing Tools","author":"Mg R. P.","year":"2015","edition":"3"},{"key":"S0218194019500414BIB004","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771812"},{"key":"S0218194019500414BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.12.008"},{"key":"S0218194019500414BIB006","doi-asserted-by":"publisher","DOI":"10.1145\/1145581.1145606"},{"key":"S0218194019500414BIB007","doi-asserted-by":"publisher","DOI":"10.1145\/2723742.2723761"},{"key":"S0218194019500414BIB008","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.22"},{"key":"S0218194019500414BIB009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35623-0_18"},{"key":"S0218194019500414BIB010","doi-asserted-by":"publisher","DOI":"10.15439\/2014F342"},{"key":"S0218194019500414BIB011","doi-asserted-by":"publisher","DOI":"10.31449\/inf.v42i3.2253"},{"key":"S0218194019500414BIB012","doi-asserted-by":"publisher","DOI":"10.1109\/KSE.2018.8573372"},{"key":"S0218194019500414BIB013","volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","author":"Jacobson I.","year":"2004"},{"key":"S0218194019500414BIB017","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"S0218194019500414BIB018","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.3.a1"},{"key":"S0218194019500414BIB019","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-12838-2","volume-title":"From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice","author":"Smialek M.","year":"2015"},{"key":"S0218194019500414BIB020","first-page":"205","volume-title":"Proc. Modellierung","author":"Gogolla M.","year":"2016"},{"key":"S0218194019500414BIB022","first-page":"37","volume":"11","author":"Boghdady P.","year":"2011","journal-title":"Int. J. Eng. Technol."}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194019500414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T12:46:28Z","timestamp":1695300388000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194019500414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":17,"journal-issue":{"issue":"09","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["10.1142\/S0218194019500414"],"URL":"https:\/\/doi.org\/10.1142\/s0218194019500414","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}