1. Zelenov, S.V. and Zelenova, S.A., Automatic Generation of Positive and Negative Tests for Testing Syntactic Analysis Phase, Trudy Instituta Sistemnogo Programmirovaniya RAN (Proceedings of the Institute of System Programming, RAS), 2004, vol. 8, no. 1, pp. 41–58.
2. Hoffman, D., Sobotkiewicz, L., Wang Hong-Yi, Strooper, P., Bazdell, G., and Stevens, B., Test Generation with Context Free Grammars and Covering Arrays, in Testing: Academic and Industrial Conf. — Practice and Research Techniques, Windsor, UK, 2009, pp. 83–87.
3. Ammann, P. and Offutt, J., Using Formal Methods to Derive Test Frames in Category-Partition Testing, Safety, Reliability, Fault Tolerance, Concurrency, and Real Time Security: Proc. of the 9-th Ann. Conf. on Computer Assurance (COMPASS’94), 1994, pp. 69–79.
4. Cohen, D.M., Dalal, S.R., Fredman, M.L., and Patton, G.C., The AETG System: An Approach to Testing Based on Combinatorial Design, IEEE Trans. Software Engineering, 1996, vol. 23, no. 7, pp. 437–444.
5. Williams, A.W., Determination of Test Configurations for Pairwise Interaction Coverage, Proc. of 13-th Int. Conf. on Testing Communicating Systems (TestCom), 2000, pp. 59–74.