{"id":"https://openalex.org/W4400480782","doi":"https://doi.org/10.1016/j.scico.2026.103537","title":"Testing compositionality","display_name":"Testing compositionality","publication_year":2026,"publication_date":"2026-07-17","ids":{"openalex":"https://openalex.org/W4400480782","doi":"https://doi.org/10.1016/j.scico.2026.103537"},"language":"en","primary_location":{"id":"doi:10.1016/j.scico.2026.103537","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2026.103537","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.scico.2026.103537","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048633007","display_name":"Gijs van Cuyck","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gijs van Cuyck","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5653-8243","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092442122","display_name":"Lars van Arragon","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lars van Arragon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5038404202","display_name":"Jan Tretmans","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan Tretmans","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2600,"currency":"USD","value_usd":2600},"apc_paid":{"value":2600,"currency":"USD","value_usd":2600},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00108015,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"255","issue":null,"first_page":"103537","last_page":"103537"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.10769999772310257,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.10769999772310257,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.841968297958374},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4396669864654541},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13858026266098022}],"concepts":[{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.841968297958374},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4396669864654541},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13858026266098022}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.scico.2026.103537","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2026.103537","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2407.05028","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2407.05028","pdf_url":"https://arxiv.org/pdf/2407.05028","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2407.05028","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2407.05028","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1016/j.scico.2026.103537","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2026.103537","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W1526190050","https://openalex.org/W4251923961","https://openalex.org/W2477397717","https://openalex.org/W2500457737","https://openalex.org/W2010490241","https://openalex.org/W4287025733","https://openalex.org/W4317425742","https://openalex.org/W3192500523"],"abstract_inverted_index":{"Compositionality":[0],"supports":[1],"the":[2,38,117,127,142,155,162,171],"manipulation":[3],"of":[4,119,144],"large":[5,18,120],"systems":[6,19,121],"by":[7,23,153,158,187],"working":[8],"on":[9,85,107],"their":[10,27,134,145],"components.":[11],"For":[12],"model-based":[13,63,100],"testing,":[14],"this":[15,54,66,150],"means":[16],"that":[17,53,115],"can":[20,81,122],"be":[21,123],"tested":[22],"modelling":[24],"and":[25,51,98,136],"testing":[26,101,116,126,137],"components:":[28],"passing":[29,35],"tests":[30,36],"for":[31,37,48,60,73,89,130,138,175,184,189],"all":[32,90],"components":[33],"implies":[34],"whole":[39],"system.":[40],"In":[41,65],"previous":[42],"work,":[43],"we":[44,68,80,94,148],"defined":[45],"mutual":[46,75,83,105],"acceptance":[47,76,84,106],"specification":[49],"models":[50],"proved":[52],"property":[55],"is":[56,114],"a":[57,96,108,176,190],"sufficient":[58],"condition":[59],"compositionality":[61,88],"in":[62,77,180],"testing.":[64],"paper,":[67],"present":[69],"three":[70,166],"main":[71],"algorithms":[72,167],"using":[74],"practice.":[78],"First,":[79],"verify":[82],"specifications,":[86,135],"proving":[87],"valid":[91],"implementations.":[92],"Second,":[93],"give":[95],"sound":[97],"exhaustive":[99],"procedure":[102,151],"which":[103],"checks":[104],"specific":[109,191],"black-box":[110],"implementation.":[111],"The":[112],"result":[113],"correctness":[118],"decomposed":[124],"into":[125],"component":[128],"implementations":[129],"uioco":[131],"conformance":[132,140],"to":[133,141],"environmental":[139],"specifications":[143,160],"environment.":[146],"Finally,":[147],"optimise":[149],"further":[152],"utilizing":[154],"constraints":[156],"imposed":[157],"multiple":[159],"at":[161],"same":[163],"time.":[164],"These":[165],"together":[168],"allow":[169],"picking":[170],"most":[172],"suitable":[173],"approach":[174],"given":[177],"situation,":[178],"trading":[179],"more":[181],"generalizable":[182],"results":[183],"faster":[185],"runtime":[186],"optimising":[188],"context":[192],"as":[193],"desired.":[194]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2024-09-08T00:00:00"}