{"id":"https://openalex.org/W4297337347","doi":"https://doi.org/10.1109/rusautocon54946.2022.9896346","title":"Grammar-Based Testing a Process-Oriented Extension of the IEC 61131-3 Structured Text Language","display_name":"Grammar-Based Testing a Process-Oriented Extension of the IEC 61131-3 Structured Text Language","publication_year":2022,"publication_date":"2022-09-04","ids":{"openalex":"https://openalex.org/W4297337347","doi":"https://doi.org/10.1109/rusautocon54946.2022.9896346"},"language":"en","primary_location":{"id":"doi:10.1109/rusautocon54946.2022.9896346","doi":"https://doi.org/10.1109/rusautocon54946.2022.9896346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rusautocon54946.2022.9896346","pdf_url":null,"source":{"id":"https://openalex.org/S4306498558","display_name":"International Russian Automation Conference (RusAutoCon)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Russian Automation Conference (RusAutoCon)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5024052778","display_name":"Sergey Mikhailovich Staroletov","orcid":"https://orcid.org/0000-0001-5183-9736","observed_orcids":["https://orcid.org/0000-0001-5183-9736"]},"institutions":[{"id":"https://openalex.org/I4210164049","display_name":"Institute of Automation and Electrometry","ror":"https://ror.org/05fqdmq12","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210164049"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Sergey M. Staroletov","raw_affiliation_strings":["Institute of Automation and Electrometry Novosibirsk,Cyber-physical lab,Russia","Cyber-physical lab, Institute of Automation and Electrometry Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Automation and Electrometry Novosibirsk,Cyber-physical lab,Russia","institution_ids":["https://openalex.org/I4210164049"]},{"raw_affiliation_string":"Cyber-physical lab, Institute of Automation and Electrometry Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210164049"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5024052778"],"corresponding_institution_ids":["https://openalex.org/I4210164049"],"apc_list":null,"apc_paid":null,"fwci":0.6928,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.6231979,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"863","last_page":"869"},"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.7846999764442444,"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.7846999764442444,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.13680000603199005,"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/T10126","display_name":"Logic, programming, and type systems","score":0.025800000876188278,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/domain-specific-languages","display_name":"domain-specific languages","score":0.6259999871253967},{"id":"https://openalex.org/keywords/xtext","display_name":"Xtext","score":0.8159999847412109},{"id":"https://openalex.org/keywords/fuzzing","display_name":"fuzzing","score":0.6370000243186951},{"id":"https://openalex.org/keywords/transformation-correctness","display_name":"transformation correctness","score":0.4059999883174896},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"programmable logic controller","score":0.8550000190734863},{"id":"https://openalex.org/keywords/context-free-grammars","display_name":"context-free grammars","score":0.7390000224113464},{"id":"https://openalex.org/keywords/code-generation","display_name":"code generation","score":0.3919999897480011}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8756864070892334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.812100887298584},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6272109746932983},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.6177979707717896},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.546974241733551},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.5361663103103638},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.47982120513916016},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4601263701915741},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.452900767326355},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4350253939628601},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.41790771484375},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36917027831077576},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14379814267158508},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rusautocon54946.2022.9896346","doi":"https://doi.org/10.1109/rusautocon54946.2022.9896346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rusautocon54946.2022.9896346","pdf_url":null,"source":{"id":"https://openalex.org/S4306498558","display_name":"International Russian Automation Conference (RusAutoCon)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Russian Automation Conference (RusAutoCon)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1538948796","https://openalex.org/W2020511906","https://openalex.org/W2027068903","https://openalex.org/W2031454477","https://openalex.org/W2065948900","https://openalex.org/W2102874028","https://openalex.org/W2125174515","https://openalex.org/W2913286805","https://openalex.org/W2913353391","https://openalex.org/W2963350015","https://openalex.org/W3047452741","https://openalex.org/W3091128543","https://openalex.org/W3167508656","https://openalex.org/W3180202404","https://openalex.org/W3195883424","https://openalex.org/W3215785821","https://openalex.org/W4220775218","https://openalex.org/W4226373004","https://openalex.org/W4243080092"],"related_works":["https://openalex.org/W1982922650","https://openalex.org/W7101101918","https://openalex.org/W2107436621","https://openalex.org/W4393274723","https://openalex.org/W2120918659","https://openalex.org/W4395085400","https://openalex.org/W1991950435","https://openalex.org/W7099060235","https://openalex.org/W2506635712","https://openalex.org/W2035447421"],"abstract_inverted_index":{"DSL":[0,34],"is":[1,47,95,184],"a":[2,55,59,67,106,116,167],"convenient":[3,63],"approach":[4],"for":[5,136,150],"describing":[6],"language":[7,44,60,69,126,135,155,201],"models,":[8],"which":[9,71],"targeted":[10],"specific":[11],"domains":[12],"or":[13,104],"subject":[14],"areas.":[15],"These":[16],"languages":[17],"are":[18],"based":[19],"on":[20,113],"the":[21,48,84,99,102,123,128,133,153,157,163,180,191,195,199,210,216],"original":[22],"context-free":[23],"grammars,":[24],"besides":[25],"parsing,":[26],"validation,":[27],"and":[28,78,160,202,215],"code":[29,183],"generation":[30],"tools":[31,149],"provided":[32],"by":[33,169,186],"development":[35],"platforms.":[36],"A":[37],"promising":[38],"mechanism":[39],"intended":[40],"to":[41,89,97,122,152],"convert":[42],"some":[43,80],"into":[45,66],"another":[46],"so-called":[49],"transpilers":[50],"(or":[51],"source-to-source":[52],"compilers).":[53],"Such":[54],"transformation":[56,117],"can":[57],"translate":[58],"with":[61,145],"more":[62,76],"syntactic":[64],"constructions":[65,73],"common":[68],"in":[70,87],"such":[72,115,166],"take":[74],"up":[75],"space":[77],"perform":[79],"repetitive":[81],"functions.":[82],"At":[83],"same":[85],"time,":[86],"order":[88],"build":[90],"reliable":[91],"automation":[92,138],"systems,":[93],"it":[94],"necessary":[96,196],"prove":[98],"correctness":[100,164],"of":[101,127,165],"transformations":[103],"provide":[105],"good":[107],"test":[108],"harness.":[109],"This":[110],"paper":[111],"focuses":[112],"testing":[114,214],"when":[118],"adding":[119],"process-related":[120],"expressiveness":[121],"Structured":[124],"Text":[125],"61131-3":[129],"standard.":[130],"We":[131],"extend":[132],"standardized":[134],"industrial":[137],"using":[139,156,173],"programmable":[140],"logic":[141],"controller":[142],"(PLC)":[143],"devices":[144],"additional":[146],"constructions,":[147],"create":[148],"converting":[151],"target":[154,200],"Xtext":[158],"platform,":[159],"then":[161],"check":[162,178],"conversion":[168],"generating":[170],"(fuzzing)":[171],"tests":[172],"modified":[174],"grammar.":[175],"Ultimately,":[176],"we":[177,193],"that":[179],"resulting":[181],"source":[182],"accepted":[185],"an":[187],"ST":[188],"recognizer.":[189],"In":[190],"article,":[192],"discuss":[194],"information":[197],"about":[198,203],"our":[204],"solution,":[205],"as":[206,208],"well":[207],"all":[209],"problems":[211],"encountered":[212],"during":[213],"results.":[217]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2022-09-28T00:00:00"}