M Moein Almasi, Hadi Hemmati, Gordon Fraser, Andrea Arcuri, and Ja¯nis Benefelds. 2017. An industrial evaluation of unit test generation: Finding real faults in a financial application. In Proceedings of the 39th International Conference on Software Engineering: Software Engineering in Practice Track. IEEE Press, 263-272.
 Saswat Anand, Corina Păsăreanu, and Willem Visser. 2007. JPF-SE: A symbolic execution extension to java pathfinder. Tools and Algorithms for the Construction and Analysis of Systems (2007), 134-138. [OpenAIRE]
 IEEE Standards Association et al. 1990. Standard glossary of software engineering terminology. lEEE Std (1990), 610-12.
 Clark Barrett. 2013. âĂĲDecision Procedures: An Algorithmic Point of View,âĂİ by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008. Journal of Automated Reasoning 51, 4 (2013), 453-456.
 Clark Barrett, Christopher L Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King, Andrew Reynolds, and Cesare Tinelli. 2011. Cvc4. In International Conference on Computer Aided Verification . Springer, 171-177.
 Jacob Burnim and Koushik Sen. 2008. Heuristics for scalable dynamic test generation. In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on. IEEE, 443-446.
 Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI, Vol. 8. 209-224.
 Cristian Cadar, Vijay Ganesh, Peter M Pawlowski, David L Dill, and Dawson R Engler. 2008. EXE: automatically generating inputs of death. ACM Transactions on Information and System Security (TISSEC) 12, 2 (2008), 10.
 Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser. 2011. Symbolic execution for software testing in practice: preliminary assessment. In Proceedings of the 33rd International Conference on Software Engineering. ACM, 1066-1071.
 Cristian Cadar and Koushik Sen. 2013. Symbolic execution for software testing: three decades later. Commun. ACM 56, 2 (2013), 82-90.
 Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An eficient SMT solver. Tools and Algorithms for the Construction and Analysis of Systems (2008), 337-340.
 Gordon Fraser and Andrea Arcuri. 2011. Evosuite: automatic test suite generation for object-oriented software. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, 416-419.
 Gordon Fraser and Andrea Arcuri. 2014. A large-scale evaluation of automated unit test generation using evosuite. ACM Transactions on Software Engineering and Methodology (TOSEM) 24, 2 (2014), 8.
 Vijay Ganesh and David L Dill. 2007. A decision procedure for bit-vectors and arrays. In CAV, Vol. 4590. Springer, 519-531.
 Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta. 2013. Feedback-directed unit test generation for C/C++ using concolic execution. In Proceedings of the 2013 International Conference on Software Engineering. IEEE Press, 132-141.