extended static checking

English edit

 
English Wikipedia has an article on:
Wikipedia

Noun edit

extended static checking (uncountable)

  1. (software) A range of techniques used for statically checking the correctness of some program constraints.