{"doi":"10.1145/2245276.2231980","title":"Program slicing enhances a verification technique combining static and dynamic analysis","abstract":null,"journal":"Proceedings of the 27th Annual ACM Symposium on Applied Computing","year":2012,"id":30595,"datarank":1.803179749390073,"base_score":4.07753744390572,"endowment":4.07753744390572,"self_citation_contribution":0.611630616585858,"citation_network_contribution":1.191549132804215,"self_endowment_contribution":0.611630616585858,"citer_contribution":1.191549132804215,"corpus_percentile":null,"corpus_rank":null,"citation_count":58,"citer_count":34,"citers_with_citation_signal":29,"citers_with_endowment":29,"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":165886,"name":"Nikolai Kosmatov","orcid":null,"position":1,"is_corresponding":false},{"id":165887,"name":"Alain Giorgetti","orcid":null,"position":2,"is_corresponding":false},{"id":165888,"name":"Jacques Julliand","orcid":null,"position":3,"is_corresponding":false},{"id":165885,"name":"Omar Chebaro","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":4.07753744390572,"endowment":4.07753744390572,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"24523987","pmcid":null,"openalex_id":"https://openalex.org/W2081659623","authors":[],"funders":[],"total_grants":0,"fwci":8.00350249,"citation_percentile":0.98325635,"influential_citations":2,"citation_trend":[{"year":2012,"count":7},{"year":2013,"count":5},{"year":2014,"count":7},{"year":2015,"count":2},{"year":2016,"count":7},{"year":2017,"count":4},{"year":2018,"count":7},{"year":2019,"count":2},{"year":2020,"count":1},{"year":2021,"count":6},{"year":2022,"count":1},{"year":2023,"count":7},{"year":2024,"count":2}],"oa_status":"closed","license":"https://www.acm.org/publications/policies/copyright_policy#Background","oa_locations":[{"url":"https://dl.acm.org/doi/10.1145/2245276.2231980","host_type":"publisher"},{"url":"https://dl.acm.org/doi/pdf/10.1145/2245276.2231980","host_type":"publisher"},{"url":"https://doi.org/10.1145/2245276.2231980","host_type":""},{"url":"https://inria.hal.science/hal-00746814","host_type":"repository"}],"fields_of_study":["Software Testing and Debugging Techniques","Software Reliability and Analysis Research","Software Engineering Research","Computer Science"],"mesh_terms":[],"keywords":["Static analysis","Program slicing","Computer science","Slicing","Dynamic program analysis","Software bug","Program analysis","Software verification","Static program analysis","Abstract interpretation","Software testing","Code coverage","Dynamic testing","Symbolic execution","Programming language","Reliability engineering","Software","Software system","Software development","Software construction"],"sdg_mappings":[],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-09T03:58:22.548384Z","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":[]}