{"id":"https://openalex.org/W2949730470","doi":"https://doi.org/10.1109/fmcad.2016.7886656","title":"Synthesizing adaptive test strategies from temporal logic specifications","display_name":"Synthesizing adaptive test strategies from temporal logic specifications","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2949730470","doi":"https://doi.org/10.1109/fmcad.2016.7886656","mag":"2949730470"},"language":"en","primary_location":{"id":"doi:10.1109/fmcad.2016.7886656","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fmcad.2016.7886656","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11420/4328","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053520475","display_name":"Roderick Bloem","orcid":"https://orcid.org/0000-0002-1411-5744"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Roderick Bloem","raw_affiliation_strings":["Institute of Applied Information Processing and Communications, Graz University of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Applied Information Processing and Communications, Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068407760","display_name":"Robert K\u00f6nighofer","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Robert Konighofer","raw_affiliation_strings":["Institute of Applied Information Processing and Communications, Graz University of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Applied Information Processing and Communications, Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046899369","display_name":"Ingo Pill","orcid":"https://orcid.org/0000-0002-8420-6377"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ingo Pill","raw_affiliation_strings":["Institute of Software Technology, Graz University of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Software Technology, Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015730264","display_name":"Franz R\u00f6ck","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Franz Rock","raw_affiliation_strings":["Institute of Applied Information Processing and Communications, Graz University of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Applied Information Processing and Communications, Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5053520475"],"corresponding_institution_ids":["https://openalex.org/I4092182"],"apc_list":null,"apc_paid":null,"fwci":1.305,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.83982465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"17","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.7574640512466431},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6607284545898438},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.6204365491867065},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4795229732990265},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4532519280910492},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.44892191886901855},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4450072944164276},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.440155029296875},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.41262537240982056},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34708550572395325},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1674666404724121},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11192014813423157},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09144768118858337}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7574640512466431},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6607284545898438},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.6204365491867065},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4795229732990265},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4532519280910492},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.44892191886901855},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4450072944164276},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.440155029296875},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.41262537240982056},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34708550572395325},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1674666404724121},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11192014813423157},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09144768118858337},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/fmcad.2016.7886656","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fmcad.2016.7886656","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","raw_type":"proceedings-article"},{"id":"pmh:oai:null:11420/4328","is_oa":true,"landing_page_url":"http://hdl.handle.net/11420/4328","pdf_url":null,"source":{"id":"https://openalex.org/S4306401751","display_name":"tub.dok (Hamburg University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I884043246","host_organization_name":"Hamburg University of Technology","host_organization_lineage":["https://openalex.org/I884043246"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"doi:10.15480/882.2560","is_oa":true,"landing_page_url":"https://doi.org/10.15480/882.2560","pdf_url":null,"source":{"id":"https://openalex.org/S7407052987","display_name":"TUHH Open Research","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:null:11420/4328","is_oa":true,"landing_page_url":"http://hdl.handle.net/11420/4328","pdf_url":null,"source":{"id":"https://openalex.org/S4306401751","display_name":"tub.dok (Hamburg University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I884043246","host_organization_name":"Hamburg University of Technology","host_organization_lineage":["https://openalex.org/I884043246"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G1294107661","display_name":"A Source code analysis Toolbox for software security AssuraNCE","funder_award_id":"317753","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3238403941","display_name":null,"funder_award_id":"608770","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3824962912","display_name":null,"funder_award_id":"644905","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5483342299","display_name":null,"funder_award_id":"FP7-ICT","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7293106179","display_name":null,"funder_award_id":"S11406-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338370","display_name":"FP7 Information and Communication Technologies","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W115941733","https://openalex.org/W142385736","https://openalex.org/W143039783","https://openalex.org/W790410956","https://openalex.org/W1483744477","https://openalex.org/W1496915765","https://openalex.org/W1523747463","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1700264732","https://openalex.org/W1725092093","https://openalex.org/W1969671537","https://openalex.org/W1970006433","https://openalex.org/W1985759744","https://openalex.org/W1986867802","https://openalex.org/W1996596150","https://openalex.org/W1998872168","https://openalex.org/W2010511937","https://openalex.org/W2011735245","https://openalex.org/W2016206563","https://openalex.org/W2023329406","https://openalex.org/W2023808162","https://openalex.org/W2027769154","https://openalex.org/W2032189196","https://openalex.org/W2034797990","https://openalex.org/W2049695835","https://openalex.org/W2052495090","https://openalex.org/W2055298790","https://openalex.org/W2067531935","https://openalex.org/W2082212664","https://openalex.org/W2104717300","https://openalex.org/W2106534507","https://openalex.org/W2132980633","https://openalex.org/W2135841285","https://openalex.org/W2143578569","https://openalex.org/W2147259298","https://openalex.org/W2149041900","https://openalex.org/W2152924401","https://openalex.org/W2154984259","https://openalex.org/W2163559687","https://openalex.org/W2164968206","https://openalex.org/W2165694820","https://openalex.org/W2167793921","https://openalex.org/W2501018404","https://openalex.org/W2798943712","https://openalex.org/W2913192371","https://openalex.org/W2986444891","https://openalex.org/W4211181233","https://openalex.org/W4241616303","https://openalex.org/W4248784701","https://openalex.org/W6629653193","https://openalex.org/W6630053826","https://openalex.org/W6631377099","https://openalex.org/W6649971215","https://openalex.org/W6653251872","https://openalex.org/W6681457246"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W1513400763"],"abstract_inverted_index":{"Constructing":[0],"good":[1],"test":[2,13,33,135],"cases":[3,34],"is":[4,14,22],"difficult":[5],"and":[6,18,62,149,163],"time-consuming,":[7],"especially":[8],"if":[9],"the":[10,60,67,71,80,115,120,146,165],"system":[11,121],"under":[12,16],"still":[15],"development":[17],"its":[19],"exact":[20],"behavior":[21,65,122,140],"not":[23,118],"yet":[24],"fixed.":[25],"We":[26,74,143],"propose":[27],"a":[28,39,90],"new":[29],"approach":[30,156],"to":[31,48,93,132,139,160,176],"compute":[32,133],"for":[35,63,79,110],"reactive":[36,126],"systems":[37],"from":[38,89,99],"given":[40],"temporal":[41],"logic":[42],"specification.":[43],"The":[44],"tests":[45,106],"are":[46,107,168,174],"guaranteed":[47],"reveal":[49],"certain":[50],"simple":[51],"bugs":[52,172],"(like":[53],"occasional":[54],"bit-flips)":[55],"in":[56],"every":[57,64],"realization":[58],"of":[59,66,70,82,170],"specification":[61,116],"uncontrollable":[68],"part":[69],"system's":[72],"environment.":[73],"aim":[75],"at":[76,141],"unveiling":[77],"faults":[78],"lowest":[81],"four":[83],"fault":[84],"occurrence":[85,92],"frequencies":[86],"possible":[87],"(ranging":[88],"single":[91],"persistence).":[94],"Based":[95],"on":[96],"well-established":[97],"hypotheses":[98],"fault-based":[100],"testing,":[101],"we":[102,124],"argue":[103],"that":[104,137,154,164,173],"such":[105],"also":[108],"sensitive":[109],"more":[111],"complex":[112],"bugs.":[113],"Since":[114],"may":[117],"define":[119],"completely,":[123],"use":[125],"synthesis":[127],"algorithms":[128],"(with":[129],"partial":[130],"information)":[131],"adaptive":[134],"strategies":[136,167],"react":[138],"runtime.":[142],"work":[144],"out":[145],"underlying":[147],"theory":[148],"present":[150],"first":[151],"experiments":[152],"demonstrating":[153],"our":[155],"can":[157],"be":[158],"applied":[159],"industrial":[161],"specifications":[162],"resulting":[166],"capable":[169],"detecting":[171],"hard":[175],"detect":[177],"with":[178],"random":[179],"testing.":[180]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}