{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:43:39Z","timestamp":1742957019793,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030110291"},{"type":"electronic","value":"9783030110307"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-11030-7_20","type":"book-chapter","created":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T04:13:06Z","timestamp":1548907986000},"page":"455-474","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines"],"prefix":"10.1007","author":[{"given":"Alberto Rodrigues","family":"da Silva","sequence":"first","affiliation":[]},{"given":"Ana C. R.","family":"Paiva","sequence":"additional","affiliation":[]},{"given":"Valter E. R.","family":"da Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,1]]},"reference":[{"key":"20_CR1","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2016","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd., Birmingham (2016)"},{"unstructured":"Ten Buuren, R.A.: Domain-Specific Language Testing Framework. Master of Science, University of Twente, Enschede (2015)","key":"20_CR2"},{"key":"20_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-48354-7_14","volume-title":"Pioneers and Their Contributions to Software Engineering","author":"ME Fagan","year":"2001","unstructured":"Fagan, M.E.: Advances in software inspections. In: Broy, M., Denert, E. (eds.) Pioneers and Their Contributions to Software Engineering. Springer, Heidelberg (2001). \n                  https:\/\/doi.org\/10.1007\/978-3-642-48354-7_14"},{"unstructured":"Ferreira, D., Silva, A.R.: RSLingo: an information extraction approach toward formal requirements specifications. In: Proceedings of MoDRE 2012. IEEE CS (2012)","key":"20_CR4"},{"unstructured":"Ferreira, D., Silva, A.R.: RSL-PL: a linguistic pattern language for documenting software requirements. In: Proceedings of RePa 2013. IEEE CS (2013)","key":"20_CR5"},{"unstructured":"Ferreira, D., Silva, A.R.: RSL-IL: an interlingua for formally documenting requirements. In: Proceedings of the of Third IEEE International Workshop on Model Driven Requirements Engineering. IEEE CS (2013a)","key":"20_CR6"},{"unstructured":"Ibe, M.: Decomposition of test cases in model-based testing. In: CEUR Workshop Proceedings (2013)","key":"20_CR7"},{"unstructured":"King, T.: Functional testing with domain-specific languages (2014)","key":"20_CR8"},{"key":"20_CR9","volume-title":"Practical Software Requirements: Manual of Content and Style","author":"B Kovitz","year":"1998","unstructured":"Kovitz, B.: Practical Software Requirements: Manual of Content and Style. Manning, Shelter Island (1998)"},{"doi-asserted-by":"crossref","unstructured":"Monteiro, T., Paiva, A.C.R.: Pattern based GUI testing modeling environment. In: Sixth International Conference on Software Testing, Verification and Validation (ICST) Workshops Proceedings (2013)","key":"20_CR10","DOI":"10.1109\/ICSTW.2013.24"},{"key":"20_CR11","first-page":"1","volume":"26","author":"I Morgado","year":"2017","unstructured":"Morgado, I., Paiva, A.C.R.: Mobile GUI testing. Softw. Qual. J. 26, 1\u201318 (2017)","journal-title":"Softw. Qual. J."},{"unstructured":"Paiva, A.C.R.: Automated specification-based testing of graphical user interfaces, Ph.D. thesis, Faculty of Engineering, Porto University, Porto, Portugal (1997)","key":"20_CR12"},{"doi-asserted-by":"crossref","unstructured":"Reis, A., Silva, A.R.: XIS-Reverse: a model-driven reverse engineering approach for legacy information systems. In: Proceedings of MODELSWARD 2017. SCITEPRESS (2017)","key":"20_CR13","DOI":"10.5220\/0006271501960207"},{"doi-asserted-by":"crossref","unstructured":"Ribeiro, A., Silva, A.R.: XIS-mobile: a DSL for mobile applications. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC) (2014)","key":"20_CR14","DOI":"10.1145\/2554850.2554926"},{"issue":"11","key":"20_CR15","doi-asserted-by":"publisher","first-page":"906","DOI":"10.4236\/jsea.2014.711081","volume":"7","author":"A Ribeiro","year":"2014","unstructured":"Ribeiro, A., Silva, A.R.: Evaluation of XIS-mobile, a domain specific language for mobile application development. J. Softw. Eng. Appl. 7(11), 906\u2013919 (2014a)","journal-title":"J. Softw. Eng. Appl."},{"issue":"3","key":"20_CR16","doi-asserted-by":"publisher","first-page":"e1629","DOI":"10.1002\/stvr.1629","volume":"27","author":"RMLM 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. J. 27(3), e1629 (2017)","journal-title":"Softw. Test. Verif. Reliab. J."},{"unstructured":"Savic, D., et al.: SilabMDD: a use case model driven approach. In: ICIST 2015 5th International Conference on Information Society and Technology (2015)","key":"20_CR17"},{"issue":"C","key":"20_CR18","first-page":"139","volume":"43","author":"AR Silva","year":"2015","unstructured":"Silva, A.R.: Model-driven engineering: a survey supported by a unified conceptual model. Comput. Lang. Syst. Struct. 43(C), 139\u2013155 (2015)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"20_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-22348-3_15","volume-title":"Enterprise Information Systems","author":"AR Silva","year":"2015","unstructured":"Silva, A.R.: SpecQua: towards a framework for requirements specifications with increased quality. In: Cordeiro, J., Hammoudi, S., Maciaszek, L., Camp, O., Filipe, J. (eds.) ICEIS 2014. LNBIP, vol. 227, pp. 265\u2013281. Springer, Cham (2015). \n                  https:\/\/doi.org\/10.1007\/978-3-319-22348-3_15"},{"unstructured":"Silva, A.R., et al.: A pattern language for use cases specification. In: Proceedings of EuroPLOP 2015. ACM (2015)","key":"20_CR20"},{"issue":"6","key":"20_CR21","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1049\/iet-sen:20070012","volume":"1","author":"AR Silva","year":"2007","unstructured":"Silva, A.R., Saraiva, J., Ferreira, D., Silva, R., Videira, C.: Integration of RE and MDE paradigms: the ProjectIT approach and tools. IET Softw. 1(6), 294\u2013314 (2007)","journal-title":"IET Softw."},{"unstructured":"Silva, A.R., Saraiva, J., Silva, R., Martins, C.: XIS - UML profile for eXtreme modeling interactive systems. In: Proceedings of MOMPES 2007. IEEE Computer Society (2007)","key":"20_CR22"},{"doi-asserted-by":"crossref","unstructured":"Silva, A.R., Verelst, J., Mannaert, H., Ferreira, D., Huysmans, P.: Towards a system requirements specification template that minimizes combinatorial effects. In: Proceedings of QUATIC 2014 Conference. IEEE CS (2014)","key":"20_CR23","DOI":"10.1109\/QUATIC.2014.22"},{"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 EuroPLOP2017. ACM (2017)","key":"20_CR24"},{"unstructured":"Silva, A.R.: A rigorous requirement specification language for information systems: focus on RSL\u2019s use cases, data entities and state machines, INESC-ID Technical Report (2017)","key":"20_CR25"},{"doi-asserted-by":"crossref","unstructured":"Solis, C., Wang, X.: A study of the characteristics of behaviour driven development. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 383\u2013387. IEEE (2011)","key":"20_CR26","DOI":"10.1109\/SEAA.2011.76"},{"key":"20_CR27","volume-title":"Model-Driven Software Development","author":"T Stahl","year":"2005","unstructured":"Stahl, T., Volter, M.: Model-Driven Software Development. Wiley, Hoboken (2005)"},{"key":"20_CR28","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-38117-1_7","volume-title":"Advances in Enterprise Engineering VII","author":"J Verelst","year":"2013","unstructured":"Verelst, J., Silva, A.R., Mannaert, H., Ferreira, D.A., Huysmans, P.: Identifying combinatorial effects in requirements engineering. In: Proper, H.A., Aveiro, D., Gaaloul, K. (eds.) EEWC 2013. LNBIP, vol. 146, pp. 88\u2013102. Springer, Heidelberg (2013). \n                  https:\/\/doi.org\/10.1007\/978-3-642-38117-1_7"},{"unstructured":"Videira, C., Silva, A.R.: Patterns and metamodel for a natural-language-based requirements specification language. In: CAiSE Short Paper Proceedings (2005)","key":"20_CR29"},{"doi-asserted-by":"crossref","unstructured":"Videira, C., Ferreira, D., Silva, A.R.: A linguistic patterns approach for requirements specification. In: Proceedings 32nd Euromicro Conference on Software Engineering and Advanced Applications, Euromicro 2006. IEEE Computer Society (2006)","key":"20_CR30","DOI":"10.1109\/EUROMICRO.2006.8"},{"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":"20_CR31"},{"unstructured":"Silva, A.R., Paiva, A.C.R., Silva, V.E.R.: Towards a test specification language for information systems: focus on data entity and state machine tests. In: The 6th International Conference on Model-Driven Engineering and Software Development (2018)","key":"20_CR32"},{"key":"20_CR33","volume-title":"Object oriented Software engineering: A Use Case Driven Approach","author":"I Jacobson","year":"1992","unstructured":"Jacobson, I., et al.: Object oriented Software engineering: A Use Case Driven Approach. Addison- Wesley, Boston (1992)"},{"unstructured":"Silva, A.R.: RSLingo RSL Excel Template, v4.0, October 2017. \n                  https:\/\/www.researchgate.net\/publication\/320256323_RSLingo_RSL_Excel_Template_v40\n                  \n                 (2017)","key":"20_CR34"},{"unstructured":"Neto, A.C.D., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: Held in Conjunction with the 22nd IEEE\/ACM International Conference on Automated Software Engineering (2007)","key":"20_CR35"},{"doi-asserted-by":"crossref","unstructured":"Hasling, B., Goetz. H., Beetz, K.: Model based testing of system requirements using UML use case models. In: 1st International Conference on IEEE Software Testing, Verification, and Validation (2008)","key":"20_CR36","DOI":"10.1109\/ICST.2008.9"},{"issue":"5","key":"20_CR37","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"20_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005). \n                  https:\/\/doi.org\/10.1007\/b137241"},{"key":"20_CR39","volume-title":"The Cucumber Book: Behaviour-Driven Development for Testers and Developers","author":"M Wynne","year":"2017","unstructured":"Wynne, M., Hellesoy, A., Tooke, S.: The Cucumber Book: Behaviour-Driven Development for Testers and Developers. Pragmatic Bookshelf, Raleigh (2017)"},{"unstructured":"Cucumber & Gherkin. \n                  https:\/\/cucumber.io\/docs\/reference\n                  \n                . Accessed March 2018","key":"20_CR40"},{"key":"20_CR41","first-page":"633","volume":"20","author":"ACR Paiva","year":"2017","unstructured":"Paiva, A.C.R., Vilela, L.: Multidimensional test coverage analysis: PARADIGM-COV tool. Cluster Comput.-J. Netw. Softw. Tools Appl. 20, 633\u2013649 (2017)","journal-title":"Cluster Comput.-J. Netw. Softw. Tools Appl."},{"key":"20_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-319-09153-2_19","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2014","author":"M Nabuco","year":"2014","unstructured":"Nabuco, M., Paiva, A.C.R.: Model-based test case generation for web applications. In: Murgante, B., et al. (eds.) ICCSA 2014. LNCS, vol. 8584, pp. 248\u2013262. Springer, Cham (2014). \n                  https:\/\/doi.org\/10.1007\/978-3-319-09153-2_19"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11030-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:58:01Z","timestamp":1558396681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11030-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030110291","9783030110307"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11030-7_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Funchal","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 January 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 January 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.modelsward.org\/?y=2018","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"}},{"value":"Primoris","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"101","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"29","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"28","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"29% - 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"}},{"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"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}