{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T05:03:54Z","timestamp":1764306234415,"version":"3.46.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032120854"},{"type":"electronic","value":"9783032120861"}],"license":[{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-12086-1_6","type":"book-chapter","created":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:36:12Z","timestamp":1764146172000},"page":"101-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Deriving Sound Test Scripts from\u00a0Requirements Written in\u00a0a\u00a0Controlled Natural Language"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1111-9142","authenticated-orcid":false,"given":"Filipe","family":"Arruda","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1280-0251","authenticated-orcid":false,"given":"Fl\u00e1via","family":"Barros","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6593-577X","authenticated-orcid":false,"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,27]]},"reference":[{"key":"6_CR1","unstructured":"Android: Android uiautomator description (2015). http:\/\/developer.android.com\/tools\/help\/uiautomator\/index.html. Accessed 25 Mar 2015"},{"key":"6_CR2","unstructured":"Angelov, K.: The Mechanics of the Grammatical Framework. Chalmers Tekniska Hogskola (Sweden) (2011)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Arruda, F., Barros, F., Sampaio, A.: Extended version: deriving sound test scripts from requirements written in a controlled natural language. https:\/\/github.com\/fmca\/sbmf2025 (2025)","DOI":"10.1007\/978-3-032-12086-1_6"},{"key":"6_CR4","unstructured":"Brinksma, E.: A theory for the derivation of tests. In: Proceedings of the 8th International Conference Protocol Specification, Testing and Verification, pp. 63\u201374. North-Holland (1988)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Carvalho, G., et al.: NAT2TESTSCR: test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95, 275\u2013297 (2014)","DOI":"10.1016\/j.scico.2014.06.007"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Cavalcanti, A., Hierons, R.M., Nogueira, S., Sampaio, A.: A suspension-trace semantics for CSP. In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17\u201319, 2016, pp. 3\u201313 (2016). https:\/\/doi.org\/10.1109\/TASE.2016.9","DOI":"10.1109\/TASE.2016.9"},{"key":"6_CR7","unstructured":"Ferreira, F., Neves, L., Silva, M., Borba, P.: Target: a model based product line testing tool. Tools Session of CBSoft (2010)"},{"key":"6_CR8","unstructured":"Fillmore, C.J.: The case for case\u2019in bach & harms (eds.) universals in linguistic theory. Holt, Rinehart, and Winston (1968)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M-C Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing can be formal, too. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 82\u201396. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59293-8_188"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Grechanik, M., Xie, Q., Fu, C.: Maintaining and evolving GUI-directed test scripts. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009, pp. 408\u2013418. IEEE Computer Society, Washington, DC, USA (2009). https:\/\/doi.org\/10.1109\/ICSE.2009.5070540","DOI":"10.1109\/ICSE.2009.5070540"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Gruzitis, N., Paikens, P., Barzdins, G.: Framenet resource grammar library for GF. In: International Workshop on Controlled Natural Language, pp. 121\u2013137. Springer (2012)","DOI":"10.1007\/978-3-642-32612-7_9"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Li, C.: Mobile GUI test script generation from natural language descriptions using pre-trained model. In: 2022 IEEE\/ACM 9th International Conference on Mobile Software Engineering and Systems (MobileSoft), pp. 112\u2013113. IEEE (2022)","DOI":"10.1145\/3524613.3527809"},{"key":"6_CR13","unstructured":"Minsky, M.: A framework for representing knowledge. The Psychology of Computer Vision (1975)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Asp. Comput. 26(3), 441\u2013490 (2014)","DOI":"10.1007\/s00165-012-0258-z"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Rafi, D.M., Moses, K.R.K., Petersen, K., M\u00e4ntyl\u00e4, M.V.: Benefits and limitations of automated software testing: Systematic literature review and practitioner survey. In: 2012 7th International Workshop on Automation of Software Test (AST), pp. 36\u201342. IEEE (2012)","DOI":"10.1109\/IWAST.2012.6228988"},{"key":"6_CR16","unstructured":"Ranta, A.: Grammatical framework: Programming with multilingual grammars, vol. 173. CSLI Publications, Center for the Study of Language and Information Stanford (2011)"},{"key":"6_CR17","unstructured":"Roscoe, B.: An operational semantics for CSP (1986)"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Sampaio, A., Nogueira, S., Mota, A., Isobe, Y.: Sound and mechanised compositional verification of input-output conformance. Softw. Test., Verif. Reliab. 24(4), 289\u2013319 (2014). https:\/\/doi.org\/10.1002\/stvr.1498","DOI":"10.1002\/stvr.1498"},{"issue":"3","key":"6_CR19","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"6_CR20","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Advances in Neural Information Processing Systems, vol. 30 (2017)"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Wang, C., Pastore, F., Goknil, A., Briand, L.C., Iqbal, Z.: UMTG: A toolset to automatically generate system test cases from use case specifications. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 942\u2013945. ESEC\/FSE 2015, ACM, New York, NY, USA (2015).https:\/\/doi.org\/10.1145\/2786805.2803187","DOI":"10.1145\/2786805.2803187"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Wang, J., Huang, Y., Chen, C., Liu, Z., Wang, S., Wang, Q.: Software testing with large language models: survey, landscape, and vision. IEEE Trans. Softw. Eng. 50(4), 911\u2013936 (2024)","DOI":"10.1109\/TSE.2024.3368208"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Wong, E., Zhang, L., Wang, S., Liu, T., Tan, L.: Dase: document-assisted symbolic execution for improving automated software testing. In: 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineeringm vol.\u00a01, pp. 620\u2013631. IEEE (2015)","DOI":"10.1109\/ICSE.2015.78"},{"key":"6_CR24","unstructured":"Wynne, M., Hellesoy, A.: The cucumber book: behaviour-driven development for testers and developers. Pragmatic Bookshelf (2012)"},{"key":"6_CR25","doi-asserted-by":"publisher","unstructured":"Yue, T., Ali, S., Zhang, M.: RTCM: a natural language based, automated, and practical test case generation framework. In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, pp. 397\u2013408. ISSTA 2015, ACM, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2771783.2771799","DOI":"10.1145\/2771783.2771799"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12086-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:02:06Z","timestamp":1764284526000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12086-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,27]]},"ISBN":["9783032120854","9783032120861"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12086-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,27]]},"assertion":[{"value":"27 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Recife","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sbmf2025.ufrpe.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}