최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기IEEE access : practical research, open solutions, v.8, 2020년, pp.187564 - 187574
Xie, Zhangwei (Beijing Information Science and Technology University, Computer School, Beijing, China) , Cui, Zhanqi (Beijing Information Science and Technology University, Computer School, Beijing, China) , Zhang, Jiaming (Beijing Information Science and Technology University, Computer School, Beijing, China) , Liu, Xiulei (Beijing Information Science and Technology University, Computer School, Beijing, China) , Zheng, Liwei (Beijing Information Science and Technology University, Computer School, Beijing, China)
Fuzz testing has been successful in finding defects of various software packages. These defects include file parsing, image processing, Internet browsers, and network protocols. However, the quality of the initial seed test cases greatly influences the coverage and defect detection capability of fuz...
Detecting software defects based on fuzz testing and symbolic execution xie 2020
Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Automated software engineering, vol.20, no.3, 391-425.
Avgerinos, Thanassis, Rebert, Alexandre, Cha, Sang Kil, Brumley, David. Enhancing symbolic execution with veritesting. Communications of the ACM, vol.59, no.6, 93-100.
Cadar, Cristian, Ganesh, Vijay, Pawlowski, Peter M., Dill, David L., Engler, Dawson R.. EXE : Automatically Generating Inputs of Death. ACM transactions on information and system security, vol.12, no.2, 1-38.
Botella, Bernard, Gotlieb, Arnaud, Michel, Claude. Symbolic execution of floating-point computations. Software testing, verification & reliability : STVR, vol.16, no.2, 97-121.
Miller, Barton P., Fredriksen, Lars, So, Bryan. An empirical study of the reliability of UNIX utilities. Communications of the ACM, vol.33, no.12, 32-44.
Li, Jun, Zhao, Bodong, Zhang, Chao. Fuzzing: a survey. Cybersecurity, vol.1, no.1, 6-.
Yue, Tai, Tang, Yong, Yu, Bo, Wang, Pengfei, Wang, Enze. LearnAFL: Greybox Fuzzing With Knowledge Enhancement. IEEE access : practical research, open solutions, vol.7, 117029-117043.
Proc Int Conf On Very Large Data Bases KLEE: A framework for distributed top-K query algorithms michel 2005 637
King, James C.. Symbolic execution and program testing. Communications of the ACM, vol.19, no.7, 385-394.
Munea, Tewodros Legesse, Lim, Hyunwoo, Shon, Taeshik. Network protocol fuzz testing for information systems and applications: a survey and taxonomy. Multimedia tools and applications, vol.75, no.22, 14745-14757.
Proc BlackHat USA Conf The art of file format fuzzing sutton 2005 1
Zhang, Hanfang, Zhou, Anmin, Jia, Peng, Liu, Luping, Ma, Jinxin, Liu, Liang. InsFuzz: Fuzzing Binaries With Location Sensitivity. IEEE access : practical research, open solutions, vol.7, 22434-22444.
Proc Symp Network and Distributed System Security DTA: Dynamic taint analysis with targeted control-flow propagation kang 2011 427
Choi, Young-Hyun, Park, Min-Woo, Eom, Jung-Ho, Chung, Tai-Myoung. Dynamic binary analyzer for scanning vulnerabilities with taint analysis. Multimedia tools and applications, vol.74, no.7, 2301-2320.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
오픈액세스 학술지에 출판된 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.