{"id":"https://openalex.org/W2785974163","doi":"https://doi.org/10.1109/tase.2017.8285632","title":"Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?","display_name":"Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?","publication_year":2017,"publication_date":"2017-09-01","ids":{"openalex":"https://openalex.org/W2785974163","doi":"https://doi.org/10.1109/tase.2017.8285632","mag":"2785974163"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2017.8285632","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2017.8285632","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5088104020","display_name":"Jacques Julliand","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jacques Julliand","raw_affiliation_strings":["CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210118524"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070920431","display_name":"Olga Kouchnarenko","orcid":"https://orcid.org/0000-0003-1482-9015"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olga Kouchnarenko","raw_affiliation_strings":["CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210118524"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057314495","display_name":"Pierre-Alain Masson","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre-Alain Masson","raw_affiliation_strings":["CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210118524"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061462034","display_name":"Guillaume Voiron","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210118524","display_name":"Universit\u00e9 Bourgogne Franche-Comt\u00e9","ror":"https://ror.org/02dn7x778","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210118524"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guillaume Voiron","raw_affiliation_strings":["CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Univ. Bourgogne Franche-Comt\u00e9, Besan\u00e7on Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210118524"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3975,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.57051962,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"3657","issue":null,"first_page":"1","last_page":"8"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7257431745529175},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.6470780968666077},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.6298930644989014},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5189251899719238},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5186228156089783},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5083829760551453},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4756331443786621},{"id":"https://openalex.org/keywords/complementarity","display_name":"Complementarity (molecular biology)","score":0.4727267324924469},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.46648266911506653},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.25520986318588257},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2163240611553192}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7257431745529175},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.6470780968666077},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6298930644989014},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5189251899719238},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5186228156089783},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5083829760551453},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4756331443786621},{"id":"https://openalex.org/C202269582","wikidata":"https://www.wikidata.org/wiki/Q2644277","display_name":"Complementarity (molecular biology)","level":2,"score":0.4727267324924469},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.46648266911506653},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25520986318588257},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2163240611553192},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2017.8285632","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2017.8285632","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W158277950","https://openalex.org/W192630419","https://openalex.org/W1480909796","https://openalex.org/W1497571013","https://openalex.org/W1503316778","https://openalex.org/W1507173517","https://openalex.org/W1590336223","https://openalex.org/W1808580109","https://openalex.org/W1998333922","https://openalex.org/W2001609641","https://openalex.org/W2009489720","https://openalex.org/W2018618590","https://openalex.org/W2054076154","https://openalex.org/W2055489377","https://openalex.org/W2066210260","https://openalex.org/W2082172430","https://openalex.org/W2084875723","https://openalex.org/W2096449544","https://openalex.org/W2098353690","https://openalex.org/W2103953153","https://openalex.org/W2107794009","https://openalex.org/W2110311336","https://openalex.org/W2120713211","https://openalex.org/W2132897303","https://openalex.org/W2147647812","https://openalex.org/W2148106163","https://openalex.org/W2488946417","https://openalex.org/W2513970126","https://openalex.org/W2619059191","https://openalex.org/W2987907651","https://openalex.org/W3098578101","https://openalex.org/W3146075203","https://openalex.org/W4237492309","https://openalex.org/W4244819751","https://openalex.org/W4251237796","https://openalex.org/W4254354208","https://openalex.org/W4254802582","https://openalex.org/W4285719527","https://openalex.org/W6678107874","https://openalex.org/W6738351291"],"related_works":["https://openalex.org/W1531204343","https://openalex.org/W2096561672","https://openalex.org/W2522501807","https://openalex.org/W2348940122","https://openalex.org/W2680538310","https://openalex.org/W2120526551","https://openalex.org/W4232099822","https://openalex.org/W1780369767","https://openalex.org/W191072716","https://openalex.org/W105381148"],"abstract_inverted_index":{"Model-based":[0],"testing":[1],"of":[2,8,44,70,78,107,128,137],"event":[3,27,38],"systems":[4,39],"can":[5],"take":[6],"advantage":[7],"considering":[9],"abstractions":[10],"rather":[11],"than":[12],"explicit":[13],"models,":[14],"for":[15,37,97],"controlling":[16],"their":[17,108],"size.":[18],"A":[19],"test":[20,138],"is":[21],"then":[22],"a":[23,92],"connected":[24,88],"and":[25],"reachable":[26,61],"sequence.":[28],"This":[29],"paper":[30],"reports":[31],"on":[32],"experiments":[33],"made":[34],"when":[35],"adapting":[36],"two":[40,100],"known":[41],"under-approximation":[42,67],"techniques":[43],"predicate":[45],"tri-modal":[46],"(may,":[47],"must+,":[48],"must-)":[49],"abstractions.":[50],"We":[51,90,102],"first":[52,126],"instantiate":[53],"all":[54],"the":[55,76,105,120,125,135,142],"abstract":[56],"may":[57],"transitions,":[58,80],"preferably":[59],"as":[60,81],"instances.":[62],"Second,":[63],"we":[64],"complete":[65],"this":[66],"with":[68],"instantiations":[69],"Ball":[71,115],"chains,":[72],"i.e.":[73],"sequences":[74,83],"in":[75],"shape":[77],"must-*may.must+*":[79],"such":[82],"are":[84],"guaranteed":[85],"to":[86],"have":[87,117],"instantiations.":[89],"present":[91],"backward":[93],"symbolic":[94],"instantiation":[95],"algorithm":[96],"connecting":[98],"these":[99],"under-approximations.":[101],"experimentally":[103],"address":[104],"question":[106],"complementarity.":[109],"Surprisingly,":[110],"our":[111],"results":[112],"show":[113],"that":[114],"chains":[116],"not":[118],"enhanced":[119,134],"coverage":[121],"already":[122,143],"achieved":[123],"by":[124,140],"step":[127],"may-transitions":[129],"instantiation.":[130],"However,":[131],"it":[132],"has":[133],"number":[136],"steps":[139],"prolonging":[141],"existing":[144],"tests.":[145]},"counts_by_year":[{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}