Perspectives on search strategies in automated test input generation
Yang CAO1,2, Yanyan JIANG1,2(), Chang XU1,2(), Jun MA1,2, Xiaoxing MA1,2
1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China 2. Department of Computer Science and Technology, Nanjing University, Nanjing 210023, China
B Korel. Automated software test data generation. IEEE Transactions on Software Engineering, 1990, 16(8): 870–879
2
B P Miller, D Koski, C P Lee, V Maganty, R Murthy, A Natarajan, J Steidl. Fuzz revisited: a re-examination of the reliability of UNIX utilities and services. Technical Report CS-TR-1995-1268, University of Wisconsin, 1995
3
C Cadar, P Godefroid, S Khurshid, C S Pasareanu, K Sen, N Tillmann, W Visser. Symbolic execution for software testing in practice: preliminary assessment. In: Proceedings of the 33rd International Conference on Software Engineering. 2011, 1066–1071
4
C Cadar, K Sen. Symbolic execution for software testing: three decades later. Communications of the ACM, 2013, 56(2): 82–90
5
C Sharma, S Sabharwal, R Sibal. A survey on software testing techniques using genetic algorithm. International Journal of Computer Science Issues, 2013, 10(1): 381
6
Y Li, B Chen, M Chandramohan, S W Lin, Y Liu, A Tiu. Steelix: program-state based binary fuzzing. In: Proceedings of the 11th Joint Meeting on Foundations of Software Engineering. 2017, 627–637
7
H Peng, Y Shoshitaishvili, M Payer. T-Fuzz: fuzzing by program transformation. In: Proceedings of 2018 IEEE Symposium on Security and Privacy. 2018, 697–710