다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
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)
AI-Helper
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
10.1109/SP.2016.17
10.14722/ndss.2016.23368
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.
10.1145/3133956.3138820
10.1145/1007512.1007526
10.1145/1190216.1190226
10.1145/2254064.2254088
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.
10.1145/1966445.1966475
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.
10.1109/SP.2018.00046
10.1145/3293882.3330579
10.1109/ICST.2011.48
10.1109/DSN.2018.00050
Li, Jun, Zhao, Bodong, Zhang, Chao. Fuzzing: a survey. Cybersecurity, vol.1, no.1, 6-.
10.1145/3213846.3213868
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.
10.1145/2536853.2536881
10.1007/978-3-662-49674-9_26
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.
10.1109/ICSE-Companion.2019.00096
10.1109/ICST.2012.182
10.1145/3238147.3238176
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 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
오픈액세스 학술지에 출판된 논문
Copyright KISTI. All Rights Reserved.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.