A Memory Model for Static Analysis of C Programs
暂无分享,去创建一个
[1] Jian Zhang,et al. Symbolic execution of program paths involving pointer structure variables , 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..
[2] Yue Yang,et al. Symbolic path simulation in path-sensitive dataflow analysis , 2005, PASTE '05.
[3] Jian Zhang. Symbolic execution of program paths involving pointer structure variables , 2004 .
[4] Dawson R. Engler,et al. EXE: automatically generating inputs of death , 2006, CCS '06.
[5] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[6] Jian Zhang,et al. A Test Data Generation Tool for Unit Testing of C Programs , 2006, 2006 Sixth International Conference on Quality Software (QSIC'06).
[7] Flemming Nielson,et al. Semantics with applications - a formal introduction , 1992, Wiley professional computing.
[8] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[9] Alexander Aiken,et al. Saturn: A scalable framework for error detection using Boolean satisfiability , 2007, TOPL.
[10] Dawson R. Engler,et al. EXE: A system for automatically generating inputs of death using symbolic execution , 2006, CCS 2006.