R. S. Pressman, Software engineering: a practitioner's approach, 2010.

S. Baharom and Z. Shukur, Module documentation based testing using Grey-Box approach, 2008 International Symposium on Information Technology, 2008.
DOI : 10.1109/ITSIM.2008.4631651

S. Baharom and Z. Shukur, State-Sensitivity Partitioning Technique for Module Documentation-based Testing. in Business Transformation through Innovation and Knowledge Management An Academic Perspective, 2010.

S. Baharom and Z. Shukur, An experimental assessment of module documentationbased testing. Information and Software Technology, pp.747-760, 2011.

I. Alsmadi, Effective Generation of Test Cases Using Genetic Algorithms and Optimization Theory, Journal of Communication and Computer, issue.711, pp.72-82, 2010.

N. J. Kulkarni, Test Case Optimization Using Artificial Bee Colony Algorithm, Advances in Computing and Communications, pp.570-579, 2011.

S. Ali, A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation, IEEE Transactions on Software Engineering, vol.36, issue.6, pp.36-742, 2010.
DOI : 10.1109/TSE.2009.52

M. Harman, Search based software engineering: Techniques, taxonomy, tutorial, in Empirical Software Engineering and Verification, pp.1-59, 2012.

J. D. Gannon, J. Purtilo, and M. V. Zelkowitz, Software Specification: A Comparison of Formal Methods, 1994.

H. John and H. , Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control, and artificial intelligence, 1975.

Z. Li, M. Harman, and R. M. Hierons, Search Algorithms for Regression Test Case Prioritization, IEEE Transactions on Software Engineering, vol.33, issue.4, pp.225-237, 2007.
DOI : 10.1109/TSE.2007.38

P. Mcminn, Search?based software test data generation: a survey Software Testing, Verification and Reliability, pp.105-156, 2004.

A. P. Conrad, R. S. Roos, and G. M. Kapfhammer, Empirically studying the role of selection operators duringsearch-based test suite prioritization, Proceedings of the 12th annual conference on Genetic and evolutionary computation, GECCO '10, 2010.
DOI : 10.1145/1830483.1830735