Directed Generation of Test Data for Static Semantics Checker.

M. V. Arkhipova, Sergey V. Zelenov

Browse the full ISoLA paper archive.