{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T15:22:27Z","timestamp":1780500147347,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T00:00:00Z","timestamp":1436745600000},"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":[[2015,7,13]]},"DOI":"10.1145\/2771783.2771799","type":"proceedings-article","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T14:10:55Z","timestamp":1436537455000},"page":"397-408","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["RTCM: a natural language based, automated, and practical test case generation framework"],"prefix":"10.1145","author":[{"given":"Tao","family":"Yue","sequence":"first","affiliation":[{"name":"Simula Research Laboratory, Norway \/ University of Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Man","family":"Zhang","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"223","volume-title":"The Proceedings of SDL\u201995","author":"Algayres B."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0206-z"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.48"},{"key":"e_1_3_2_1_4_1","unstructured":"Ali S. Hemmati H. Holt N.E. Arisholm E. and Briand L.C. 2010. Model transformations as a strategy to automate model-based testing-A tool and industrial case studies. Simula Research Laboratory Technical Report (2010-01).  Ali S. Hemmati H. Holt N.E. Arisholm E. and Briand L.C. 2010. Model transformations as a strategy to automate model-based testing-A tool and industrial case studies. Simula Research Laboratory Technical Report (2010-01)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Ali S. Zohaib Iqbal M. Khalid M. and Andrea A. 2015. Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach. Empirical Software Engineering.  Ali S. Zohaib Iqbal M. Khalid M. and Andrea A. 2015. Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach. Empirical Software Engineering.","DOI":"10.1007\/s10664-015-9392-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Badri M. Badri L. and Naha M. 2004. A use case driven testing process: Towards a formal approach based on UML collaboration diagrams. In Formal Approaches to Software Testing Springer 223-235.  Badri M. Badri L. and Naha M. 2004. A use case driven testing process: Towards a formal approach based on UML collaboration diagrams. In Formal Approaches to Software Testing Springer 223-235.","DOI":"10.1007\/978-3-540-24617-6_16"},{"key":"e_1_3_2_1_7_1","first-page":"250","article-title":"The ucsCNL: A Controlled Natural Language for Use Case Specifications","author":"Barros F.A.","year":"2011","journal-title":"Seke"},{"key":"e_1_3_2_1_8_1","volume-title":"Test-driven development: by example","author":"Beck K."},{"key":"e_1_3_2_1_9_1","volume-title":"Use case modeling","author":"Bittner K."},{"issue":"22","key":"e_1_3_2_1_10_1","first-page":"261","article-title":"Automating the process of test derivation from SDL specifications","volume":"97","author":"Bochmann G.V.","year":"1997","journal-title":"Sdl"},{"key":"e_1_3_2_1_11_1","unstructured":"Br\u00f6mstrup L. and Hogrefe D. 1995. TESDL: experience with generating test cases from SDL specifications. In Conformance testing methodologies and architectures for OSI protocols IEEE Computer Society Press 455-467.   Br\u00f6mstrup L. and Hogrefe D. 1995. TESDL: experience with generating test cases from SDL specifications. In Conformance testing methodologies and architectures for OSI protocols IEEE Computer Society Press 455-467."},{"key":"e_1_3_2_1_12_1","unstructured":"Bruegge B. and Dutoit A.H. 2004. Object-Oriented Software Engineering Using UML Patterns and Java- (Required). Prentice Hall.   Bruegge B. and Dutoit A.H. 2004. Object-Oriented Software Engineering Using UML Patterns and Java- (Required). Prentice Hall."},{"key":"e_1_3_2_1_13_1","unstructured":"Chelimsky D. Astels D. Helmkamp B. North D. Dennis Z. and Hellesoy A. 2010. The RSpec book: Behaviour driven development with Rspec Cucumber and friends. Pragmatic Bookshelf.   Chelimsky D. Astels D. Helmkamp B. North D. Dennis Z. and Hellesoy A. 2010. The RSpec book: Behaviour driven development with Rspec Cucumber and friends. Pragmatic Bookshelf."},{"key":"e_1_3_2_1_14_1","unstructured":"Cucumber 2014. cucumber: Simple human collaboration. https:\/\/cucumber.io\/.  Cucumber 2014. cucumber: Simple human collaboration. https:\/\/cucumber.io\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00063-8"},{"key":"e_1_3_2_1_16_1","unstructured":"Fitnesse 2015. FitNesse. http:\/\/fitnesse.org\/FitNesse.  Fitnesse 2015. FitNesse. http:\/\/fitnesse.org\/FitNesse."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.06.026"},{"key":"e_1_3_2_1_18_1","volume-title":"IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society IEEE, 3727-3732","author":"Hametner R."},{"key":"e_1_3_2_1_19_1","first-page":"261","volume-title":"Requirements Engineering Conference (RE)","author":"Hesari S.","year":"2013"},{"key":"e_1_3_2_1_20_1","volume-title":"Software and systems engineering-Software testing-Part 1: Concepts and definitions","author":"Iso","year":"2013"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1166253.1166275"},{"key":"e_1_3_2_1_22_1","unstructured":"Mugridge R. and Cunningham W. 2005. Fit for developing software: framework for integrated tests. Pearson Education.   Mugridge R. and Cunningham W. 2005. Fit for developing software: framework for integrated tests. Pearson Education."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Myers G.J. Sandler C. and Badgett T. 2011. The art of software testing. John Wiley & Sons.   Myers G.J. Sandler C. and Badgett T. 2011. The art of software testing. John Wiley & Sons.","DOI":"10.1002\/9781119202486"},{"key":"e_1_3_2_1_24_1","volume-title":"Software Reliability Engineering, 2003. ISSRE 2003.","author":"Nebut C."},{"key":"e_1_3_2_1_25_1","volume-title":"International Symposium on IEEE, 85-96"},{"key":"e_1_3_2_1_26_1","unstructured":"North D. 2006.  North D. 2006."},{"key":"e_1_3_2_1_27_1","unstructured":"Introducing behaviour driven development. Better Software.  Introducing behaviour driven development. Better Software."},{"key":"e_1_3_2_1_28_1","volume-title":"Nov., 2014. http:\/\/dannorth.net\/2007\/06\/17\/introducing-rbehave\/.","author":"North D.","year":"2007"},{"key":"e_1_3_2_1_29_1","volume-title":"Nov., 2014. http:\/\/dannorth.net\/whats-in-a-story\/.","author":"North D.","year":"2007"},{"key":"e_1_3_2_1_30_1","unstructured":"Omg 2014. Meta Object Facility (MOF) Core Specification (Version 2.4.2).  Omg 2014. Meta Object Facility (MOF) Core Specification (Version 2.4.2)."},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. 12th International Conference on Software and Systems Engineering and their Applications Citeseer.","author":"Ryser J."},{"key":"e_1_3_2_1_32_1","volume-title":"Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International IEEE, 489-495","author":"Tahat L.H."},{"key":"e_1_3_2_1_33_1","volume-title":"Automation and Logistics, 2008. ICAL 2008. IEEE International Conference on IEEE, 1631-1636","author":"Tang J."},{"key":"e_1_3_2_1_34_1","volume-title":"Software Engineering (ICSE), 2012 34th International Conference on IEEE, 881-891","author":"Thummalapenta S."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771812"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699697"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430539"},{"key":"e_1_3_2_1_38_1","unstructured":"Zhang G. Yue T. Wu J. and Ali S. 2013. Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework. In Demos\/Posters \/StudentResearch@ MoDELS Citeseer 41-45.  Zhang G. Yue T. Wu J. and Ali S. 2013. Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework. In Demos\/Posters \/StudentResearch@ MoDELS Citeseer 41-45."},{"key":"e_1_3_2_1_39_1","first-page":"142","article-title":"A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages","author":"Zhang M.","year":"2014","journal-title":"System Analysis and Modeling: Models and Reusability Springer"}],"event":{"name":"ISSTA '15: International Symposium on Software Testing and Analysis","location":"Baltimore MD USA","acronym":"ISSTA '15","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771799","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2771783.2771799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:14Z","timestamp":1750230074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,13]]},"references-count":39,"alternative-id":["10.1145\/2771783.2771799","10.1145\/2771783"],"URL":"https:\/\/doi.org\/10.1145\/2771783.2771799","relation":{},"subject":[],"published":{"date-parts":[[2015,7,13]]},"assertion":[{"value":"2015-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}