{"id":"https://openalex.org/W4372204504","doi":"https://doi.org/10.1515/auto-2022-0125","title":"A model-based mutation framework for IEC61131-3 manufacturing systems","display_name":"A model-based mutation framework for IEC61131-3 manufacturing systems","publication_year":2023,"publication_date":"2023-05-01","ids":{"openalex":"https://openalex.org/W4372204504","doi":"https://doi.org/10.1515/auto-2022-0125"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1515/auto-2022-0125","pdf_url":null,"source":{"id":"https://openalex.org/S4210170077","display_name":"at - Automatisierungstechnik","issn_l":"0178-2312","issn":["0178-2312","2196-677X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078938665","display_name":"Kamil Rosiak","orcid":"https://orcid.org/0009-0002-7146-1819"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Kamil Rosiak","raw_affiliation_strings":["Institute of Software Engineering and Automotive Informatics , Technische Universit\u00e4t Braunschweig , Braunschweig , Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Software Engineering and Automotive Informatics , Technische Universit\u00e4t Braunschweig , Braunschweig , Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022041640","display_name":"Lukas Linsbauer","orcid":"https://orcid.org/0000-0001-7277-5997"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lukas Linsbauer","raw_affiliation_strings":["Institute of Software Engineering and Automotive Informatics , Technische Universit\u00e4t Braunschweig , Braunschweig , Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Software Engineering and Automotive Informatics , Technische Universit\u00e4t Braunschweig , Braunschweig , Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071323487","display_name":"Birgit Vogel\u2010Heuser","orcid":"https://orcid.org/0000-0003-2785-8819"},"institutions":[{"id":"https://openalex.org/I4210157642","display_name":"Institute of Automation","ror":"https://ror.org/056qj1t15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157642","https://openalex.org/I78650965"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Birgit Vogel-Heuser","raw_affiliation_strings":["Institute of Automation and Information Systems , Technische Universit\u00e4t M\u00fcnchen , Munich , Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Automation and Information Systems , Technische Universit\u00e4t M\u00fcnchen , Munich , Germany","institution_ids":["https://openalex.org/I4210157642","https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065261670","display_name":"Ina Schaefer","orcid":"https://orcid.org/0000-0002-7153-761X"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ina Schaefer","raw_affiliation_strings":["Institute of Information Security and Dependability , Karlsruhe Institute of Technology , Karlsruhe , Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Information Security and Dependability , Karlsruhe Institute of Technology , Karlsruhe , Germany","institution_ids":["https://openalex.org/I102335020"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5078938665"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":67},"biblio":{"volume":"71","issue":"5","first_page":"380","last_page":"390"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9972,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9972,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9963,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9958,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/clone","display_name":"clone (Java method)","score":0.50880533},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.46330836},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4622521},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation Testing","score":0.4564164}],"concepts":[{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.63597256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5607103},{"id":"https://openalex.org/C81089528","wikidata":"https://www.wikidata.org/wiki/Q5134986","display_name":"clone (Java method)","level":3,"score":0.50880533},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5064825},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.46330836},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4622521},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46163177},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.4564164},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.4234941},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.20445731},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.17588976},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.16045517},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.09134734},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.09020311},{"id":"https://openalex.org/C552990157","wikidata":"https://www.wikidata.org/wiki/Q7430","display_name":"DNA","level":2,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1515/auto-2022-0125","pdf_url":null,"source":{"id":"https://openalex.org/S4210170077","display_name":"at - Automatisierungstechnik","issn_l":"0178-2312","issn":["0178-2312","2196-677X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":16,"referenced_works":["https://openalex.org/W1159006237","https://openalex.org/W1504271833","https://openalex.org/W1640728868","https://openalex.org/W1993005299","https://openalex.org/W2020161882","https://openalex.org/W2025962632","https://openalex.org/W2075592454","https://openalex.org/W2119887272","https://openalex.org/W2135841285","https://openalex.org/W2140890531","https://openalex.org/W2166131357","https://openalex.org/W2796141603","https://openalex.org/W2799640043","https://openalex.org/W2806530724","https://openalex.org/W2976897941","https://openalex.org/W3198199907"],"related_works":["https://openalex.org/W3204955359","https://openalex.org/W2960013457","https://openalex.org/W2952322169","https://openalex.org/W2731612402","https://openalex.org/W2076609667","https://openalex.org/W2018017297","https://openalex.org/W1995692264","https://openalex.org/W1995023328","https://openalex.org/W1490208943","https://openalex.org/W1485837041"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"article":[2],"presents":[3],"a":[4,21],"model-based":[5],"mutation":[6,30,42,66],"framework":[7,17,67],"for":[8,77],"creating":[9],"mutant":[10],"systems":[11],"implemented":[12],"in":[13],"IEC61131-3":[14,25],"languages.":[15],"The":[16,65],"is":[18],"based":[19],"on":[20],"meta-model":[22],"of":[23,38,43,81],"the":[24,34,41,79],"standard.":[26],"It":[27],"supports":[28],"21":[29],"operations,":[31],"such":[32,59,84],"as":[33,60,85],"addition":[35],"or":[36,40,90],"removal":[37],"POUs":[39],"Structured":[44],"Text":[45],"and":[46,73],"Sequential":[47],"Functional":[48],"Charts.":[49],"Moreover,":[50],"operations":[51],"can":[52,68],"be":[53,69],"combined":[54],"to":[55,71],"create":[56],"higher-order":[57],"changes,":[58],"Type":[61],"III":[62],"code":[63],"clones.":[64],"used":[70],"evaluate":[72],"improve":[74],"development":[75],"tools":[76],"supporting":[78],"evolution":[80],"manufacturing":[82],"systems,":[83],"regression":[86],"test":[87],"suite":[88],"generators":[89],"clone":[91],"detectors.":[92]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4372204504","counts_by_year":[],"updated_date":"2025-01-18T13:11:59.582369","created_date":"2023-05-07"}