Directed Generation of Test Data for Static Sem. Checker
User documentation
03/29/2010
M.V. Arkhipova, S.V. Zelenov.
"Directed Generation of Test Data for Static Semantics Checker".
The paper describes the model-based approach to directed automated generation
of test data for static semantics checker (ISP RAS, Russia).