{"id":"https://openalex.org/W4409665646","doi":"https://doi.org/10.1007/s10009-025-00790-5","title":"Conformance in the railway industry: Single-Input-Change testing a EULYNX controller","display_name":"Conformance in the railway industry: Single-Input-Change testing a EULYNX controller","publication_year":2025,"publication_date":"2025-04-22","ids":{"openalex":"https://openalex.org/W4409665646","doi":"https://doi.org/10.1007/s10009-025-00790-5"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-025-00790-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-025-00790-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00790-5.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00790-5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048849728","display_name":"Djurre van der Wal","orcid":"https://orcid.org/0000-0003-4214-5438"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Djurre van\u00a0der Wal","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045316548","display_name":"Marcus Gerhold","orcid":"https://orcid.org/0000-0002-2655-9617"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marcus Gerhold","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mari\u00eblle Stoelinga","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045219123","display_name":"Arend Rensink","orcid":"https://orcid.org/0000-0002-1714-6319"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arend Rensink","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048849728"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":2.3479,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87796123,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"27","issue":"3","first_page":"377","last_page":"395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7636134624481201},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7546629309654236},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6431266069412231},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5103821158409119},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36705225706100464},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3506871461868286},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3148128390312195},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2694639563560486}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7636134624481201},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7546629309654236},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6431266069412231},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5103821158409119},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36705225706100464},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3506871461868286},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3148128390312195},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2694639563560486},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10009-025-00790-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-025-00790-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00790-5.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/862b177e-dfda-4d8e-9fbe-7d1d052602dd","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/862b177e-dfda-4d8e-9fbe-7d1d052602dd","pdf_url":"https://ris.utwente.nl/ws/files/492993386/s10009-025-00790-5.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wal, D V, Gerhold, M, Stoelinga, M & Rensink, A 2025, 'Conformance in the railway industry : Single-Input-Change testing a EULYNX controller', International journal on software tools for technology transfer, vol. 27, no. 3, pp. 377-395. https://doi.org/10.1007/s10009-025-00790-5","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10009-025-00790-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-025-00790-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-025-00790-5.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409665646.pdf","grobid_xml":"https://content.openalex.org/works/W4409665646.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W137536751","https://openalex.org/W290481602","https://openalex.org/W792985227","https://openalex.org/W1987382793","https://openalex.org/W2004929506","https://openalex.org/W2017785898","https://openalex.org/W2021473546","https://openalex.org/W2083222184","https://openalex.org/W2095175649","https://openalex.org/W2101089915","https://openalex.org/W2119296494","https://openalex.org/W2126818664","https://openalex.org/W2135841285","https://openalex.org/W2149542769","https://openalex.org/W2169437524","https://openalex.org/W2280925007","https://openalex.org/W2347013203","https://openalex.org/W2528823623","https://openalex.org/W2750544425","https://openalex.org/W2769171049","https://openalex.org/W2789966497","https://openalex.org/W2807600988","https://openalex.org/W2883605477","https://openalex.org/W2885628182","https://openalex.org/W2931334490","https://openalex.org/W2956156309","https://openalex.org/W3001441911","https://openalex.org/W3005374943","https://openalex.org/W3014502717","https://openalex.org/W3040824254","https://openalex.org/W3146484529","https://openalex.org/W3165573183","https://openalex.org/W4214928512","https://openalex.org/W4251245562","https://openalex.org/W4280585687","https://openalex.org/W4282599253","https://openalex.org/W4308080021","https://openalex.org/W4327635236","https://openalex.org/W4386806352","https://openalex.org/W6633025828"],"related_works":["https://openalex.org/W2000983334","https://openalex.org/W2352994864","https://openalex.org/W2364507636","https://openalex.org/W2375657886","https://openalex.org/W2073464218","https://openalex.org/W2484235349","https://openalex.org/W2418291489","https://openalex.org/W2387496793","https://openalex.org/W2969218722","https://openalex.org/W2156379738"],"abstract_inverted_index":{"Abstract":[0],"We":[1,72,154],"propose":[2,88],"a":[3,14,67,89],"novel":[4],"framework":[5],"for":[6,21,84,136],"model-based":[7],"testing":[8],"against":[9],"specifications":[10],"from":[11,17,79],"EULYNX":[12,103,134],",":[13],"SysML-based":[15],"standard":[16],"the":[18,22,38,80,100,133,172,177],"railway":[19],"industry":[20],"controllers":[23,138],"of":[24,70,94],"systems":[25],"such":[26],"as":[27,176],"points,":[28],"signals,":[29],"sensors,":[30],"and":[31],"crossings.":[32],"The":[33,140],"main":[34],"challenge":[35],"here":[36],"is":[37,59,104],"sheer":[39],"complexity:":[40],"with":[41],"state":[42],"spaces":[43],"exceeding":[44],"$10^{10}$":[45],"<mml:math":[46],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[47],"<mml:msup>":[48],"<mml:mrow>":[49,52],"<mml:mn>10</mml:mn>":[50,53],"</mml:mrow>":[51,54],"</mml:msup>":[55],"</mml:math>":[56],"states,":[57],"it":[58],"hard":[60],"to":[61],"derive":[62],"test":[63,142,149,158],"suites":[64],"that":[65,102,160],"achieve":[66],"meaningful":[68],"type":[69],"coverage.":[71,165],"tackle":[73],"this":[74,167],"problem":[75],"by":[76],"moving":[77],"away":[78],"traditional":[81],"interleaving":[82],"semantics":[83,91],"SysML.":[85],"Instead,":[86],"we":[87,112],"synchronous":[90],"in":[92],"terms":[93],"Finite":[95,116],"State":[96,117],"Machines":[97,118],"(FSMs),":[98],"leveraging":[99],"fact":[101],"implemented":[105],"on":[106,132],"Programmable":[107],"Logic":[108],"Controllers":[109],"(PLCs).":[110],"Then,":[111],"deploy":[113],"Single-Input-Change":[114],"Deterministic":[115],"(SIC-DFSMs),":[119],"which":[120],"ensures":[121],"fully":[122],"deterministic":[123],"tests,":[124],"thus":[125],"minimizing":[126],"scalability":[127],"issues.":[128],"Our":[129],"focus":[130],"lies":[131],"specification":[135],"point":[137],".":[139],"generated":[141],"suite":[143,159,169],"achieves":[144,161],"maximal":[145,162],"transition":[146,163],"coverage,":[147],"but":[148],"execution":[150],"time":[151],"remains":[152],"substantial.":[153],"introduce":[155],"an":[156],"additional":[157],"label":[164],"Remarkably,":[166],"smaller":[168],"successfully":[170],"identifies":[171],"same":[173],"four":[174],"faults":[175],"larger":[178],"suite.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}