{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T01:52:43Z","timestamp":1767923563001,"version":"3.49.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319054155","type":"print"},{"value":"9783319054162","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-05416-2_3","type":"book-chapter","created":{"date-parts":[[2014,4,5]],"date-time":"2014-04-05T05:41:09Z","timestamp":1396676469000},"page":"19-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Model-Based Testing from Controlled Natural Language Requirements"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Carvalho","sequence":"first","affiliation":[]},{"given":"Fl\u00e1via","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Lapschies","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Schulze","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,6]]},"reference":[{"key":"3_CR1","unstructured":"Allen, J.: Natural Language Understanding. Benjamin\/Cummings, San Francisco (1995)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: International Conference on Software Engineering, pp. 402\u2013411. ACM, New York (2005)","DOI":"10.1145\/1062455.1062530"},{"key":"3_CR3","unstructured":"Boddu, R., Guo, L., Mukhopadhyay, S., Cukic, B.: RETNA: from requirements to testing in a natural way. In: International Requirements Engineering (2004)"},{"key":"3_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: International Enterprise Distributed Object Computing Conference, pp. 390\u2013404. USA (2007)","DOI":"10.1109\/EDOC.2007.44"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Carvalho, G., Falc\u00e3o, D., Barros, F., Sampaio, A., Mota, A., Motta, L., Blackburn, M.: Test case generation from natural language requirements based on SCR specifications. In: ACM Symposium on Applied Computing (2013)","DOI":"10.1145\/2480362.2480591"},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/566171.566190","volume":"27","author":"W Grieskamp","year":"2002","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. Softw. Eng. Notes 27(4), 112\u2013122 (2002)","journal-title":"Softw. Eng. Notes"},{"key":"3_CR7","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using UPPAAL: status and future work. In: Dagstuhl Seminar Proceedings volume 04371: Perspectives of Model-Based Testing (2004)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1023072104553","volume":"16","author":"EI Leonard","year":"2003","unstructured":"Leonard, E.I., Heitmeyer, C.L.: Program synthesis from formal requirements specifications using APTS. High. Order Symbol. Comput. 16, 63\u201392 (2003)","journal-title":"High. Order Symbol. Comput."},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"YS Ma","year":"2005","unstructured":"Ma, Y.S., Offutt, J., Kwon, Y.R.: MuJava: an automated class mutation system: research articles. Softw. Test. Verif. Reliab. 15(2), 97\u2013133 (2005)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"3_CR10","first-page":"1","volume":"1","author":"S Nogueira","year":"2012","unstructured":"Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Formal Aspects Comput. 1, 1\u201350 (2012)","journal-title":"Formal Aspects Comput."},{"key":"3_CR11","series-title":"LNCS","first-page":"146","volume-title":"ICTSS 2011","author":"J Peleska","year":"2011","unstructured":"Peleska, J., Honisch, A., Lapschies, F., L\u00f6ding, H., Schmid, H., Smuda, P., Vorobev, E., Zahlten, C.: A real-world Benchmark model for testing concurrent real-time systems in the automotive domain. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 146\u2013161. Springer, Heidelberg (2011)"},{"key":"3_CR12","unstructured":"Peleska, J., Vorobev, E., Lapschies, F., Zahlten, C.: Automated model-based testing with RT-Tester. Universit\u00e4t Bremen, Technical report (2011)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11219-011-9155-6","volume":"20","author":"V Jr Santiago","year":"2012","unstructured":"Jr Santiago, 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":"3_CR14","doi-asserted-by":"crossref","unstructured":"Schnelte, M.: Generating test cases for timed systems from controlled natural language specifications. In: International Conference on System Integration and Reliability Improvements, pp. 348\u2013353 (2009)","DOI":"10.1109\/SSIRI.2009.58"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Sinha, A., Suttan Jr., S.M., Paradkar, A.: Text2Test: automated inspection of natural language use cases. International Conference on Software Testing, Verification and Validation, pp. 155\u2013164. IEEE Computer Society, Washington (2010)","DOI":"10.1109\/ICST.2010.19"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Sneed, H.: Testing against natural language requirements. In: International Conference on Quality Software, pp. 380\u2013387 (2007)","DOI":"10.1109\/QSIC.2007.4385524"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05416-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T15:31:59Z","timestamp":1676388719000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05416-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319054155","9783319054162"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05416-2_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}