Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
bug finding
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by grigby1 on Thu, 02/14/2019 - 11:20am
program analysis
tools
taint analysis
t-fuzz approach
symbolic execution-based approach
software bugs
Software
security of data
security
randomly generated inputs
pubcrawl
program verification
program transformation
program testing
program diagnostics
program debugging
bug finding
Metrics
Libraries
input mutation techniques
input checks
fuzzing transformed programs
fuzzing
fuzzer-generated inputs
Fuzz
dynamic tracing based technique
deep execution paths
coverage-guided fuzzer
Computer bugs
composability
code paths
biblio
How to Build Static Checking Systems Using Orders of Magnitude Less Code
Submitted by el_wehby on Thu, 05/17/2018 - 6:29pm
bug finding
micro-grammars
parsing
static analysis
1505684
biblio
How to Build Static Checking Systems Using Orders of Magnitude Less Code
Submitted by grigby1 on Wed, 05/17/2017 - 1:47pm
bug finding
composability
Human behavior
micro-grammars
parsing
pubcrawl
Resiliency
static analysis
static code analysis
