{"id":"https://openalex.org/W3006196592","doi":"https://doi.org/10.1007/978-3-030-59025-3_13","title":"An SMT-Based Concolic Testing Tool for Logic Programs","display_name":"An SMT-Based Concolic Testing Tool for Logic Programs","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3006196592","doi":"https://doi.org/10.1007/978-3-030-59025-3_13","mag":"3006196592"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-59025-3_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59025-3_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2002.07115","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056230493","display_name":"Sophie Fortz","orcid":"https://orcid.org/0000-0001-9687-8587"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Sophie Fortz","raw_affiliation_strings":["Universit\u00e9 de Namur, Namur, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106430092","display_name":"Fred Mesnard","orcid":null},"institutions":[{"id":"https://openalex.org/I4210157513","display_name":"\u00c9cologie Marine Tropicale des Oc\u00e9ans Pacifique et Indien","ror":"https://ror.org/05kxt4539","country_code":"RE","type":"facility","lineage":["https://openalex.org/I102190016","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1327553481","https://openalex.org/I154202486","https://openalex.org/I154202486","https://openalex.org/I24715933","https://openalex.org/I2799535048","https://openalex.org/I2802818602","https://openalex.org/I4210088668","https://openalex.org/I4210090127","https://openalex.org/I4210107625","https://openalex.org/I4210113730","https://openalex.org/I4210131494","https://openalex.org/I4210157513","https://openalex.org/I4210166444","https://openalex.org/I4405257220"]},{"id":"https://openalex.org/I4210164187","display_name":"Observatoire des Sciences de l'Univers de la R\u00e9union","ror":"https://ror.org/05mv3tj33","country_code":"RE","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1327553481","https://openalex.org/I154202486","https://openalex.org/I24715933","https://openalex.org/I2799535048","https://openalex.org/I2802818602","https://openalex.org/I4210088668","https://openalex.org/I4210090127","https://openalex.org/I4210113730","https://openalex.org/I4210113730","https://openalex.org/I4210131494","https://openalex.org/I4210148025","https://openalex.org/I4210164187","https://openalex.org/I4210166444","https://openalex.org/I4405257220"]}],"countries":["RE"],"is_corresponding":false,"raw_author_name":"Fred Mesnard","raw_affiliation_strings":["LIM - Universit\u00e9 de la R\u00e9union, Saint-Denis, France","LIM - Universit\u00e9 de la R\u00e9union"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIM - Universit\u00e9 de la R\u00e9union, Saint-Denis, France","institution_ids":["https://openalex.org/I4210164187"]},{"raw_affiliation_string":"LIM - Universit\u00e9 de la R\u00e9union","institution_ids":["https://openalex.org/I4210157513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002144715","display_name":"\u00c9tienne Payet","orcid":"https://orcid.org/0000-0002-3519-025X"},"institutions":[{"id":"https://openalex.org/I4210157513","display_name":"\u00c9cologie Marine Tropicale des Oc\u00e9ans Pacifique et Indien","ror":"https://ror.org/05kxt4539","country_code":"RE","type":"facility","lineage":["https://openalex.org/I102190016","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1327553481","https://openalex.org/I154202486","https://openalex.org/I154202486","https://openalex.org/I24715933","https://openalex.org/I2799535048","https://openalex.org/I2802818602","https://openalex.org/I4210088668","https://openalex.org/I4210090127","https://openalex.org/I4210107625","https://openalex.org/I4210113730","https://openalex.org/I4210131494","https://openalex.org/I4210157513","https://openalex.org/I4210166444","https://openalex.org/I4405257220"]},{"id":"https://openalex.org/I4210164187","display_name":"Observatoire des Sciences de l'Univers de la R\u00e9union","ror":"https://ror.org/05mv3tj33","country_code":"RE","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1327553481","https://openalex.org/I154202486","https://openalex.org/I24715933","https://openalex.org/I2799535048","https://openalex.org/I2802818602","https://openalex.org/I4210088668","https://openalex.org/I4210090127","https://openalex.org/I4210113730","https://openalex.org/I4210113730","https://openalex.org/I4210131494","https://openalex.org/I4210148025","https://openalex.org/I4210164187","https://openalex.org/I4210166444","https://openalex.org/I4405257220"]}],"countries":["RE"],"is_corresponding":false,"raw_author_name":"Etienne Payet","raw_affiliation_strings":["LIM - Universit\u00e9 de la R\u00e9union, Saint-Denis, France","LIM - Universit\u00e9 de la R\u00e9union"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIM - Universit\u00e9 de la R\u00e9union, Saint-Denis, France","institution_ids":["https://openalex.org/I4210164187"]},{"raw_affiliation_string":"LIM - Universit\u00e9 de la R\u00e9union","institution_ids":["https://openalex.org/I4210157513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055104897","display_name":"Gilles Perrouin","orcid":"https://orcid.org/0000-0002-8431-0377"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Gilles Perrouin","raw_affiliation_strings":["Universit\u00e9 de Namur, Namur, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006632551","display_name":"Wim Vanhoof","orcid":"https://orcid.org/0000-0003-3769-6294"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Wim Vanhoof","raw_affiliation_strings":["Universit\u00e9 de Namur, Namur, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051613376","display_name":"Germ\u00e1n Vidal","orcid":"https://orcid.org/0000-0002-1857-6951"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Germ\u00e1n Vidal","raw_affiliation_strings":["MiST, VRAIN, Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MiST, VRAIN, Universitat Polit\u00e8cnica de Val\u00e8ncia, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.4881,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.5877193,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"215","last_page":"219"},"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.9993000030517578,"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.9988999962806702,"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/concolic-testing","display_name":"Concolic testing","score":0.9791160821914673},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7174746990203857},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6775456666946411},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6769564151763916},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.639401912689209},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.47445711493492126},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4594671428203583},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4478074014186859},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.42322802543640137},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42082250118255615},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.18366366624832153},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15521985292434692},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15069928765296936},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.0643896758556366}],"concepts":[{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.9791160821914673},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7174746990203857},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6775456666946411},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6769564151763916},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.639401912689209},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.47445711493492126},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4594671428203583},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4478074014186859},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.42322802543640137},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42082250118255615},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.18366366624832153},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15521985292434692},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15069928765296936},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0643896758556366},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-030-59025-3_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59025-3_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:2002.07115","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2002.07115","pdf_url":"https://arxiv.org/pdf/2002.07115","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:3006196592","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2002.07115v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-02945459v1","is_oa":false,"landing_page_url":"https://univ-reunion.hal.science/hal-02945459","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Nakano K.; Sagonas K. Functional and Logic Programming. FLOPS 2020, 12073, Springer, pp.215-219, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-59025-3_13⟩","raw_type":"Book sections"},{"id":"pmh:oai:pure.unamur.be:openaire/a8ed3861-2105-412e-b5d7-865ba911d541","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/en/publications/a8ed3861-2105-412e-b5d7-865ba911d541","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fortz, S, Mesnard, F, Payet, E, Perrouin, G, Vanhoof, W & Vidal, G 2020, An SMT-Based Concolic Testing Tool for Logic Programs. in K Nakano & K Sagonas (eds), Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12073 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 215-219, 15th International Symposium on Functional and Logic Programming, FLOPS 2020, Akita, Japan, 14/09/20. https://doi.org/10.1007/978-3-030-59025-3_13","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:riunet.upv.es:10251/178919","is_oa":true,"landing_page_url":"http://hdl.handle.net/10251/178919","pdf_url":null,"source":{"id":"https://openalex.org/S4306401500","display_name":"RiuNet (Politechnical University of Valencia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"doi:10.48550/arxiv.2002.07115","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2002.07115","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2002.07115","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2002.07115","pdf_url":"https://arxiv.org/pdf/2002.07115","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6202330055","display_name":null,"funder_award_id":"TIN2016-76843-C4-1-R","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G730618286","display_name":null,"funder_award_id":"PID2019-104735RB-C41","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8993636375","display_name":null,"funder_award_id":"TIN2016-76843-C4-1-R","funder_id":"https://openalex.org/F4320321864","funder_display_name":"Generalitat Valenciana"}],"funders":[{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"},{"id":"https://openalex.org/F4320321864","display_name":"Generalitat Valenciana","ror":"https://ror.org/0097mvx21"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W844671342","https://openalex.org/W1480909796","https://openalex.org/W1541434994","https://openalex.org/W1597918680","https://openalex.org/W2009489720","https://openalex.org/W2063727779","https://openalex.org/W2096449544","https://openalex.org/W2113956592","https://openalex.org/W2215012921","https://openalex.org/W2542071944","https://openalex.org/W2612371455","https://openalex.org/W2762652554","https://openalex.org/W2893175923","https://openalex.org/W2911601159","https://openalex.org/W3098190183","https://openalex.org/W3101423763","https://openalex.org/W4234542549"],"related_works":["https://openalex.org/W2893175923","https://openalex.org/W2296669295","https://openalex.org/W2963913218","https://openalex.org/W49527103","https://openalex.org/W2020667931","https://openalex.org/W2949494388","https://openalex.org/W2398938837","https://openalex.org/W2888050482","https://openalex.org/W1992057646","https://openalex.org/W3172606155","https://openalex.org/W2007558897","https://openalex.org/W1976560018","https://openalex.org/W3132115933","https://openalex.org/W2104993088","https://openalex.org/W1975191777","https://openalex.org/W2276185690","https://openalex.org/W2100781097","https://openalex.org/W1955672350","https://openalex.org/W2963228000","https://openalex.org/W1985335248"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-01T08:55:40.977307","created_date":"2025-10-10T00:00:00"}