extended static checking
noun1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences, Software A range of techniques used for statically checking the correctness of some program constraints.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.