Directed Generation of Test Data for Static Semantics Checker. - M. V. Arkhipova; Sergey V. Zelenov (ISoLA, 2008)