{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:59Z","timestamp":1772532959546,"version":"3.50.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319229683","type":"print"},{"value":"9783319229690","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22969-0_20","type":"book-chapter","created":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T08:51:42Z","timestamp":1440060702000},"page":"283-290","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Carvalho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fl\u00e1via","family":"Barros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Carvalho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,21]]},"reference":[{"key":"20_CR1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-05416-2_3","volume-title":"Formal Techniques for Safety-Critical Systems","author":"G Carvalho","year":"2014","unstructured":"Carvalho, G., Barros, F., Lapschies, F., Schulze, U., Peleska, J.: Model-based testing from controlled natural language requirements. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2013. CCIS, vol. 419, pp. 19\u201335. Springer, Heidelberg (2014)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-319-11737-9_4","volume-title":"Formal Methods and Software Engineering","author":"G Carvalho","year":"2014","unstructured":"Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A., Sampaio, A.: A formal model for natural-language timed requirements of reactive systems. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 43\u201358. Springer, Heidelberg (2014)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Carvalho, G., Falc\u00e3o, D., Barros, F., Sampaio, A., Mota, A., Motta, L., Blackburn, M.: NAT2TEST$$_{SCR}$$: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95, Part 3(0), 275\u2013297 (2014)","DOI":"10.1016\/j.scico.2014.06.007"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-41202-8_11","volume-title":"Formal Methods and Software Engineering","author":"G Carvalho","year":"2013","unstructured":"Carvalho, G., Sampaio, A., Mota, A.: A CSP timed input-output relation and a strategy for mechanised conformance verification. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol. 8144, pp. 148\u2013164. Springer, Heidelberg (2013)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Colombo, C., Micallef, M., Scerri, M.: Verifying web applications: from business level specifications to automated model-based testing. In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, 6 April 2014, Grenoble, France, pp. 14\u201328 (2014)","DOI":"10.4204\/EPTCS.141.2"},{"key":"20_CR6","unstructured":"Esser, M., Struss, P.: Obtaining models for test generation from natural-language like functional specifications. In: International Workshop on Principles of Diagnosis, pp. 75\u201382 (2007)"},{"key":"20_CR7","unstructured":"FAA: Requirements Engineering Management Findings Report. Technical report, U.S. Department of Transportation - Federal Aviation Administration (2009)"},{"key":"20_CR8","first-page":"1","volume-title":"Universals in Linguistic Theory","author":"CJ Fillmore","year":"1968","unstructured":"Fillmore, C.J.: The Case for case. In: Bach, H. (ed.) Universals in Linguistic Theory, pp. 1\u201388. Holt, Rinehart, and Winston, New York (1968)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using uppaal: status and future work. In: Perspectives of Model-Based Testing - Dagstuhl Seminar, vol. 04371 (2004)","DOI":"10.1007\/978-3-540-31848-4_6"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s00165-012-0258-z","volume":"26","author":"S Nogueira","year":"2014","unstructured":"Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Aspects Comput. 26(3), 441\u2013490 (2014)","journal-title":"Formal Aspects Comput."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11219-011-9155-6","volume":"20","author":"V Santiago Junior","year":"2012","unstructured":"Santiago Junior, V., Vijaykumar, N.L.: Generating model-based test cases from natural language requirements for space application software. Softw. Qual. J. 20, 77\u2013143 (2012)","journal-title":"Softw. Qual. J."},{"key":"20_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-1885-0","volume-title":"Efficient Parsing for Natural Language","author":"M Tomita","year":"1986","unstructured":"Tomita, M.: Efficient Parsing for Natural Language. Kluwer Academic Publishers, Boston (1986)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22969-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T04:31:29Z","timestamp":1675139489000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22969-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229683","9783319229690"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22969-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"21 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}