Also known as software analysis, computer program analysis, analysis of programs, analysis of computer programs, analysis of software
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).