프로그램 분석

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