{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:16:05Z","timestamp":1772532965578,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030402228","type":"print"},{"value":"9783030402235","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-40223-5_3","type":"book-chapter","created":{"date-parts":[[2020,2,8]],"date-time":"2020-02-08T10:02:50Z","timestamp":1581156170000},"page":"39-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["From Requirements to Automated Acceptance Tests with the RSL Language"],"prefix":"10.1007","author":[{"given":"Ana C. R.","family":"Paiva","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Maciel","sequence":"additional","affiliation":[]},{"given":"Alberto Rodrigues","family":"da Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,9]]},"reference":[{"key":"3_CR1","volume-title":"Writing Effective Use Cases","author":"A Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases, 1st edn. Addison-Wesley, Boston (2000)","edition":"1"},{"key":"3_CR2","unstructured":"Kovitz, B.L.: Practical Software Requirements: Manual of Content and Style. Manning Publications, Greenwich (1998)"},{"key":"3_CR3","volume-title":"Mastering the Requirements Process: Getting Requirements Right","author":"S Robertson","year":"2012","unstructured":"Robertson, S., Robertson, J.: Mastering the Requirements Process: Getting Requirements Right, 3rd edn. Addison-Wesley Professional, Boston (2012)","edition":"3"},{"key":"3_CR4","unstructured":"Withall, S.: Software Requirements Patterns, 1st edn. Microsoft Press (2007)"},{"key":"3_CR5","unstructured":"Silva, A.R.: Linguistic patterns and linguistic styles for requirements specification (i): an application case with the rigorous RSL\/business-level language. In: Proceedings of the 22nd European Conference on Pattern Languages of Programs. ACM (2017)"},{"key":"3_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12578-2","volume-title":"Requirements Engineering: Fundamentals, Principles, and Techniques","author":"K Pohl","year":"2010","unstructured":"Pohl, K.: Requirements Engineering: Fundamentals, Principles, and Techniques, 1st edn. Springer, Heidelberg (2010)","edition":"1"},{"key":"3_CR7","unstructured":"Ferreira, D.A., Silva, A.R.: RSLingo: an information extraction approach toward formal requirements specifications. In: 2nd IEEE International Workshop on Model-Driven Requirements Engineering, MoDRE 2012 - Proceedings, pp. 39\u201348 (2012)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Videira, C., Ferreira, D., Silva, A.R.: A linguistic patterns approach for requirements specification. In: Proceeding 32nd Euromicro Conference on Software Engineering and Advanced Applications (Euromicro 2006). IEEE Computer Society (2006)","DOI":"10.1109\/EUROMICRO.2006.8"},{"key":"3_CR9","unstructured":"Ferreira, D.A., Silva, A.R.: RSL-PL: a linguistic pattern language for documenting software requirements. In: 3rd International Workshop on Requirements Patterns, RePa 2013 - Proceedings, pp. 17\u201324 (2013)"},{"key":"3_CR10","unstructured":"Ferreira, D.A., Silva, A.R.: RSL-IL: an interlingua for formally documenting requirements. In: 3rd International Workshop on Model-Driven Requirements Engineering, MoDRE 2013 - Proceedings, pp. 40\u201349 (2013)"},{"issue":"6","key":"3_CR11","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1049\/iet-sen:20070012","volume":"1","author":"A.R. da Silva","year":"2007","unstructured":"Silva, A.R., Saraiva, J., Ferreira, D., Silva, A.R., Videira, C.: Integration of RE and MDE paradigms: the ProjectIT approach and tools. IET Softw. 1, 294\u2013314 (2007)","journal-title":"IET Software"},{"key":"3_CR12","unstructured":"Jacobson, I., et al.: Object Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Boston (2015)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Wang, C., Pastore, F., Goknil, A., Briand, L., Iqbal, Z.: Automatic generation of system test cases from use case specifications. In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, pp. 385\u2013396 (2015)","DOI":"10.1145\/2771783.2771812"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Hsieh, C., Tsai, C., Cheng, Y.C.: Test-duo: a framework for generating and executing automated acceptance tests from use cases. In: 8th International Workshop on Automation of Software Test, AST 2013 - Proceedings, pp. 89\u201392 (2013)","DOI":"10.1109\/IWAST.2013.6595797"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Moketar, N.A., Kamalrudin, M., Sidek, S., Robinson, M., Grundy, J.: TestMEReq: generating abstract tests for requirements validation. In: Proceedings - 3rd International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2016, pp. 39\u201345 (2016)","DOI":"10.1145\/2897022.2897031"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Boucher, M., Mussbacher, G.: Transforming workflow models into automated end-to-end acceptance test cases. In: Proceedings - 2017 IEEE\/ACM 9th International Workshop on Modelling in Software Engineering, MiSE 2017, pp. 68\u201374 (2017)","DOI":"10.1109\/MiSE.2017.5"},{"key":"3_CR17","unstructured":"Silva, A.R., Paiva, A.C.R., Silva, V.: Towards a test specification language for information systems: focus on data entity and state machine tests. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) (2018)"},{"key":"3_CR18","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-030-11030-7_20","volume-title":"MODELSWARD 2018","author":"AR Silva","year":"2019","unstructured":"Silva, A.R., Paiva, A.C.R., Silva, V.: A test specification language for information systems based on data entities, use cases and state machines. In: Hammoudi, S., Pires, L., Selic, B. (eds.) MODELSWARD 2018. CCIS, vol. 991, pp. 455\u2013474. Springer, Heidelberg (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-11030-7_20"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"e1629","DOI":"10.1002\/stvr.1629","volume":"27","author":"Rodrigo M. L. M. Moreira","year":"2017","unstructured":"Moreira, R.M.L.M., Paiva, A.C.R., Nabuco, M., Memon, A.: Pattern-based GUI testing: bridging the gap between design and quality assurance. Softw. Test. Verif. Reliab. 27(3), e1629 (2017)","journal-title":"Software Testing, Verification and Reliability"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Moreira, R.M.L.M., Paiva, A.C.R.: PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, pp. 863\u2013866 (2014)","DOI":"10.1145\/2642937.2648618"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11576280_31","volume-title":"Formal Methods and Software Engineering","author":"ACR Paiva","year":"2005","unstructured":"Paiva, A.C.R., Faria, J.C.P., Tillmann, N., Vidal, R.A.M.: A model-to-implementation mapping tool for automated model-based GUI testing. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 450\u2013464. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11576280_31"},{"key":"3_CR22","unstructured":"Silva, A.R.: Rigorous specification of use cases with the RSL language. In: Proceedings of International Conference on Information Systems Development 2019. AIS (2019)"},{"key":"3_CR23","unstructured":"Bhat, A., Quadri, S.M.K.: Equivalence class partitioning and boundary value analysis - a review. In: 2nd International Conference on Computing for Sustainable Global Development (INDIACom) (2015)"},{"key":"3_CR24","unstructured":"Paiva, A.C.R.: Automated specification-based testing of graphical user interfaces. Ph.D. thesis, Faculty of Engineering of the University of Porto, Porto, Portugal (2007)"},{"key":"3_CR25","unstructured":"ISTQB, ISTQB & #x00AE; Foundation Level Certified Model-Based Tester Syllabus (2015)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Leotta, M., Clerissi, D., Ricca, F., Tonella, P.: Approaches and tools for automated end-to-end web testing. In: Advances in Computers, 1st edn., vol. 101, pp. 193\u2013237. Elsevier Inc. (2016)","DOI":"10.1016\/bs.adcom.2015.11.007"},{"key":"3_CR27","unstructured":"ISTQB, ISTQB & #x00AE; Foundation Level Extension Syllabus Agile Tester, p. 28 (2014)"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Maciel, D., Paiva, A.C.R., Silva, A.R.: From requirements to automated acceptance tests of interactive apps: an integrated model-based testing approach. In: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) (2019)","DOI":"10.5220\/0007679202650272"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1016\/j.procs.2018.04.104","volume":"130","author":"Ana C.R. Paiva","year":"2018","unstructured":"Paiva, A.C.R., Flores, N.H., Faria, J.C.P., Marques, J.M.G.: End-to-end automatic business process validation. In: the 8th International Symposium on Frontiers in Ambient and Mobile Systems (FAMS) (2018)","journal-title":"Procedia Computer Science"},{"key":"3_CR30","unstructured":"Silva, A.R., Savic, D., et al.: A pattern language for use cases specification. In: Proceedings of EuroPLOP 2015. ACM (2015)"},{"key":"3_CR31","unstructured":"Maciel, D.A.M.: Model based testing - from requirements to tests. MSc thesis, Master in Informatics and Computing Engineering, Faculty of Engineering of the University of Porto, Portugal (2019)"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-40223-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,8]],"date-time":"2020-02-08T10:03:10Z","timestamp":1581156190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40223-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030402228","9783030402235"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40223-5_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"9 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ENASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Evaluation of Novel Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Heraklion, Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"enase2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.enase.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"102","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}