{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:55Z","timestamp":1772532955571,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319117423","type":"print"},{"value":"9783319117430","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11743-0_10","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T05:40:07Z","timestamp":1411537207000},"page":"142-157","source":"Crossref","is-referenced-by-count":15,"title":["A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages"],"prefix":"10.1007","author":[{"given":"Man","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huihui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments. ACM Trans. Softw. Eng. Methodol. 22 (1), Article 5 (2011)","DOI":"10.1145\/2430536.2430539"},{"key":"10_CR2","unstructured":"Zhang, M., Yue, T., Ali, S.: A Keyword and Restricted NL Based TCS Language for Au-tomated Testing. Simula Research Laboratory, Norway, Technical Report (2014-01)"},{"key":"10_CR3","unstructured":"Yue, T., Briand, L., Labiche, Y.: Automatically Deriving a UML Analysis Model from a Use Case Model. Simula Research Laboratory, Norway, Technical Report (2013)"},{"key":"10_CR4","unstructured":"Zhang, G., Yue, T., Wu, J., Ali, S.: Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework. In: Liu, Y., et al. (eds.) Demos\/Posters\/ StudentResearch@MoDELS. CEUR-WS, vol.\u00a01113, pp. 41\u201345 (2013)"},{"key":"10_CR5","unstructured":"Bruegge, B., Dutoit, A.H.: Object-Oriented Software Engineering Using UML, Patterns and Java. Prentice Hall (2004)"},{"key":"10_CR6","volume-title":"Use Case Modeling","author":"K. Bittner","year":"2002","unstructured":"Bittner, K.: Use Case Modeling. Addison-Wesley, Boston (2002)"},{"key":"10_CR7","unstructured":"Reid, S.: Software and systems engineering Software testing Part 1: Concepts and definitions. ISO\/IEC\/IEEE 29119-1, pp. 1\u201364 (2013)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Myers, G.J., Sandler, C., Badgett, T.: The art of software testing. John Wiley & Sons (2011)","DOI":"10.1002\/9781119202486"},{"key":"10_CR9","unstructured":"Binder, R.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Professional (2000)"},{"key":"10_CR10","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. In: 23rd International Conference on Software Engineering, pp. 737\u2013738. IEEE CS (2001)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Briand, L., Falessi, D., Nejati, S., Sabetzadeh, M., Yue, T.: Traceability and SysML De-sign Slices to Support Safety Inspections: A Controlled Experiment. ACM Trans. Softw. Eng. Methodol. 23 (1), Article 9 (2014)","DOI":"10.1145\/2559978"},{"key":"10_CR12","unstructured":"Capozucca, A., et al.: Requirements Definition Document for a Software Product Line of Car Crash Management Systems. ReMoDD (2011), http:\/\/bit.ly\/1jUkIhN"},{"key":"10_CR13","unstructured":"Zhang, G., Yue, T., Ali, S.: Modeling Crisis Management System with the Restricted Use Case Modeling Approach. In: Moreira, A., et al. (eds.) CMA@MODELS. CEUR-WS, vol.\u00a01079, paper 2 (2013)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Ali, S., Hemmati, H.: Model-based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results. In: IEEE International Conference on Software Testing, Veri-fication, and Validation (ICST), pp. 353\u2013362. IEEE CS (2014)","DOI":"10.1109\/ICST.2014.48"},{"key":"10_CR15","unstructured":"Barros, F.A., Neves, L., Hori, E., Torres, D.: The ucsCNL: A Controlled Natural Language for Use Case Specifications. In: SEKE, pp. 250\u2013253 (2011)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-24617-6_16","volume-title":"Formal Approaches to Software Testing","author":"M. Badri","year":"2004","unstructured":"Badri, M., Badri, L., Naha, M.: A use case driven testing process: Towards a formal approach based on UML collaboration diagrams. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 223\u2013235. Springer, Heidelberg (2004)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: Requirements by contracts allow au-tomated system testing. In: ISSRE 2003, pp. 85\u201396. IEEE CS (2003)","DOI":"10.1109\/ISSRE.2003.1251033"},{"key":"10_CR18","unstructured":"Ryser, J., Glinz, M.: A scenario-based approach to validating and testing software systems using statecharts. In: Proc. 12th International Conference on Software and Systems Engineering and their Applications (1999)"},{"key":"10_CR19","unstructured":"Tahat, L.H., Vaysburg, B., Korel, B., Bader, A.J.: Requirement-based automated black-box test generation. In: COMPSAC 2001, pp. 489\u2013495. IEEE CS (2001)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Algayres, B., Lejeuhe, Y., Hugonnet, F.: GOAL: Observing SDL Behavior with Object Code. In: Braek, R., Sarma, A. (eds.) SDL 1995 with MSC in CASE, pp. 26\u201329. Elsevier (1995)","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Bochmann, G., Petrenko, A., Bellal, O., Maguiraga, S.: Automating the process of test derivation from SDL specifications. In: Cavalli, A., Sarma, A. (eds.) SDL 1997: Time for Test-ing: SDL, MSC and Trends, pp. 261\u2013276. Elsevier (1997)","DOI":"10.1016\/B978-044482816-3\/50018-6"},{"key":"10_CR22","unstructured":"Br\u00f6mstrup, L., Hogrefe, D.: TESDL: Experience with generating test cases from SDL specifications. In: Linn, R.J., Uyar, \u00dc. (eds.) Conformance Testing Methodologies and Architectures for OSI Protocols, pp. 455\u2013467. IEEE CS (1995)"},{"issue":"17","key":"10_CR23","doi-asserted-by":"publisher","first-page":"1835","DOI":"10.1016\/S1389-1286(99)00063-8","volume":"31","author":"R. Dssouli","year":"1999","unstructured":"Dssouli, R., Saleh, K., Aboulhamid, E., Bourhfir, C.: Test development for communication protocols: towards automation. Computer Networks\u00a031(17), 1835\u20131872 (1999)","journal-title":"Computer Networks"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Tang, J., Cao, X., Ma, A.: Towards adaptive framework of keyword driven automation testing. In: Automation and Logistics, ICAL 2008, pp. 1631\u20131636. IEEE CS (2008)","DOI":"10.1109\/ICAL.2008.4636415"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Hametner, R., Winkler, D., Zoitl, A.: Agile testing concepts based on keyword-driven test-ing for industrial automation systems. In: IECON 2012, pp. 3727\u20133732. IEEE CS (2012)","DOI":"10.1109\/IECON.2012.6389298"},{"key":"10_CR26","unstructured":"Chelimsky, D., et al.: The RSpec book: Behaviour driven development with RSpec, Cu-cumber, and friends. Pragmatic Bookshelf (2010)"},{"key":"10_CR27","unstructured":"Beck, K.: Test-driven development: by example. Addison-Wesley Professional (2003)"},{"key":"10_CR28","unstructured":"North, D.: What\u2019s in a story (2009), http:\/\/dannorth.net\/whatsin-a-story"},{"key":"10_CR29","unstructured":"North, D.: Introducing BDD. Better Software (2006)"},{"key":"10_CR30","unstructured":"Cucumber, http:\/\/cukes.info\/"},{"key":"10_CR31","unstructured":"FitNesse, http:\/\/fitnesse.org\/FitNesse"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: Models and Reusability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11743-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T19:52:42Z","timestamp":1746388362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11743-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117423","9783319117430"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11743-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}