{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"description":"process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness","works_count":21103,"cited_by_count":161641,"summary_stats":null,"ids":{"openalex":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","mag":null,"wikipedia":"https://en.wikipedia.org/wiki/program_analysis","umls_aui":null,"umls_cui":null},"image_url":null,"image_thumbnail_url":null,"international":{},"ancestors":null,"related_concepts":null,"counts_by_year":null,"works_api_url":"https://api.openalex.org/works?filter=concepts.id:98183937","updated_date":"2026-08-29T04:02:36","created_date":"2016-06-24T00:00:00"}