{"id":"https://openalex.org/W2904965062","doi":null,"title":"Approximations in Model-Checking and Testing","display_name":"Approximations in Model-Checking and Testing","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2904965062","mag":"2904965062"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.142.561","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.561","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lri.fr/~mdr/testing.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5067647847","display_name":"Marie-Claude Gaudel","orcid":"https://orcid.org/0009-0009-9446-3869","observed_orcids":["https://orcid.org/0009-0009-9446-3869"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marie-Claude Gaudel","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0009-9446-3869","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051448560","display_name":"Richard Lassaigne","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Lassaigne","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045780938","display_name":"Fr\u00e9d\u00e9ric Magniez","orcid":"https://orcid.org/0000-0003-2384-9026","observed_orcids":["https://orcid.org/0000-0003-2384-9026"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Magniez","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2384-9026","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5029937539","display_name":"Michel de Rougemont","orcid":"https://orcid.org/0000-0001-6518-8874","observed_orcids":["https://orcid.org/0000-0001-6518-8874"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michel de Rougemont","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6518-8874","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9961000084877014,"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.9961000084877014,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.000699999975040555,"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/model-checking","display_name":"model checking","score":0.9940000176429749},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.8939999938011169},{"id":"https://openalex.org/keywords/approximation","display_name":"approximation","score":0.878000020980835},{"id":"https://openalex.org/keywords/verification","display_name":"verification","score":0.5099999904632568},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.5640000104904175},{"id":"https://openalex.org/keywords/logic","display_name":"logic","score":0.6110000014305115},{"id":"https://openalex.org/keywords/property-verification","display_name":"property verification","score":0.36399999260902405}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4973173439502716},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4133698344230652},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.3274725675582886},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2608007490634918},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1878579556941986}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.142.561","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.561","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lri.fr/~mdr/testing.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.189.3077","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.3077","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.liafa.jussieu.fr/%7Emagniez/PAPIERS/testing.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.304.2677","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.2677","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lri.fr/~mdr/testing.pdf","raw_type":"text"},{"id":"mag:2904965062","doi":null,"is_oa":false,"landing_page_url":"https://dissem.in/p/27178757/approximations-in-model-checking-and-testing","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":93,"referenced_works":["https://openalex.org/W5594912","https://openalex.org/W74463220","https://openalex.org/W1482663303","https://openalex.org/W1494481937","https://openalex.org/W1497571013","https://openalex.org/W1503170978","https://openalex.org/W1510368738","https://openalex.org/W1520252399","https://openalex.org/W1530699444","https://openalex.org/W1533493347","https://openalex.org/W1533617020","https://openalex.org/W1543281322","https://openalex.org/W1566634528","https://openalex.org/W1589045411","https://openalex.org/W1601373402","https://openalex.org/W1607251184","https://openalex.org/W1787074469","https://openalex.org/W1812243426","https://openalex.org/W1820801893","https://openalex.org/W1877700846","https://openalex.org/W1880675778","https://openalex.org/W1923495615","https://openalex.org/W1970630090","https://openalex.org/W1972203711","https://openalex.org/W1990064648","https://openalex.org/W1990313671","https://openalex.org/W1994931826","https://openalex.org/W1996839061","https://openalex.org/W1998084650","https://openalex.org/W2000079459","https://openalex.org/W2003227046","https://openalex.org/W2004929506","https://openalex.org/W2005998857","https://openalex.org/W2011762419","https://openalex.org/W2011798949","https://openalex.org/W2017560506","https://openalex.org/W2018925011","https://openalex.org/W2019363670","https://openalex.org/W2019578639","https://openalex.org/W2019881090","https://openalex.org/W2029538739","https://openalex.org/W2033140592","https://openalex.org/W2034874525","https://openalex.org/W2036501955","https://openalex.org/W2043100293","https://openalex.org/W2048051309","https://openalex.org/W2049513870","https://openalex.org/W2057361103","https://openalex.org/W2060801388","https://openalex.org/W2062897452","https://openalex.org/W2066720893","https://openalex.org/W2067012168","https://openalex.org/W2071112258","https://openalex.org/W2077836627","https://openalex.org/W2080267935","https://openalex.org/W2080593426","https://openalex.org/W2084294613","https://openalex.org/W2088063715","https://openalex.org/W2092752793","https://openalex.org/W2096195535","https://openalex.org/W2096449544","https://openalex.org/W2108016168","https://openalex.org/W2109596848","https://openalex.org/W2110256630","https://openalex.org/W2114909350","https://openalex.org/W2117268802","https://openalex.org/W2123719097","https://openalex.org/W2124040333","https://openalex.org/W2126442135","https://openalex.org/W2127574686","https://openalex.org/W2132622501","https://openalex.org/W2133250787","https://openalex.org/W2139374679","https://openalex.org/W2140606869","https://openalex.org/W2142785340","https://openalex.org/W2143903830","https://openalex.org/W2147573597","https://openalex.org/W2151463894","https://openalex.org/W2153845283","https://openalex.org/W2154952480","https://openalex.org/W2157390113","https://openalex.org/W2159875385","https://openalex.org/W2160083957","https://openalex.org/W2165161585","https://openalex.org/W2217830468","https://openalex.org/W2495746187","https://openalex.org/W2516150756","https://openalex.org/W2584250636","https://openalex.org/W2620748922","https://openalex.org/W2913459036","https://openalex.org/W3004537778","https://openalex.org/W3111890340","https://openalex.org/W4229439915"],"related_works":["https://openalex.org/W7099340679","https://openalex.org/W1539521870","https://openalex.org/W7095646299","https://openalex.org/W7221198929","https://openalex.org/W2698687040","https://openalex.org/W2950021669","https://openalex.org/W3108414534","https://openalex.org/W3132886498","https://openalex.org/W7099725595","https://openalex.org/W1631091010"],"abstract_inverted_index":{"Model":[0],"Checking":[1],"and":[2,27,55],"Testing":[3],"are":[4],"two":[5],"areas":[6],"with":[7,21,31,52],"a":[8,14,17],"similar":[9],"goal:":[10],"to":[11],"verify":[12],"that":[13],"system":[15],"satisfies":[16],"property.":[18],"They":[19],"start":[20],"different":[22,32],"hypothesis":[23],"on":[24],"the":[25],"systems":[26],"develop":[28],"many":[29],"techniques":[30],"notions":[33,49],"of":[34,48,50],"approximation,":[35],"as":[36],"an":[37],"exact":[38],"verification":[39],"may":[40],"be":[41],"computationally":[42],"too":[43],"hard.":[44],"We":[45],"present":[46],"some":[47],"approximation":[51],"their":[53],"Logic":[54],"Statistics":[56],"backgrounds,":[57],"which":[58],"yield":[59]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2018-12-22T00:00:00"}