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