{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:56Z","timestamp":1772532956313,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319294728","type":"print"},{"value":"9783319294735","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29473-5_9","type":"book-chapter","created":{"date-parts":[[2016,1,23]],"date-time":"2016-01-23T07:58:11Z","timestamp":1453535891000},"page":"145-161","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Generation of Test Cases and Test Purposes from Natural Language"],"prefix":"10.1007","author":[{"given":"Sidney","family":"Nogueira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo L. S.","family":"Araujo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renata B. S.","family":"Araujo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juliano","family":"Iyoda","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":[[2016,1,24]]},"reference":[{"key":"9_CR1","unstructured":"Developers, A.: UIAutomator (2015). \n                      https:\/\/developer.android.com\/tools\/testing-support-library\/index.html"},{"key":"9_CR2","unstructured":"Bezerra, R.: Extra\u00e7\u00e3o Autom\u00e1tica de Modelos CSP a partir de Casos de Uso. Master\u2019s thesis, Center of Informatics of Federal University of Pernambuco (2011)"},{"key":"9_CR3","unstructured":"Boddu, R., et al.: RETNA: from requirements to testing in a natural way. In: Proceedings of the RE 2004, pp. 262\u2013271. IEEE, Washington (2004)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Brottier, E., Baudry, B., Traon, Y.L., Touzet, D., Nicolas, B.: Producing a global requirement model from multiple requirement specifications. In: Proceedings of the 11st edn. OC, EDOC 2007, p. 390. IEEE, Washington (2007)","DOI":"10.1109\/EDOC.2007.4384009"},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C Nebut","year":"2006","unstructured":"Nebut, C., et al.: Automatic test generation: a use case driven approach. IEEE Trans. Softw. Eng. 32(3), 140\u2013155 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Carvalho, G., et al.: Test case generation from natural language requirements based on SCR specifications. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC 2013, pp. 1217\u20131222. ACM, New York (2013)","DOI":"10.1145\/2480362.2480591"},{"key":"9_CR7","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., Lapschies, F., Schulze, U., Peleska, J., Barros, Fl\u00e1via: 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":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1007\/978-3-540-69507-3_74","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"J Drazan","year":"2007","unstructured":"Drazan, J., Mencl, V.: Improved processing of textual use cases: deriving behavior specifications. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 856\u2013868. Springer, Heidelberg (2007)"},{"key":"9_CR9","unstructured":"Ferreira, F., Neves, L., Silva, M., Borba, P.: TaRGeT: a model based product line testing tool. In: Proceedings of CBSoft 2010 \u2013 Tools Panel (2010)"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Thomas Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 17 a modern refinement checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 187\u2013201 (2014)"},{"key":"9_CR11","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River (1985)"},{"issue":"4","key":"9_CR12","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Technol. Transf. 7(4), 297\u2013315 (2005)","journal-title":"Int. J. Softw. Technol. Transf."},{"key":"9_CR13","volume-title":"Eclipse Rich Client Platform: Designing, Coding, and Packaging Java(TM) Applications","author":"J McAffer","year":"2005","unstructured":"McAffer, J., et al.: Eclipse Rich Client Platform: Designing, Coding, and Packaging Java(TM) Applications. Addison-Wesley Professional, Lebanon (2005)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-85762-4_18","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"S Nogueira","year":"2008","unstructured":"Nogueira, S., Sampaio, A., Mota, A.M.: Guided test generation from CSP models. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 258\u2013273. Springer, Heidelberg (2008)"},{"issue":"3","key":"9_CR15","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":"9_CR16","unstructured":"Oracle: Java JSE, July 2015. \n                      http:\/\/www.oracle.com\/"},{"key":"9_CR17","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1998)"},{"key":"9_CR18","series-title":"Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"AW Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Texts in Computer Science. Springer, London (2010)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11219-011-9155-6","volume":"20","author":"VADS J\u00fanior","year":"2012","unstructured":"J\u00fanior, V.A.D.S., Vijaykumar, N.L.: Generating model-based test cases from natural language requirements for space application software. Software Qual. J. 20(1), 77\u2013143 (2012)","journal-title":"Software Qual. J."},{"key":"9_CR20","unstructured":"Schwitter, R., Fuchs, N.E.: Attempto - from specifications in controlled natural language towards executable specifications. In: CoRR cmp-lg\/9603004 (1996)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Sinha, A., Sutton, M.S., Paradkar, A.: Text2test: automated inspection of natural language use cases. In: Proceedings of the ICST 2010, ICST 2010, pp. 155\u2013164. IEEE Computer Society, Washington (2010)","DOI":"10.1109\/ICST.2010.19"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.infsof.2005.02.006","volume":"48","author":"SS Som\u00e9","year":"2006","unstructured":"Som\u00e9, S.S.: Supporting use case based requirements engineering. Inf. Soft. Technol. 48(1), 43\u201358 (2006)","journal-title":"Inf. Soft. Technol."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Som\u00e9, S.S., Cheng, X.: An approach for supporting system-level test scenarios generation from textual use cases. In: Proceedings of SAC 2008, pp. 724\u2013729. ACM, New York (2008)","DOI":"10.1145\/1363686.1363857"},{"key":"9_CR24","volume-title":"The Art of Prolog","author":"L Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Veanes, M., Campbell, C., Schulte, W., Tillmann, N.: Online testing with model programs. In: Proceedings of the 10th European Software Engineering Conference, ESEC\/FSE-13, pp. 273\u2013282. ACM, New York (2005)","DOI":"10.1145\/1081706.1081751"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29473-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:19:11Z","timestamp":1559387951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29473-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319294728","9783319294735"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29473-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}