1. Ammann P, Offutt J’ (2017) Introduction to Software Testing’, Cambridge University Press, ISBN 978-1-107-17201-2
2. Lin JC, Yeh PL (2001) Automatic Test Data Generation for path testing using GAs. J Inform Sci 131(1):47–64
3. Khatun S, Rabbi KF, Yaakub CY, Klaib MFJ (2011) A Random search based effective algorithm for pairwise test data generation. Int Conf Electr Control Comput Eng 2011 (InECCE) 293–297. https://doi.org/10.1109/INECCE.2011.5953894
4. Marcelo M, Eler AT, Endo, Vinicius HS, Durelli, An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective, (2016) Cristian C., Koushik S. S., Symbolic Execution For Software Testing: Three Decades Later, Communications of the ACM, Vol. 56 No. 2, Pages 82–90. 2013
5. Cristian C, Koushik SS (2013) Symbolic execution for software testing: three decades later. Communications of the ACM 56(2):82–90. 2013