{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:24:46Z","timestamp":1740097486946,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319498140"},{"type":"electronic","value":"9783319498157"}],"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-49815-7_2","type":"book-chapter","created":{"date-parts":[[2016,11,12]],"date-time":"2016-11-12T09:12:09Z","timestamp":1478941929000},"page":"21-38","source":"Crossref","is-referenced-by-count":1,"title":["Formal Testing from Natural Language in an Industrial Context"],"prefix":"10.1007","author":[{"given":"Augusto","family":"Sampaio","sequence":"first","affiliation":[]},{"given":"Filipe","family":"Arruda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,13]]},"reference":[{"key":"2_CR1","unstructured":"Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K.: Conformance testing as falsification for cyber-physical systems (2014). arXiv preprint: arXiv:1401.5200"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Arruda, F., Sampaio, A., Barros, F.: Capture and replay with text-based reuse and framework agnosticism. In: Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc. http:\/\/dx.doi.org\/10.18293\/SEKE2016-228","DOI":"10.18293\/SEKE2016-228"},{"issue":"5","key":"2_CR3","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/949952.940120","volume":"28","author":"A Bertolino","year":"2003","unstructured":"Bertolino, A., Gnesi, S.: Use case-based testing of product lines. ACM SIGSOFT Softw. Eng. Notes 28(5), 355\u2013358 (2003)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"2_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). doi: 10.1007\/978-3-642-41202-8_11"},{"key":"2_CR5","doi-asserted-by":"crossref","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, 17\u201319 July 2016, pp. 3\u201313 (2016). http:\/\/dx.doi.org\/10.1109\/TASE.2016.9","DOI":"10.1109\/TASE.2016.9"},{"issue":"2","key":"2_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10703-009-0066-0","volume":"34","author":"T Dang","year":"2009","unstructured":"Dang, T., Nahhal, T.: Coverage-guided test generation for continuous and hybrid systems. Formal Methods Syst. Des. 34(2), 183\u2013213 (2009)","journal-title":"Formal Methods Syst. Des."},{"key":"2_CR7","unstructured":"Android Developers: UiAutomator (2016)"},{"key":"2_CR8","unstructured":"Ferreira, F., Neves, L., Silva, M., Borba, P.: TaRGeT: a model based product line testing tool. In: Tools Session of CBSoft (2010)"},{"key":"2_CR9","unstructured":"Goldsmith, M., Roscoe, B., Armstrong, P.: Failures-divergence refinement-FDR2 user manual (2005)"},{"issue":"1","key":"2_CR10","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/s11334-005-0006-0","volume":"1","author":"J Hartmann","year":"2005","unstructured":"Hartmann, J., Vieira, M., Foster, H., Ruder, A.: A UML-based approach to system testing. Innov. Syst. Softw. Eng. 1(1), 12\u201324 (2005)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"2_CR11","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-14335-9_3","volume-title":"Testing Techniques in Software Engineering","author":"P Machado","year":"2010","unstructured":"Machado, P., Sampaio, A.: Automatic test-case generation. In: Borba, P., Cavalcanti, A., Sampaio, A., Woodcook, J. (eds.) PSSE 2007. LNCS, vol. 6153, pp. 59\u2013103. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-14335-9_3"},{"key":"2_CR13","unstructured":"Minsky, M.: A framework for representing knowledge (1975)"},{"issue":"3","key":"2_CR14","doi-asserted-by":"crossref","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. Form. Asp. Comput. 26(3), 441\u2013490 (2014). http:\/\/dx.doi.org\/10.1007\/s00165-012-0258-z","journal-title":"Form. Asp. Comput."},{"key":"2_CR15","doi-asserted-by":"crossref","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. Springer Science & Business Media, London (2010)"},{"key":"2_CR16","series-title":"Prentice Hall Series in Computer Science","volume-title":"The Theory and Practice of Concurrency","author":"A Roscoe","year":"1998","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"issue":"4","key":"2_CR17","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/stvr.1498","volume":"24","author":"A Sampaio","year":"2014","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). http:\/\/dx.doi.org\/10.1002\/stvr.1498","journal-title":"Softw. Test. Verif. Reliab."},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-30561-0_19","volume-title":"Objects, Models, Components, Patterns","author":"M Soeken","year":"2012","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Assisted behavior driven development using natural language processing. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 269\u2013287. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-30561-0_19"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Some, S.S., Cheng, X.: An approach for supporting system-level test scenarios generation from textual use cases. In: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 724\u2013729. ACM (2008)","DOI":"10.1145\/1363686.1363857"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Thummalapenta, S., Sinha, S., Singhania, N., Chandra, S.: Automating test automation. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 881\u2013891. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227131"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software\u2014Concepts and Tools (TR-CTIT-96-26) (1996)","DOI":"10.1007\/3-540-61042-1_42"},{"key":"2_CR22","unstructured":"Weiglhofer, M., Wotawa, F.: On the fly input output conformance verification. In: Proceedings of the IASTED International Conference on Software Engineering, pp. 286\u2013291. ACTA Press (2008)"},{"key":"2_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 Engineering, vol. 1, pp. 620\u2013631. IEEE (2015)","DOI":"10.1109\/ICSE.2015.78"}],"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-49815-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T10:35:48Z","timestamp":1568543748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49815-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319498140","9783319498157"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49815-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}