{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:08:11Z","timestamp":1743073691697,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031493416"},{"type":"electronic","value":"9783031493423"}],"license":[{"start":{"date-parts":[[2023,12,2]],"date-time":"2023-12-02T00:00:00Z","timestamp":1701475200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,2]],"date-time":"2023-12-02T00:00:00Z","timestamp":1701475200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-49342-3_6","type":"book-chapter","created":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T09:02:27Z","timestamp":1701421347000},"page":"92-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sound Test Case Generation for\u00a0Concurrent Mobile Features"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8806-3337","authenticated-orcid":false,"given":"Rafaela","family":"Almeida","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8817-5029","authenticated-orcid":false,"given":"Sidney","family":"Nogueira","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":[[2023,12,2]]},"reference":[{"key":"6_CR1","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). https:\/\/doi.org\/10.1007\/b137241"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Carvalho, G.: NAT2TEST: Generating Test Cases from Natural Language Requirements Based on CSP. Federal University of Pernambuco, 2011 (2016)","DOI":"10.1007\/978-3-319-22969-0_20"},{"key":"6_CR3","unstructured":"Ferreira, F., Neves, L., Silva, M., Borba, P.: TaRGeT: a model based product line testing tool. In: Proceedings of CBSoft 2010 - Tools Panel (2010)"},{"key":"6_CR4","doi-asserted-by":"publisher","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. Formal Aspects Comput. 26, 441\u2013490 (2014)","journal-title":"Formal Aspects Comput."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Almeida, R.: Automatic Test Case Generation for Concurrent Features from Natural Language Specifications. Federal Rural University of Pernambuco (2019)","DOI":"10.1007\/978-3-030-03044-5_11"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 17 a modern refinement checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 187\u2013201 (2014)","DOI":"10.1007\/978-3-642-54862-8_13"},{"key":"6_CR7","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1998)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR 1999 Concurrency Theory","author":"J Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: a formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46\u201365. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48320-9_6"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transfer 7, 297\u2013315 (2005)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR10","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). https:\/\/doi.org\/10.1007\/978-3-642-41202-8_11"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-030-03044-5_11","volume-title":"Formal Methods: Foundations and Applications","author":"R Almeida","year":"2018","unstructured":"Almeida, R., Nogueira, S., Sampaio, A.: Automatic test case generation for concurrent features from natural language descriptions. In: Massoni, T., Mousavi, M.R. (eds.) SBMF 2018. LNCS, vol. 11254, pp. 163\u2013179. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03044-5_11"},{"key":"6_CR12","unstructured":"Arruda, F.: A Formal Approach to Test Automation Based on Requirements, Domain Model, and Test Cases Written in Natural Language. Federal University of Pernambuco (2022)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A., Hierons, R., Nogueira, S., Sampaio, A.: A suspension-trace semantics for CSP. In: 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 3\u201313 (2016)","DOI":"10.1109\/TASE.2016.9"},{"key":"6_CR14","unstructured":"Perrusi, L.: AutoTestCoverage: Uma Ferramenta para Cobertura de Testes de Integra\u00e7\u00e3o no Contexto Android sem Uso de Codigo-Fonte, December 2018"},{"key":"6_CR15","unstructured":"Signer uber-apk-signer. https:\/\/github.com\/patrickfav\/uber-apk-signer"},{"key":"6_CR16","unstructured":"Www.android.com, L. LogCat\u2014www.android.com. https:\/\/www.android.com"},{"key":"6_CR17","unstructured":"https:\/\/apktool.org\/, APKTool\u2014https:\/\/apktool.org\/. https:\/\/apktool.org\/"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Escobar Velasquez, C., Osorio Riano, M., Linares Vasquez, M.: MutAPK source codeless mutant generation for Android apps. In: 2019 34th IEEE ACM International Conference on Automated Software Engineering (ASE), pp. 1090\u20131093 (2019)","DOI":"10.1109\/ASE.2019.00109"},{"key":"6_CR19","unstructured":"Wei, Y.: MuDroid: mutation testing for Android apps. University of College London, London, UK, Technical report (2015)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Luna, E., El Ariss, O.: Edroid: a mutation tool for android apps. In: 2018 6th International Conference in Software Engineering Research and Innovation (CONISOFT), pp. 99\u2013108 (2018)","DOI":"10.1109\/CONISOFT.2018.8645883"},{"key":"6_CR21","unstructured":"Https:\/\/pitest.org\/Pitest. https:\/\/pitest.org\/"},{"key":"6_CR22","unstructured":"Android11. https:\/\/www.android.com\/android-11\/"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Cao, Y., Wang, Y.: Concurrent software testing method based on CSP and PAT. In: 2018 IEEE\/ACIS 17th International Conference on Computer and Information Science (ICIS), pp. 641\u2013644 (2018)","DOI":"10.1109\/ICIS.2018.8466422"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Murthy, P., Ulrich, A.: Distributed GUI test automation. In: 2017 14th IEEE India Council International Conference (INDICON), pp. 1\u20136 (2017)","DOI":"10.1109\/INDICON.2017.8487560"}],"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-031-49342-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,4]],"date-time":"2024-11-04T16:51:50Z","timestamp":1730739110000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-49342-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,2]]},"ISBN":["9783031493416","9783031493423"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-49342-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,12,2]]},"assertion":[{"value":"2 December 2023","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":"Manaus","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":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sbmf23.ufam.edu.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","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":"7","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":"2","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":"44% - 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":"2","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}