1 . Korel B. A dynamic approach of test data generation // IEEE Conference on Software. IEEE Computer Society Press, 1990. November. P. 311-317. 2 . Gupta N., Mathur A.P., and Soffa M.L. Generating test data for branch coverage // Proceedings of the 15-th IEEE International Conference on Automated Software Engineering. IEEE Computer Society Press, 2000. September. P. 219-227. 3 . Sen K., Marinov D., and Agha G. CUTE: A concolic unit testing engine for C // Proceedings of the 10-th European software engineering conference held jointly with 13-th ACM SIGSOFT International symposium on foundations of software engineering, 2005. P. 263-272. 4 . Pothen A., Simon H., and Liou K.-P. Partitioning sparse matrices with eigenvectors of graphs // SIAM Journal of Matrix Analysis and Applications. 1990. № 11. P. 430-452. 5 . Mattheyses R.M. and Fiduccia C.M. A linear time heuristic for improving network partitions // In: Proceedings 19-th IEEE Design Automation Conference, 1982. P. 175-181.
|