Selective Symbolic Execution
暂无分享,去创建一个
Vitaly Chipounov | Cristian Zamfir | Vlad Georgescu | Vitaly Chipounov | Cristian Zamfir | V. Georgescu
[1] Michael R. Lowry,et al. Combining unit-level symbolic execution and system-level concrete execution for testing nasa software , 2008, ISSTA '08.
[2] Viktor Kuncak,et al. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems , 2009, NSDI.
[3] Vikram S. Adve,et al. LLVM: a compilation framework for lifelong program analysis & transformation , 2004, International Symposium on Code Generation and Optimization, 2004. CGO 2004..
[4] Patrice Godefroid,et al. Automated Whitebox Fuzz Testing , 2008, NDSS.
[5] Rupak Majumdar,et al. Hybrid Concolic Testing , 2007, 29th International Conference on Software Engineering (ICSE'07).
[6] Zhenkai Liang,et al. BitScope: Automatically Dissecting Malicious Binaries , 2007 .
[7] Christopher Krügel,et al. Exploring Multiple Execution Paths for Malware Analysis , 2007, 2007 IEEE Symposium on Security and Privacy (SP '07).
[8] Thomas Ball,et al. Finding and Reproducing Heisenbugs in Concurrent Programs , 2008, OSDI.
[9] Dawson R. Engler,et al. EXE: Automatically Generating Inputs of Death , 2008, TSEC.
[10] Koushik Sen. DART: Directed Automated Random Testing , 2009, Haifa Verification Conference.
[11] Patrice Godefroid,et al. Compositional dynamic test generation , 2007, POPL '07.
[12] Koushik Sen,et al. Concolic testing , 2007, ASE.
[13] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[14] Fabrice Bellard,et al. QEMU, a Fast and Portable Dynamic Translator , 2005, USENIX Annual Technical Conference, FREENIX Track.