{"id":"https://openalex.org/W2784848347","doi":"https://doi.org/10.1007/978-3-319-74313-4_3","title":"Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code","display_name":"Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2784848347","doi":"https://doi.org/10.1007/978-3-319-74313-4_3","mag":"2784848347"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-74313-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-74313-4_3","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":"book-chapter","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/A5065191857","display_name":"Andrey Belevantsev","orcid":"https://orcid.org/0000-0003-2817-0397"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Andrey Belevantsev","raw_affiliation_strings":["Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia","Moscow State University, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108443332","display_name":"Arutyun Avetisyan","orcid":"https://orcid.org/0000-0002-0470-9944"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I153845743","display_name":"Moscow Institute of Physics and Technology","ror":"https://ror.org/00v0z9322","country_code":"RU","type":"education","lineage":["https://openalex.org/I153845743"]},{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I204490831","display_name":"National Research University of Electronic Technology","ror":"https://ror.org/02hf6mx60","country_code":"RU","type":"education","lineage":["https://openalex.org/I204490831"]},{"id":"https://openalex.org/I4210089467","display_name":"Institute of Physics and Technology","ror":"https://ror.org/005n3yy14","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210089467"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Arutyun Avetisyan","raw_affiliation_strings":["Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia","Moscow Institute of Physics and Technology (National University), Moscow, Russia","Moscow State University, Moscow, Russia","National Research University Higher School of Economics, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow Institute of Physics and Technology (National University), Moscow, Russia","institution_ids":["https://openalex.org/I4210089467","https://openalex.org/I204490831","https://openalex.org/I153845743"]},{"raw_affiliation_string":"Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"National Research University Higher School of Economics, Moscow, Russia","institution_ids":["https://openalex.org/I118501908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.0858,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84836066,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"28","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9990000128746033,"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/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/computer-science","display_name":"Computer science","score":0.9153832197189331},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.7703685760498047},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.7620253562927246},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6135628819465637},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6085320711135864},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5759071707725525},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5303521752357483},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4838925302028656},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4626065194606781},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.45973125100135803},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.4483010172843933},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4405766725540161},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4382408857345581},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.4115438461303711},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2872493267059326},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.19286146759986877},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.15369102358818054},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.14999139308929443},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.11012294888496399}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9153832197189331},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7703685760498047},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.7620253562927246},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6135628819465637},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6085320711135864},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5759071707725525},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5303521752357483},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4838925302028656},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4626065194606781},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.45973125100135803},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.4483010172843933},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4405766725540161},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4382408857345581},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.4115438461303711},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2872493267059326},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.19286146759986877},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15369102358818054},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.14999139308929443},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.11012294888496399},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-74313-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-74313-4_3","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1481954153","https://openalex.org/W1555744523","https://openalex.org/W1584401549","https://openalex.org/W2093737074","https://openalex.org/W2124377830","https://openalex.org/W2155258259","https://openalex.org/W2157266110","https://openalex.org/W2165086189","https://openalex.org/W2313162456","https://openalex.org/W2346126440","https://openalex.org/W2545238856","https://openalex.org/W2564152654","https://openalex.org/W2911733618"],"related_works":["https://openalex.org/W2137908418","https://openalex.org/W1984315409","https://openalex.org/W2013637613","https://openalex.org/W2387698225","https://openalex.org/W2151229769","https://openalex.org/W2737936389","https://openalex.org/W2139207724","https://openalex.org/W4310506268","https://openalex.org/W2784848347","https://openalex.org/W3138245174"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}