{"id":"https://openalex.org/W3115177176","doi":"https://doi.org/10.1515/comp-2020-0120","title":"A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution","display_name":"A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution","publication_year":2020,"publication_date":"2020-12-17","ids":{"openalex":"https://openalex.org/W3115177176","doi":"https://doi.org/10.1515/comp-2020-0120","mag":"3115177176"},"language":"en","primary_location":{"id":"doi:10.1515/comp-2020-0120","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2020-0120","pdf_url":"https://www.degruyter.com/document/doi/10.1515/comp-2020-0120/pdf","source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.degruyter.com/document/doi/10.1515/comp-2020-0120/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013241931","display_name":"Endre F\u00fcl\u00f6p","orcid":null},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Endre F\u00fcl\u00f6p","raw_affiliation_strings":["Department of Programming Language and Compilers , E\u00f6tv\u00f6s Lor\u00e1nd University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Programming Language and Compilers , E\u00f6tv\u00f6s Lor\u00e1nd University","institution_ids":["https://openalex.org/I106118109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016665288","display_name":"Norbert Pataki","orcid":"https://orcid.org/0000-0002-7519-3367"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Norbert Pataki","raw_affiliation_strings":["ELTE E\u00f6tv\u00f6s Lor\u00e1nd University , Budapest , Hungary , Faculty of Informatics, 3in Research Group , Martonv\u00e1s\u00e1r , Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ELTE E\u00f6tv\u00f6s Lor\u00e1nd University , Budapest , Hungary , Faculty of Informatics, 3in Research Group , Martonv\u00e1s\u00e1r , Hungary","institution_ids":["https://openalex.org/I106118109"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016665288"],"corresponding_institution_ids":["https://openalex.org/I106118109"],"apc_list":{"value":1000,"currency":"EUR","value_usd":1078},"apc_paid":{"value":1000,"currency":"EUR","value_usd":1078},"fwci":0.2983,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63904144,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"1","first_page":"107","last_page":"115"},"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.9998999834060669,"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.9998999834060669,"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.9995999932289124,"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8515163660049438},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7061112523078918},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6862778663635254},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6380202770233154},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6118497848510742},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5817096829414368},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5710175633430481},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.4971320927143097},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.4843962788581848},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4024476110935211},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.35827499628067017}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8515163660049438},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7061112523078918},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6862778663635254},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6380202770233154},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6118497848510742},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5817096829414368},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5710175633430481},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.4971320927143097},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.4843962788581848},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4024476110935211},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.35827499628067017}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/comp-2020-0120","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2020-0120","pdf_url":"https://www.degruyter.com/document/doi/10.1515/comp-2020-0120/pdf","source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:b96dbc6f0b084d07950d4be5737f3dba","is_oa":true,"landing_page_url":"https://doaj.org/article/b96dbc6f0b084d07950d4be5737f3dba","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Open Computer Science, Vol 11, Iss 1, Pp 107-115 (2020)","raw_type":"article"},{"id":"pmh:oai:edit.elte.hu:10831/111426","is_oa":true,"landing_page_url":"http://hdl.handle.net/10831/111426","pdf_url":null,"source":{"id":"https://openalex.org/S4306400126","display_name":"ELTE Digital Institutional Repository (EDIT) (E\u00f6tv\u00f6s Lor\u00e1nd University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I106118109","host_organization_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","host_organization_lineage":["https://openalex.org/I106118109"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1515/comp-2020-0120","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2020-0120","pdf_url":"https://www.degruyter.com/document/doi/10.1515/comp-2020-0120/pdf","source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5899999737739563}],"awards":[{"id":"https://openalex.org/G1818906674","display_name":null,"funder_award_id":"EFOP-3.6.2-16-2017-00013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4693063966","display_name":null,"funder_award_id":"EFOP-3","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G508426677","display_name":null,"funder_award_id":"EFOP-3.6.2-16-2017-00013","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3115177176.pdf","grobid_xml":"https://content.openalex.org/works/W3115177176.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W143629877","https://openalex.org/W1904455255","https://openalex.org/W2050883607","https://openalex.org/W2056155072","https://openalex.org/W2071589768","https://openalex.org/W2082314767","https://openalex.org/W2101512909","https://openalex.org/W2156858199","https://openalex.org/W2324319265","https://openalex.org/W2572538018","https://openalex.org/W2585582603","https://openalex.org/W2895847757","https://openalex.org/W2898193680","https://openalex.org/W2956971785","https://openalex.org/W2987803397","https://openalex.org/W3036130004","https://openalex.org/W3101579612","https://openalex.org/W3150461596","https://openalex.org/W4233410239","https://openalex.org/W4239035626","https://openalex.org/W4246117430"],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W2295023886","https://openalex.org/W1566618018","https://openalex.org/W2914996832","https://openalex.org/W2019299443","https://openalex.org/W4245197793","https://openalex.org/W1994915990","https://openalex.org/W4285586714","https://openalex.org/W2751940653","https://openalex.org/W2755634893"],"abstract_inverted_index":{"Abstract":[0],"Static":[1,85,188],"analysis":[2,35,44,70],"is":[3,29,67,87],"an":[4,139,202],"essential":[5],"way":[6],"to":[7,163],"find":[8],"code":[9,17,52,61],"smells":[10],"and":[11,20,58,106,170,185,209],"bugs.":[12],"It":[13],"checks":[14],"the":[15,49,73,95,123,183,196,210],"source":[16],"without":[18],"execution":[19,66,91,198],"no":[21],"test":[22],"cases":[23],"are":[24,79,144],"required,":[25],"therefore":[26],"its":[27],"cost":[28],"lower":[30],"than":[31],"testing.":[32],"Moreover,":[33],"static":[34,43,69],"can":[36,45,100,152,192],"help":[37],"in":[38,141,166,195,205],"software":[39,56],"engineering":[40],"comprehensively,":[41],"since":[42],"be":[46,101,153,193],"used":[47,102,194],"for":[48,54,59,121,138,155,178],"validation":[50],"of":[51,109,125,168,212],"conventions,":[53],"measuring":[55],"complexity":[57],"executing":[60],"refactorings":[62],"as":[63],"well.":[64],"Symbolic":[65],"a":[68,88,176],"method":[71],"where":[72],"variables":[74],"(":[75,112,127],"e.g.":[76,113,128],"input":[77],"data)":[78],"interpreted":[80],"with":[81,103],"symbolic":[82,90,147,197],"values.":[83],"Clang":[84,96,187],"Analyzer":[86,189],"powerful":[89],"engine":[92],"based":[93],"on":[94],"compiler":[97],"infrastructure":[98],"that":[99,191],"C,":[104],"C++":[105],"Objective-C.":[107],"Validation":[108],"resources\u2019":[110],"usage":[111,211],"files,":[114],"memory)":[115],"requires":[116],"finite":[117],"state":[118,124],"automata":[119,143,165],"(FSA)":[120],"modeling":[122],"resource":[126],"locked":[129],"or":[130],"acquired":[131],"resource).":[132],"In":[133],"this":[134,179],"paper,":[135],"we":[136],"argue":[137],"approach":[140,180],"which":[142,181],"in-use":[145],"during":[146],"execution.":[148],"The":[149],"generic":[150],"automaton":[151,184,204],"customized":[154],"different":[156],"resources.":[157],"We":[158,173,200],"present":[159],"our":[160,206],"domain-specific":[161,207],"language":[162,208],"define":[164],"terms":[167],"syntactic":[169],"semantic":[171],"rules.":[172],"have":[174],"developed":[175],"tool":[177],"parses":[182],"generates":[186],"checker":[190],"engine.":[199],"show":[201],"example":[203],"generated":[213],"checker.":[214]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2021-01-05T00:00:00"}