Fine-Grain Memory Object Representation in Symbolic Execution
暂无分享,去创建一个
[1] Patrice Godefroid,et al. Compositional dynamic test generation , 2007, POPL '07.
[2] Sriram K. Rajamani,et al. Compositional may-must program analysis: unleashing the power of alternation , 2010, POPL '10.
[3] David Brumley,et al. Automatic exploit generation , 2014, CACM.
[4] Corina S. Pasareanu,et al. JPF-SE: A Symbolic Execution Extension to Java PathFinder , 2007, TACAS.
[5] Michael Hicks,et al. Directed Symbolic Execution , 2011, SAS.
[6] Sarfraz Khurshid,et al. Compositional Symbolic Execution with Memoized Replay , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
[7] David L. Dill,et al. A Decision Procedure for Bit-Vectors and Arrays , 2007, CAV.
[8] Dawson R. Engler,et al. RWset: Attacking Path Explosion in Constraint-Based Test Generation , 2008, TACAS.
[9] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[10] Nikolai Tillmann,et al. Fitness-guided path exploration in dynamic symbolic execution , 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
[11] Corina S. Pasareanu,et al. Symbolic PathFinder: symbolic execution of Java bytecode , 2010, ASE.
[12] Koushik Sen,et al. MultiSE: multi-path symbolic execution using value summaries , 2015, ESEC/SIGSOFT FSE.
[13] de Ng Dick Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem , 1972 .
[14] Nikolai Tillmann,et al. Demand-Driven Compositional Symbolic Execution , 2008, TACAS.
[15] Dawson R. Engler,et al. EXE: automatically generating inputs of death , 2006, CCS '06.
[16] David Brumley,et al. Unleashing Mayhem on Binary Code , 2012, 2012 IEEE Symposium on Security and Privacy.
[17] George Candea,et al. Efficient state merging in symbolic execution , 2012, Software Engineering.