Ivannikov Institute for System Programming of the RAS


Directed Generation of Test Data for Static Semantics Checker.

Authors

M.V. Arkhipova, S.V. Zelenov.

Edition

ISoLA 2008. Communications in Computer and Information Science, vol. 17, Springer Berlin Heidelberg, 2009, 753-768.

Research Group

Software Engineering

All publications during 2009 All publications