program analysis
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous