Linear-time temporal logic guided greybox fuzzing
Meng, Ruijie ; Dong, Zhen ; Li, Jialin ; Beschastnikh, Ivan ; Roychoudhury, Abhik
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1343-1355
New York, NY, USA: ACM
Sem texto completo
- Buscando por
- emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Mostrar o que foi encontrado até o momento