{"id":"https://openalex.org/W2791349361","doi":"https://doi.org/10.1007/s11704-016-6048-7","title":"Efficient software product-line model checking using induction and a SAT solver","display_name":"Efficient software product-line model checking using induction and a SAT solver","publication_year":2018,"publication_date":"2018-02-07","ids":{"openalex":"https://openalex.org/W2791349361","doi":"https://doi.org/10.1007/s11704-016-6048-7","mag":"2791349361"},"language":"en","primary_location":{"id":"doi:10.1007/s11704-016-6048-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-016-6048-7","pdf_url":null,"source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","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/A5042735025","display_name":"Fei He","orcid":"https://orcid.org/0000-0002-4266-875X"},"institutions":[{"id":"https://openalex.org/I1302611135","display_name":"Ministry of Public Security of the People's Republic of China","ror":"https://ror.org/00bt9we26","country_code":"CN","type":"government","lineage":["https://openalex.org/I1302611135"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Fei He","raw_affiliation_strings":["Key Laboratory for Information System Security, Ministry of Education, Beijing, 100084, China","School of Software, Tsinghua University, Beijing, 100084, China","Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, Beijing, 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory for Information System Security, Ministry of Education, Beijing, 100084, China","institution_ids":["https://openalex.org/I1302611135"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076934078","display_name":"Yuan Gao","orcid":"https://orcid.org/0000-0001-8567-4888"},"institutions":[{"id":"https://openalex.org/I1302611135","display_name":"Ministry of Public Security of the People's Republic of China","ror":"https://ror.org/00bt9we26","country_code":"CN","type":"government","lineage":["https://openalex.org/I1302611135"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Gao","raw_affiliation_strings":["Key Laboratory for Information System Security, Ministry of Education, Beijing, 100084, China","School of Software, Tsinghua University, Beijing, 100084, China","Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, Beijing, 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory for Information System Security, Ministry of Education, Beijing, 100084, China","institution_ids":["https://openalex.org/I1302611135"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101846770","display_name":"Liangze Yin","orcid":"https://orcid.org/0000-0002-1645-2787"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liangze Yin","raw_affiliation_strings":["Department of Computer Science and Technology, National University of Defense Technology, Changsha, 410073, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, National University of Defense Technology, Changsha, 410073, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5042735025"],"corresponding_institution_ids":["https://openalex.org/I1302611135","https://openalex.org/I99065089"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.5599,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.7551561,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"12","issue":"2","first_page":"264","last_page":"279"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9950000047683716,"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/computer-science","display_name":"Computer science","score":0.8374582529067993},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7688648700714111},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.6267871856689453},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6096609830856323},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6076058745384216},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5769950151443481},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5247223973274231},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.46030193567276},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4276147186756134},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4257645010948181},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3747730553150177},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23875519633293152}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8374582529067993},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7688648700714111},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.6267871856689453},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6096609830856323},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6076058745384216},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5769950151443481},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5247223973274231},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.46030193567276},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4276147186756134},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4257645010948181},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3747730553150177},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23875519633293152}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11704-016-6048-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11704-016-6048-7","pdf_url":null,"source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W2411279","https://openalex.org/W5207355","https://openalex.org/W18530430","https://openalex.org/W40327287","https://openalex.org/W111905317","https://openalex.org/W200708283","https://openalex.org/W1489391022","https://openalex.org/W1495266209","https://openalex.org/W1501652040","https://openalex.org/W1503170978","https://openalex.org/W1505107787","https://openalex.org/W1506660274","https://openalex.org/W1509136016","https://openalex.org/W1509367797","https://openalex.org/W1510368738","https://openalex.org/W1516564968","https://openalex.org/W1517637393","https://openalex.org/W1518592572","https://openalex.org/W1518705996","https://openalex.org/W1543330234","https://openalex.org/W1564263034","https://openalex.org/W1591751985","https://openalex.org/W1597578789","https://openalex.org/W1710690747","https://openalex.org/W1787074469","https://openalex.org/W2001859357","https://openalex.org/W2022615696","https://openalex.org/W2046239089","https://openalex.org/W2048064553","https://openalex.org/W2049497188","https://openalex.org/W2068847249","https://openalex.org/W2069920427","https://openalex.org/W2071109087","https://openalex.org/W2075571135","https://openalex.org/W2080849400","https://openalex.org/W2100404896","https://openalex.org/W2113201637","https://openalex.org/W2115118825","https://openalex.org/W2120119918","https://openalex.org/W2123263380","https://openalex.org/W2125853721","https://openalex.org/W2129538349","https://openalex.org/W2130178878","https://openalex.org/W2130195901","https://openalex.org/W2135081949","https://openalex.org/W2139380319","https://openalex.org/W2142960988","https://openalex.org/W2147348835","https://openalex.org/W2151398141","https://openalex.org/W2161969230","https://openalex.org/W2167672803","https://openalex.org/W2170286440","https://openalex.org/W2183677651","https://openalex.org/W2477378326","https://openalex.org/W2604348044","https://openalex.org/W2911357578","https://openalex.org/W2912152056","https://openalex.org/W2912296587","https://openalex.org/W2912547661","https://openalex.org/W2912724961","https://openalex.org/W2913459036","https://openalex.org/W2914931491","https://openalex.org/W3099806832","https://openalex.org/W4231708524","https://openalex.org/W4246103079","https://openalex.org/W4247758186","https://openalex.org/W4249179731","https://openalex.org/W4250967164","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W2803843036","https://openalex.org/W2542904743","https://openalex.org/W1583869287","https://openalex.org/W2471151559","https://openalex.org/W2611966366","https://openalex.org/W3176904788","https://openalex.org/W2584649593","https://openalex.org/W1561659860","https://openalex.org/W2348129335","https://openalex.org/W21597398"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}