{"doi":"10.1007/978-3-031-50524-9_3","title":"Generation of Violation Witnesses by Under-Approximating Abstract Interpretation","abstract":null,"journal":"Lecture Notes in Computer Science","year":2024,"id":23302,"datarank":0.3473502090104198,"base_score":2.1972245773362196,"endowment":2.1972245773362196,"self_citation_contribution":0.32958368660043297,"citation_network_contribution":0.017766522409986822,"self_endowment_contribution":0.32958368660043297,"citer_contribution":0.017766522409986822,"corpus_percentile":null,"corpus_rank":null,"citation_count":8,"citer_count":2,"citers_with_citation_signal":1,"citers_with_endowment":1,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":143529,"name":"Antoine Miné","orcid":"0000-0002-6375-3179","position":1,"is_corresponding":false},{"id":143528,"name":"Marco Milanese","orcid":"0000-0002-6215-7359","position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":2.1972245773362196,"endowment":2.1972245773362196,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"21071399","pmcid":null,"openalex_id":"https://openalex.org/W4390398728","authors":[],"funders":[{"funder_name":"French National Research Agency (ANR)","grant_id":"ANR-22-PECY-0005","title":null}],"total_grants":1,"fwci":7.6543,"citation_percentile":0.97963717,"influential_citations":0,"citation_trend":[{"year":2024,"count":4},{"year":2025,"count":3},{"year":2026,"count":1}],"oa_status":"green","license":"other-oa","oa_locations":[{"url":"https://hal.sorbonne-universite.fr/hal-04317611v1/document","host_type":"repository"},{"url":"https://hal.sorbonne-universite.fr/hal-04317611v1/document","host_type":"repository"},{"url":"https://link.springer.com/content/pdf/10.1007/978-3-031-50524-9_3","host_type":"publisher"},{"url":"https://hal.sorbonne-universite.fr/hal-04317611","host_type":"repository"},{"url":"https://doi.org/10.1007/978-3-031-50524-9_3","host_type":"book series"},{"url":"https://hal.sorbonne-universite.fr/hal-04317611v1","host_type":""}],"fields_of_study":["Formal Methods in Verification","Logic, programming, and type systems","Software Testing and Debugging Techniques","Computer Science","Law"],"mesh_terms":[],"keywords":["Abstract interpretation","Computer science","Static analysis","Polyhedron","Precondition","Domain (mathematical analysis)","Semantics (computer science)","Set (abstract data type)","Focus (optics)","Theoretical computer science","Programming language","Exploit","Algorithm","Mathematics","Software Verification","Under-approximation","Program analysis","Bug catching","[INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]"],"sdg_mappings":[{"sdg_number":16,"sdg_label":"16. Peace & justice"},{"sdg_number":0,"sdg_label":"Peace, Justice and strong institutions"}],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-07T19:03:56.659146Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}