-
1Academic Journal
المؤلفون: Yanyan Zou, Wei Zou, JiaCheng Zhao, Nanyu Zhong, Yu Zhang, Ji Shi, Wei Huo
المصدر: Cybersecurity, Vol 6, Iss 1, Pp 1-21 (2023)
مصطلحات موضوعية: Greybox fuzzing, Mutation position, Mutation operator, Code coverage, Vulnerability discovery, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
Relation: https://doaj.org/toc/2523-3246
-
2Academic Journal
المساهمون: Roychoudury, Abhik, Storey, Margaret
المصدر: Liyanage , D , Lee , S , Tantithamthavorn , C & Bohme , M 2024 , Extrapolating Coverage Rate in Greybox Fuzzing . in A Roychoudury & M Storey (eds) , Proceedings - 2024 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2024 . , 132 , IEEE, Institute of Electrical and Electronics Engineers , Piscataway NJ USA , pp. 1623-1634 , International Conference on Software Engineering 2024 , Lisbon , Portugal , 14/04/24 . https://doi.org/10.1145/3597503.3639198
مصطلحات موضوعية: adaptive bias, coverage rate, extrapolation, greybox fuzzing, statistical method
وصف الملف: application/pdf
Relation: urn:ISBN:9798350382143
-
3Academic Journal
المؤلفون: Chen Xie, Peng Jia, Pin Yang, Chi Hu, Hongbo Kuang, Genzuo Ye, Xuanquan Hong
المصدر: Applied Sciences, Vol 13, Iss 24, p 13172 (2023)
مصطلحات موضوعية: vulnerability mining, greybox fuzzing, seed scheduling, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
وصف الملف: electronic resource
-
4Report
المساهمون: Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
المصدر: ISSTA'23, ACM SIGSOFT International Symposium on Software Testing and Analysis, US, 17-21, July, 2023
مصطلحات موضوعية: Greybox fuzzing, Compilers, Program analysers, Code mutators, LibFuzzer, Clang, LLVM, GCC, MSVC, Frama-C, GrayC Fuzzer
-
5
المؤلفون: Wang, Jinghan
مصطلحات موضوعية: Computer science, automated test generation, concolic execution, greybox fuzzing, program testing
وصف الملف: application/pdf
-
6Academic Journal
المؤلفون: Qian Lyu, Dalin Zhang, Rihan Da, Hailong Zhang
المصدر: Electronics; Volume 10; Issue 16; Pages: 1921
مصطلحات موضوعية: remedial testing, greybox fuzzing, vulnerability detection, enhanced security
وصف الملف: application/pdf
Relation: Computer Science & Engineering; https://dx.doi.org/10.3390/electronics10161921
-
7Academic Journal
المؤلفون: Tai Yue, Yong Tang, Bo Yu, Pengfei Wang, Enze Wang
المصدر: IEEE Access, Vol 7, Pp 117029-117043 (2019)
مصطلحات موضوعية: Input format learning, deep path fuzzing, greybox fuzzing, vulnerability detection, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
8Academic Journal
المؤلفون: Gen Zhang, Xu Zhou, Yingqi Luo, Xugang Wu, Erxue Min
المصدر: IEEE Access, Vol 6, Pp 37302-37313 (2018)
مصطلحات موضوعية: Feedback, greybox fuzzing, Intel PT, software security, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
9Conference
المؤلفون: Shah, Abhishek, She, Dongdong, Sadhu, Samanway, Singal, Krish, Coffman, Peter, Jana, Suman
مصطلحات موضوعية: Automated vulnerability detection, Execution complexity, Greybox fuzzing, Monte carlo counting, Noisy binary search
Relation: https://repository.hkust.edu.hk/ir/Record/1783.1-128690; CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2022, p. 2595-2609; https://doi.org/10.1145/3548606.3560648; http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=1543-7221&rft.volume=&rft.issue=&rft.date=2022&rft.spage=2595&rft.aulast=Shah&rft.aufirst=Abhishek&rft.atitle=MC2%3A+Rigorous+and+Efficient+Directed+Greybox+Fuzzing&rft.title=Proceedings+of+the+ACM+Conference+on+Computer+and+Communications+Security; http://www.scopus.com/record/display.url?eid=2-s2.0-85143048074&origin=inward
الاتاحة: https://repository.hkust.edu.hk/ir/Record/1783.1-128690
https://doi.org/10.1145/3548606.3560648
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=1543-7221&rft.volume=&rft.issue=&rft.date=2022&rft.spage=2595&rft.aulast=Shah&rft.aufirst=Abhishek&rft.atitle=MC2%3A+Rigorous+and+Efficient+Directed+Greybox+Fuzzing&rft.title=Proceedings+of+the+ACM+Conference+on+Computer+and+Communications+Security
http://www.scopus.com/record/display.url?eid=2-s2.0-85143048074&origin=inward -
10Dissertation/ Thesis
المؤلفون: Canakci, Sadullah
Thesis Advisors: Joshi, Ajay J.
مصطلحات موضوعية: Computer engineering, Bug, Coverage, Directed greybox fuzzing, Fuzzing, Processor, Security
الاتاحة: https://hdl.handle.net/2144/44702
-
11
المؤلفون: Dalin Zhang, Qian Lyu, Hailong Zhang, Rihan Da
المصدر: Electronics, Vol 10, Iss 1921, p 1921 (2021)
Electronics
Volume 10
Issue 16مصطلحات موضوعية: greybox fuzzing, TK7800-8360, Computer Networks and Communications, Computer science, Process (computing), Code coverage, Vulnerability detection, remedial testing, Fuzz testing, Computer security, computer.software_genre, Hardware and Architecture, Control and Systems Engineering, Signal Processing, vulnerability detection, enhanced security, State (computer science), Electrical and Electronic Engineering, Electronics, computer, Complement (set theory)
وصف الملف: application/pdf
-
12
المؤلفون: Manh-Dung Nguyen
المساهمون: Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Validation de Systèmes, Composants et Objets logiciels (VASCO ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes [2020-....], Roland Groz, Montimage [Paris], Université Grenoble Alpes, Sébastien Bardin, Matthieu Lemerre, Richard Bonichon
المصدر: Software Engineering [cs.SE]. Université Grenoble Alpes [2020-..], 2021. English. ⟨NNT : 2021GRALM005⟩
HAL
Software Engineering [cs.SE]. Université Grenoble Alpes, 2021. Englishمصطلحات موضوعية: Test de correctifs, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Reproduction de bogues, Détection automatisée des vulnérabilités, Bug reproduction, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Use-After-Free, Fuzzing dirigé, Automated vulnerability detection, Test en frelatage, Greybox fuzzing, Directed fuzzing, Patch testing
-
13
مصطلحات موضوعية: instrumentation, directed fuzzing, ��������������������������������������������������������, greybox fuzzing, �������������������������������������������������������� ������������������������ ��������������������������������������������, ���������������������������� ������������������������ ��������������������, �������������������� ������������������������, ��������������������������������������������, search for bugs in software, sanitizers, ������������������������������������������������ ����������������������������, fuzzing, ����������������������������
-
14
المؤلفون: Bo Yu, Yong Tang, Pengfei Wang, Tai Yue, Enze Wang
المصدر: IEEE Access, Vol 7, Pp 117029-117043 (2019)
مصطلحات موضوعية: General Computer Science, greybox fuzzing, Programming language, business.industry, Computer science, General Engineering, Code coverage, 020207 software engineering, 02 engineering and technology, Fuzz testing, computer.software_genre, Test (assessment), Test case, Software, Input format learning, Mutation (genetic algorithm), 0202 electrical engineering, electronic engineering, information engineering, vulnerability detection, 020201 artificial intelligence & image processing, General Materials Science, lcsh:Electrical engineering. Electronics. Nuclear engineering, business, computer, lcsh:TK1-9971, deep path fuzzing
-
15Dissertation/ Thesis
المؤلفون: Nguyen, Manh-Dung
المساهمون: Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Validation de Systèmes, Composants et Objets logiciels (VASCO), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes 2020-., Roland Groz
المصدر: https://theses.hal.science/tel-03238343 ; Cryptography and Security [cs.CR]. Université Grenoble Alpes [2020-.], 2021. English. ⟨NNT : 2021GRALM005⟩.
مصطلحات موضوعية: Automated vulnerability detection, Greybox fuzzing, Directed fuzzing, Bug reproduction, Patch testing, Use-After-Free, Détection automatisée des vulnérabilités, Test en frelatage, Fuzzing dirigé, Reproduction de bogues, Test de correctifs, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: NNT: 2021GRALM005
-
16Dissertation/ Thesis
المؤلفون: Nguyen, Manh-Dung
المساهمون: Université Grenoble Alpes, Groz, Roland
مصطلحات موضوعية: Détection automatisée des vulnérabilités, Test en frelatage, Fuzzing dirigé, Reproduction de bogues, Test de correctifs, Use-After-Free, Automated vulnerability detection, Greybox fuzzing, Directed fuzzing, Bug reproduction, Patch testing
Time: 004
-
17
المؤلفون: Yingqi Luo, Xu Zhou, Xugang Wu, Gen Zhang, Erxue Min
المصدر: IEEE Access, Vol 6, Pp 37302-37313 (2018)
مصطلحات موضوعية: 021110 strategic, defence & security studies, Emulation, software security, greybox fuzzing, General Computer Science, business.industry, Computer science, 0211 other engineering and technologies, General Engineering, 020207 software engineering, 02 engineering and technology, Fuzz testing, Fuzzy logic, Feedback, Intel PT, Software, Software bug, Embedded system, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, lcsh:Electrical engineering. Electronics. Nuclear engineering, Instrumentation (computer programming), business, lcsh:TK1-9971, TRACE (psycholinguistics)
-
18Academic Journal
المؤلفون: Liang, Jie, Jiang, Yu, Wang, Mingzhe, Song, Houbing, Choo, Kim-Kwang Raymond
المساهمون: 2463074
المصدر: Publications
مصطلحات موضوعية: Software Testing, Greybox Fuzzing, Software Engineering
وصف الملف: application/pdf
Relation: https://commons.erau.edu/publication/1363; https://commons.erau.edu/context/publication/article/2462/viewcontent/DeepFuzzer___Song_Tsinghua_University.pdf
-
19Dissertation/ Thesis
المؤلفون: Wesley, Arthur
مصطلحات موضوعية: software model checking, smart contracts, greybox fuzzing, parameterized verification, automated verification, static analysis, network verification, program abstraction
الاتاحة: http://hdl.handle.net/10012/17349