Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dinghao Wu
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing
Proceedings of the AAAI Conference on Artificial Intelligence
Value-Based Program Characterization and Its Application to Software Plagiarism Detection
Foundational Proof Checkers With Small Witnesses
A Provably Sound TAL for Back-End Optimization
Related publications
SECFUZZ: Fuzz-Testing Security Protocols
G4ltl-St: Automatic Generation of PLC Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Generation of Prime Length FFT Programs
IEEE Transactions on Signal Processing
Electronic Engineering
Signal Processing
Electrical
FoREnSiC– An Automatic Debugging Environment for C Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improving Fuzz Testing Using Game Theory
Automatic Generation of Control Programs for Walking Robots Using Genetic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
AutoWIG: Automatic Generation of Python Bindings for C++ Libraries
PeerJ Computer Science
Computer Science
Automatic Generation of Normal Forms for Testing Object-Oriented Software
Probability-Based Parameter Selection for Black-Box Fuzz Testing
