1. Tahat L H, Bader A, Vaysburg B, et al. Requirement based automated black-box test generation. In: Proceedings of the 25th Annual International Computer Software and Applications Conference, Chicago, 2001. 489–495
2. Korel B, Tahat L H, Vaysburg B. Model based regression test reduction using dependence analysis. In: Proceedings of the IEEE International Conference on Software Maintenance. Los Alamitos: IEEE, 2002. 214–223
3. Jiang B, Tse T H, Grieskamp W, et al. Regression testing process improvement for specification evolution of real-world protocol software. In: Proceedings of the 10th International Conference on Quality Software, Zhangjiajie, 2010. 62–71
4. Garey M R, Johnson D S. Computers and Intractability: a Guide to the Theory of NP-completeness. New York: W. H. Freeman, 1979
5. Ding Z H, Jiang M Y. Model driven synthesis of behavioral models from textual use cases. Inform Control Automat Robot, 2011, 132: 713–717