{"id":"https://openalex.org/W3121887858","doi":"https://doi.org/10.3233/fi-2021-2001","title":"Stubborn Sets, Frozen Actions, and Fair Testing","display_name":"Stubborn Sets, Frozen Actions, and Fair Testing","publication_year":2021,"publication_date":"2021-01-13","ids":{"openalex":"https://openalex.org/W3121887858","doi":"https://doi.org/10.3233/fi-2021-2001","mag":"3121887858"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2021-2001","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2021-2001","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"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/A5062460264","display_name":"Antti Valmari","orcid":"https://orcid.org/0000-0002-5022-1624"},"institutions":[{"id":"https://openalex.org/I94722563","display_name":"University of Jyv\u00e4skyl\u00e4","ror":"https://ror.org/05n3dz165","country_code":"FI","type":"education","lineage":["https://openalex.org/I94722563"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Antti Valmari","raw_affiliation_strings":["Faculty of Information Technology, University of Jyv\u00e4skyl\u00e4, P.O. Box 35 (Ag C416.2), FI-40014 University of Jyv\u00e4skyl\u00e4, Jyv\u00e4skyl\u00e4, Finland. antti.valmari@jyu.fi"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, University of Jyv\u00e4skyl\u00e4, P.O. Box 35 (Ag C416.2), FI-40014 University of Jyv\u00e4skyl\u00e4, Jyv\u00e4skyl\u00e4, Finland. antti.valmari@jyu.fi","institution_ids":["https://openalex.org/I94722563"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068573305","display_name":"Walter Vogler","orcid":null},"institutions":[{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Walter Vogler","raw_affiliation_strings":["Institut f\u00fcr Informatik, University of Augsburg, D-86135 Augsburg, Germany. walter.vogler@informatik.uni-augsburg.de"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, University of Augsburg, D-86135 Augsburg, Germany. walter.vogler@informatik.uni-augsburg.de","institution_ids":["https://openalex.org/I179225836"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062460264"],"corresponding_institution_ids":["https://openalex.org/I94722563"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03761117,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"178","issue":"1-2","first_page":"139","last_page":"172"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9835000038146973,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9571999907493591,"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.6516237854957581},{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.6200661659240723},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5839391946792603},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5478342771530151},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5324885249137878},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5193582773208618},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33573442697525024},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.281794011592865},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16033664345741272},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.16015475988388062}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6516237854957581},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.6200661659240723},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5839391946792603},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5478342771530151},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5324885249137878},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5193582773208618},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33573442697525024},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.281794011592865},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16033664345741272},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.16015475988388062},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-2021-2001","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2021-2001","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:jyx.jyu.fi:123456789/74019","is_oa":false,"landing_page_url":"http://urn.fi/URN:NBN:fi:jyu-202102081460","pdf_url":null,"source":{"id":"https://openalex.org/S4306400563","display_name":"Jyv\u00e4skyl\u00e4 University Digital Archive (University of Jyv\u00e4skyl\u00e4)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I94722563","host_organization_name":"University of Jyv\u00e4skyl\u00e4","host_organization_lineage":["https://openalex.org/I94722563"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"A1"},{"id":"pmh:oai:uni-augsburg.opus-bayern.de:84774","is_oa":false,"landing_page_url":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/84774","pdf_url":null,"source":{"id":"https://openalex.org/S4306400930","display_name":"OPUS (Augsburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119916105","host_organization_name":"Augsburg University","host_organization_lineage":["https://openalex.org/I119916105"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W477134","https://openalex.org/W68069235","https://openalex.org/W1494237684","https://openalex.org/W1530365972","https://openalex.org/W1553245026","https://openalex.org/W1965253335","https://openalex.org/W2028782479","https://openalex.org/W2093709900","https://openalex.org/W2093916942","https://openalex.org/W2118382442","https://openalex.org/W2151689074","https://openalex.org/W2394806269","https://openalex.org/W2574621618","https://openalex.org/W2784360364","https://openalex.org/W2913931721","https://openalex.org/W4232635666","https://openalex.org/W4249906489"],"related_works":["https://openalex.org/W2982321410","https://openalex.org/W2366107444","https://openalex.org/W2392004567","https://openalex.org/W2940029036","https://openalex.org/W4388292429","https://openalex.org/W2756595502","https://openalex.org/W2046296964","https://openalex.org/W2010789764","https://openalex.org/W2219281195","https://openalex.org/W2053272622"],"abstract_inverted_index":{"Many":[0],"partial":[1],"order":[2],"methods":[3,23],"use":[4],"some":[5],"special":[6],"condition":[7,30],"for":[8,24,135],"ensuring":[9],"that":[10,64,78,117],"the":[11,18,29,36,41,49,66,83,86,93,103,119,122,136],"analysis":[12],"is":[13,31,80,109],"not":[14],"terminated":[15],"prematurely.":[16],"In":[17,56],"case":[19],"of":[20,28,40,73,85,102,138],"stubborn":[21,50],"set":[22],"safety":[25],"properties,":[26],"implementation":[27],"usually":[32],"based":[33],"on":[34],"recognizing":[35],"terminal":[37],"strong":[38],"components":[39],"reduced":[42],"state":[43],"space":[44],"and,":[45],"if":[46,65],"necessary,":[47],"expanding":[48],"sets":[51],"used":[52],"in":[53,88,111,121],"their":[54],"roots.":[55],"an":[57],"earlier":[58],"study":[59,113],"it":[60,133],"was":[61],"pointed":[62],"out":[63],"system":[67,87],"may":[68,95],"execute":[69],"a":[70,89,115],"cycle":[71,79],"consisting":[72],"only":[74],"invisible":[75],"actions":[76,120],"and":[77],"concurrent":[81],"with":[82],"rest":[84],"non-obvious":[90],"way,":[91],"then":[92],"method":[94,116,126],"be":[96],"fooled":[97],"to":[98],"construct":[99],"all":[100],"states":[101],"full":[104],"parallel":[105],"composition.":[106],"This":[107],"problem":[108],"solved":[110],"this":[112],"by":[114],"\u201cfreezes\u201d":[118],"cycle.":[123],"The":[124],"new":[125],"also":[127],"preserves":[128],"fair":[129],"testing":[130],"equivalence,":[131],"making":[132],"usable":[134],"verification":[137],"many":[139],"progress":[140],"properties.":[141]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}