## 4 System Design
### Locating RC Points and Negating Procedure
Available online: [[https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/serebryany](https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/serebryany)]([https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/serebryany](https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/serebryany)) (accessed on 10 December 2019). * [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON]; [PERSON] _Fuzzing for Security Testing and Quality Assurance_, 2 nd ed. ; Artech House: London, UK, 2018; pp. 1-2, ISBN 9781608078509. * [PERSON] et al. (2007) [PERSON]; [PERSON]; [PERSON] Fuzzing limitations and expectations. In _Fuzzing: Brute Force Vulnerability Discovery_; Addison-Wesley Professional: Crawfordsville, IN, USA, 2007; pp. 29-32; ISBN 0321446119. * [PERSON] (2019) [PERSON] LibFuzzer-a Library for Coverage-Guided Fuzz Testing. Available online: [[http://llvm.org/docs/LibFuzzer.html](http://llvm.org/docs/LibFuzzer.html)]([http://llvm.org/docs/LibFuzzer.html](http://llvm.org/docs/LibFuzzer.html)) (accessed on 9 November 2019). * Fuzzing Tutorial (2019) Fuzzing Tutorial: What is, Types, Tools and Example. Available online: [[https://www.guru99.com/fuzz-testing.html](https://www.guru99.com/fuzz-testing.html)]([https://www.guru99.com/fuzz-testing.html](https://www.guru99.com/fuzz-testing.html)) (accessed on 13 November 2019). * [PERSON] (2007) [PERSON]; [PERSON] Hybrid Concolic Testing. In Proceedings of the 29 th International Conference on Software Engineering (ICSE'07), Minneapolis, MN, USA, 20-26 May 2007; pp. 416-426. * [PERSON] et al. (2017) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Steelix: Program-State Based Binary Fuzzing. In Proceedings of the 11 th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Paderborn, Germany, 4-8 September 2017. * [PERSON] (2012) [PERSON] Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution. Master's Thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA, 2012. * [PERSON] et al. (2016) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] [PERSON] Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In Proceedings of the 2016 Network and Distributed System Security Symposium, San Diego, CA, USA, 21-24 February 2016. * [PERSON] et al. (2005) [PERSON]; [PERSON]; [PERSON] CUTE: A Concolic Unit Testing Engine for C. In Proceedings of the 10 th European Software Engineering Conference Held Jointly with 13 th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-13), Lisbon, Portugal, 5-9 September 2005. * [PERSON] and [PERSON] (2013) [PERSON]; [PERSON] Symbolic execution for software testing: Three decades later. _Commun. ACM_**2013**, _56_, 82-90. [CrossRef]
* [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Towards optimal concolic testing. In Proceedings of the 40 th International Conference on Software Engineering, Gothenburg, Sweden, 27 May-3 June 2018. * [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] QSYM: A practical concolic execution engine tailored for hybrid fuzzing. In Proceedings of the 27 th USENIX Conference on Security Symposium, Baltimore, MD, USA, 15-17 August 2018; pp. 745-761
* [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON] [PERSON] T-fuzz: Fuzzing by program transformation. In Proceedings of the 2018 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 20-24 May 2018. * [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON] Improving function coverage with munch: A hybrid fuzzing and directed symbolic execution approach. In Proceedings of the 33 rd Annual ACM Symposium on Applied Computing, Pau, France, 9-13 April 2018. * Cybersecurity (2019) Cybersecurity 101: What You Need to Know about False Positives and False Negatives.