{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:01:43Z","timestamp":1775008903092,"version":"3.50.1"},"reference-count":38,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["432198\/2018-0"],"award-info":[{"award-number":["432198\/2018-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006162","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","doi-asserted-by":"publisher","award":["IBPG-0063-1.03\/19"],"award-info":[{"award-number":["IBPG-0063-1.03\/19"]}],"id":[{"id":"10.13039\/501100006162","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1016\/j.scico.2025.103414","type":"journal-article","created":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T22:06:44Z","timestamp":1763590004000},"page":"103414","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Combining sequential feature test cases to generate sound tests for concurrent features"],"prefix":"10.1016","volume":"250","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":"78","reference":[{"key":"10.1016\/j.scico.2025.103414_bib0001","series-title":"Practical Software Testing: a Process-oriented Approach","author":"Burnstein","year":"2006"},{"key":"10.1016\/j.scico.2025.103414_bib0002","series-title":"Advanced Lectures (LNCS)","article-title":"Model-based testing of reactive systems","author":"Broy","year":"2005"},{"key":"10.1016\/j.scico.2025.103414_bib0003","series-title":"Technical Report","article-title":"NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP","author":"Carvalho","year":"2011"},{"key":"10.1016\/j.scico.2025.103414_bib0004","series-title":"Proceedings of CBSoft 2010 - Tools Panel","article-title":"TaRGeT: a model based product line testing tool","author":"Ferreira","year":"2010"},{"key":"10.1016\/j.scico.2025.103414_bib0005","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s00165-012-0258-z","article-title":"Test generation from state based use case models, formal aspects of computing","author":"Nogueira","year":"2014","journal-title":"Formal Asp. Comput."},{"key":"10.1016\/j.scico.2025.103414_bib0006","series-title":"Brazilian Symposium on Formal Methods","first-page":"92","article-title":"Sound test case generation for concurrent mobile features","author":"Almeida","year":"2023"},{"key":"10.1016\/j.scico.2025.103414_bib0007","series-title":"CONCUR\u201999 Concurrency Theory, CONCUR 1999","first-page":"46","article-title":"Testing concurrent systems: a formal approach","author":"Tretmans","year":"1999"},{"key":"10.1016\/j.scico.2025.103414_bib0008","series-title":"Technical Report","article-title":"Automatic Test Case Generation for Concurrent Features from Natural Language Specifications","author":"Almeida","year":"2019"},{"key":"10.1016\/j.scico.2025.103414_bib0009","first-page":"187","article-title":"FDR317, A modern refinement checker for CSP","author":"Gibson-Robinson","year":"2014","journal-title":"Tools Algor. Constr. Analy. Syst."},{"key":"10.1016\/j.scico.2025.103414_bib0010","series-title":"The Theory and Practice of Concurrency","author":"Roscoe","year":"1998"},{"key":"10.1016\/j.scico.2025.103414_bib0011","series-title":"Understanding Concurrent Systems","author":"Roscoe","year":"2011"},{"key":"10.1016\/j.scico.2025.103414_bib0012","series-title":"Advances in Neural Information Processing Systems (NeurIPS)","article-title":"Language models are few-shot learners","author":"Tom","year":"2020"},{"key":"10.1016\/j.scico.2025.103414_bib0013","series-title":"Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000), Held as Part of ETAPS 2000","first-page":"192","article-title":"The state explosion problem from trace to bisimulation equivalence","author":"ois Laroussinie","year":"2000"},{"key":"10.1016\/j.scico.2025.103414_bib0014","series-title":"PhD thesis","article-title":"Test Generation and Compositional Conformance Verification from Input-Output CSP Models","author":"De","year":"2012"},{"key":"10.1016\/j.scico.2025.103414_bib0015","series-title":"Model Checking, The Cyber-Physical Systems Series","author":"Clarke","year":"1999"},{"key":"10.1016\/j.scico.2025.103414_bib0016","series-title":"Introduction to Algorithms","author":"Cormen","year":"2009"},{"key":"10.1016\/j.scico.2025.103414_bib0017","series-title":"Technical Report","article-title":"A Formal Approach to Test Automation based on Requirements, Domain Model, and Test Cases written in Natural Language","author":"Arruda","year":"2022"},{"key":"10.1016\/j.scico.2025.103414_bib0018","series-title":"TGV: Theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems","first-page":"297","author":"Jard","year":"2005"},{"key":"10.1016\/j.scico.2025.103414_bib0019","author":"Logcat","year":"2025"},{"key":"10.1016\/j.scico.2025.103414_bib0020","unstructured":"Android11, 2025. https:\/\/www.android.com\/android-11\/."},{"key":"10.1016\/j.scico.2025.103414_bib0021","author":"Pitest","year":"2025"},{"key":"10.1016\/j.scico.2025.103414_bib0022","series-title":"The International Conference in Software Engineering Research and Innovation (CONISOFT)","first-page":"99","article-title":"Edroid: a mutation tool for android apps","author":"Luna","year":"2018"},{"key":"10.1016\/j.scico.2025.103414_bib0023","series-title":"Technical Report","article-title":"MuDroid: Mutation testing for Android apps","author":"Wei","year":"2015"},{"key":"10.1016\/j.scico.2025.103414_bib0024","series-title":"The IEEEACM International Conference on Automated Software Engineering (ASE)","first-page":"1090","article-title":"Mutapk sourcecodeless mutant generation for android apps","author":"Escobar","year":"2019"},{"key":"10.1016\/j.scico.2025.103414_bib0025","author":"Apktool","year":"2025"},{"key":"10.1016\/j.scico.2025.103414_bib0026","author":"Uber-Apk-Signer","year":"2025"},{"key":"10.1016\/j.scico.2025.103414_bib0027","series-title":"IEEE\/ACIS 17th International Conference on Computer and Information Science (ICIS)","first-page":"641","article-title":"Concurrent software testing method based on CSP and PAT","author":"Cao","year":"2018"},{"key":"10.1016\/j.scico.2025.103414_bib0028","series-title":"Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","first-page":"190","article-title":"Pin: building customized program analysis tools with dynamic instrumentation","author":"Luk","year":"2005"},{"key":"10.1016\/j.scico.2025.103414_bib0029","series-title":"Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","first-page":"89","article-title":"Valgrind: a framework for heavyweight dynamic binary instrumentation","author":"Nethercote","year":"2007"},{"key":"10.1016\/j.scico.2025.103414_bib0030","series-title":"2017 14th IEEE India Council International Conference (INDICON)","first-page":"1","article-title":"Distributed GUI test automation","author":"Murthy","year":"2017"},{"key":"10.1016\/j.scico.2025.103414_bib0031","series-title":"Computer Software and Applications, COMPSAC\u201908. 32nd Annual IEEE International","first-page":"160","article-title":"A transformation-based approach to generating scenario-oriented test cases from UML activity diagrams for concurrent applications","author":"Sun","year":"2008"},{"key":"10.1016\/j.scico.2025.103414_bib0032","doi-asserted-by":"crossref","unstructured":"J. Fischbach, M. Junker, A. Vogelsang, D. Freudenstein, Automated Generation of Test Models from Semi-Structured Requirements, 2019. http:\/\/arxiv.org\/abs\/1908.08810.","DOI":"10.1109\/REW.2019.00053"},{"key":"10.1016\/j.scico.2025.103414_bib0033","series-title":"18th Brazilian Symposium on Formal Methods","first-page":"283","article-title":"NAT2TEST tool: from natural language requirements to test cases based on CSP","author":"Carvalho","year":"2015"},{"key":"10.1016\/j.scico.2025.103414_bib0034","series-title":"Proceedings Of The 28th Annual ACM Symposium On Applied Computing","first-page":"1217","article-title":"Test case generation from natural language requirements based on SCR specifications","author":"Carvalho","year":"2013"},{"key":"10.1016\/j.scico.2025.103414_bib0035","series-title":"International Workshop on Formal Techniques for Safety-Critical Systems","first-page":"19","article-title":"Model-based testing from controlled natural language requirements","author":"Carvalho","year":"2013"},{"key":"10.1016\/j.scico.2025.103414_bib0036","series-title":"International Conference on Formal Engineering Methods","first-page":"148","article-title":"CSP timed input-output relation and a strategy for mechanised conformance verification","author":"Carvalho","year":"2013"},{"key":"10.1016\/j.scico.2025.103414_bib0037","series-title":"10th International Symposium on Theoretical Aspects of Software Engineering (TASE)","first-page":"3","article-title":"A suspension-trace semantics for CSP","author":"Cavalcanti","year":"2016"},{"key":"10.1016\/j.scico.2025.103414_bib0038","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.scico.2019.01.003","volume":"181","author":"Nogueira","year":"2019","journal-title":"Science of Computer Programming"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642325001534?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642325001534?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:48:30Z","timestamp":1775004510000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642325001534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":38,"alternative-id":["S0167642325001534"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2025.103414","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2026,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Combining sequential feature test cases to generate sound tests for concurrent features","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2025.103414","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103414"}}