Acknowledgement
Supported by : 한국연구재단
References
- P. Godefroid, M. Y. Levin, and D. Molnar, "SAGE: whitebox fuzzing for security testing," Queue - Networks, Vol. 10 Issue 1, Jan. 2012.
- D. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M. G. Kang, Z. Liang, J. Newsome, P. Poosankam, and P. Saxena, "BitBlaze: A New Approach to Computer Security via Binary Analysis," Proc. of the 4th International Conference on Information Systems Security, Dec. 2008, Hyderabad, India (Keynote invited paper).
- C. Cadar, D. Dunbar, and D. Engler, "KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs," Proc. of the 8th USENIX conference on Operating systems design and implementation, pp. 209-224, Dec. 2008.
- K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," ACM SIGSOFT Software Engineering Notes, Vol. 30, Issue 5, pp. 263-272, Sep. 2005. https://doi.org/10.1145/1095430.1081750
- C. S. Pasareanu and W. Visser, "A survey of new trends in symbolic execution for software testing and analysis," International Journal on Software Tools for Technology Transfer, Vol. 11, Issue 4, pp. 339-353, Oct. 2009. https://doi.org/10.1007/s10009-009-0118-1
- J. Burnim and K. Sen, "Heuristics for scalable dynamic test generation," Proc. of the 23rd IEEE/ ACM International Conference on Automated Software Engineering, pp. 443-446, Sep. 2008.
- P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," Proc. of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp. 213-223, Jun. 2005.
- N. Tillmann, and W. Schulte, "Parameterized unit tests," ACM SIGSOFT Software Engineering Notes, Vol. 30, Issue 5, pp. 253-262, Sep. 2005. https://doi.org/10.1145/1095430.1081749
- M. Z. Kim, Y. H. Kim, and Y. J. Choi, "Concolic Testing of the Multi-sector Read Operation for Flash Storage Platform Software," Formal Aspects of Computing (FACJ), Vol. 24, No. 2, pp. 355-374, May 2012. https://doi.org/10.1007/s00165-011-0200-9
- L. de Moura and N. Bjorner, "Z3: An efficient SMT solver," Tools and Algorithms for the Construction and Analysis of Systems, Vol. 4963, pp. 337-340, 2008. https://doi.org/10.1007/978-3-540-78800-3_24
- A. V. Aho, R. Sethi, and J. D. Ullman, "Compilers: principles, techniques, and tools," 2nd ED., pp. 614, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2006.
- Intel Pin, [Online]. Available: http://www.pintool.org
- Z3 solver, [Online]. Available: http://z3.codeplex.com
- !exploitable, [Online]. Available: http://msecdbg.codeplex.com