Symbolic Execution Algorithms for . . .

Symbolic Execution Algorithms for . . . (2009)

Cached

Download Links

[www.cs.ucla.edu]

by Ru-Gang Xu

BibTeX

@MISC{Xu09symbolicexecution,
    author = {Ru-Gang Xu},
    title = {Symbolic Execution Algorithms for . . . },
    year = {2009}
}

Bookmark

OpenURL

Abstract

Citations

1232	Theory of Linear and Integer Programming - SCHRIJVER - 1986
572	A survey of program slicing techniques - Tip - 1995
518	The Art of Software Testing - Myers - 1979
330	CIL: Intermediate language and tools for analysis and transformation of C programs - Necula, McPeak, et al. - 2002
314	A first step towards automated detection of buffer overrun vulnerabilities - Wagner, Foster, et al. - 2000
237	D.: Korat: Automated testing based on Java predicates - Boyapati, Khurshid, et al. - 2002
212	Cute: a concolic unit testing engine for c - Sen, Marinov, et al. - 2005
211	Valgrind: A framework for heavyweight dynamic binary instrumentation - Nethercote, Seward - 2007
166	Toward a theory of test data selection - Goodenough, Gerhart - 1975
154	EXE: Automatically Generating Inputs of Death - Cadar, Ganesh, et al. - 2006
147	Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method - Weiser - 1979
111	Test input generation with java pathfinder - Visser, Pǎsǎreanu, et al. - 2004
103	Bounded model checking using satisfiability solving - Clarke, Bierea, et al.
103	KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs - Cadar, Dunbar, et al. - 2008
102	Automated Whitebox Fuzz Testing - Godefroid, Levin, et al. - 2008
100	Termination proofs for systems code, in - Cook, Podelski, et al.
100	Cssv: Towards a realistic tool for statically detecting all buffer overflows - Dor, Rodeh, et al. - 2003
83	Compositional dynamic test generation - GODEFROID
82	Mondrian memory protection - Witchel, Cates, et al. - 2002
75	A decision procedure for bit-vectors and arrays - GANESH, DILL - 2007
66	R.: Generating tests from counterexamples - Beyer, Chlipala, et al. - 2004
65	Using Valgrind to detect undefined value errors with bit-precision - Seward, Nethercote - 2005
55	DYTAN: A generic dynamic taint analysis framework - Clause, Li, et al.
51	Proving program invariance and termination by parametric abstraction, lagrangian relaxation - Cousot - 1007
51	Testing static analysis tools using exploitable buffer overflows from open source code - Zitser, Lippmann, et al.
49	Practical methods for proving program termination - Colón, Sipma - 2002
39	Test input generation for java containers using state matching - Visser, Pǎsǎreanu, et al. - 2006
35	N.: COGENT: Accurate theorem proving for program verification - Cook, Kroening, et al. - 2005
33	Z.: Non-linear loop invariant generation using Gröbner bases - Sankaranarayanan, Sipma, et al. - 2004
28	R.: Path slicing - Jhala, Majumdar - 2005
26	The Polyranking Principle - Bradley, Manna, et al. - 2005
24	Randomized differential testing as a prelude to formal verification - Groce, Holzmann, et al. - 2007
19	Saturn: A SAT-based tool for bug detection - Xie, Aiken - 2005
18	Detecting and debugging insecure information flows - Masri, Podgurski, et al. - 2004
16	Proving non-termination - Gupta, Henzinger, et al. - 2008
15	Active property checking - Godefroid, Levin, et al. - 2008
15	Yacc: Yet Another Compiler-Compiler,’’ Bell Laboratories - Johnson - 1978
12	Using symbolic, path-sensitive analysis to detect memory access errors - Archer - 2003
11	A Lattice Model of Secure - Denning - 1976
8	Yagg: an easy-to-use generator for structured test inputs - Coppit, Lian - 2005
5	Nearly all binary searches and mergesorts are broken - Bloch - 2006
2	Buffer Overflow Attacks. Syngress - Foster, Osipov, et al. - 2005
2	Directed test generation with symbolic grammars - Majumdar, Xu - 2007
1	RWset: Attacking Path Explosion - Boonstoppel, Cadar, et al. - 2008
1	Computation of Dynamic Program Slices - “Forward - 1994