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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
randomly generated inputs
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by
grigby1
on Thu, 02/14/2019 - 11:20am
bug finding
code paths
composability
Computer bugs
coverage-guided fuzzer
deep execution paths
dynamic tracing based technique
Fuzz
fuzzer-generated inputs
fuzzing
fuzzing transformed programs
input checks
input mutation techniques
Libraries
Metrics
program analysis
program debugging
program diagnostics
program testing
program transformation
program verification
pubcrawl
randomly generated inputs
security
security of data
Software
software bugs
symbolic execution-based approach
t-fuzz approach
taint analysis
tools
