Fetching the paper…
Reading the bibliography…
We improve the performance of the American Fuzzy Lop (AFL) fuzz testing framework by using Generative Adversarial Network (GAN) models to reinitialize the system with novel seed files.
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
\NAT@biblabelnum · 1977
Earlier work this paper cites.
Separation logic: A logic for shared mutable data structures
\NAT@biblabelnum · 2002
Earlier work this paper cites.
Testing telecoms software with quviq quickcheck
\NAT@biblabelnum · 2006
Earlier work this paper cites.
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
\NAT@biblabelnum · 2008
Earlier work this paper cites.
Z3: An efficient SMT solver
\NAT@biblabelnum · 2008
Earlier work this paper cites.
Boolector: An efficient SMT solver for bit-vectors and arrays
\NAT@biblabelnum · 2009
Earlier work this paper cites.
All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask)
\NAT@biblabelnum · 2010
Earlier work this paper cites.
QuickCheck: a lightweight tool for random testing of Haskell programs
\NAT@biblabelnum · 2011
Earlier work this paper cites.
Directed symbolic execution
\NAT@biblabelnum · 2011
Earlier work this paper cites.
Enemy of the State: A State-Aware Black-Box Web Vulnerability Scanner
\NAT@biblabelnum · 2012
Earlier work this paper cites.
Imagenet classification with deep convolutional neural networks
\NAT@biblabelnum · 2012
Cited alongside, same era.
Playing atari with deep reinforcement learning
\NAT@biblabelnum · 2013
Cited alongside, same era.
Scheduling black-box mutational fuzzing
\NAT@biblabelnum · 2013
Cited alongside, same era.
Generative adversarial nets
\NAT@biblabelnum · 2014
Cited alongside, same era.
The learning machines
\NAT@biblabelnum · 2014
Cited alongside, same era.
Long short-term memory recurrent neural network architectures for large scale acoustic modeling
\NAT@biblabelnum · 2014
Cited alongside, same era.
Coverage-based Greybox Fuzzing As Markov Chain
\NAT@biblabelnum · 2016
Later among the works it cites.
Sok:(state of) the art of war: Offensive techniques in binary analysis
\NAT@biblabelnum · 2016
Later among the works it cites.
Mastering the game of Go with deep neural networks and tree search
\NAT@biblabelnum · 2016
Later among the works it cites.
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
\NAT@biblabelnum · 2016
Later among the works it cites.
Google’s neural machine translation system: Bridging the gap between human and machine translation
\NAT@biblabelnum · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Ethereum: A secure decentralised generalised transaction ledger
\NAT@biblabelnum · 2014
Cited alongside, same era.
Deep learning
\NAT@biblabelnum · 2015
Cited alongside, same era.
A program construction and verification tool for separation logic
\NAT@biblabelnum · 2015
Cited alongside, same era.
American Fuzzy Lop (AFL) fuzzer (2015)
\NAT@biblabelnum · 2015
Cited alongside, same era.
\NAT@biblabelnum · 2017
Closest in time.
Keras (2015)
\NAT@biblabelnum · 2017
Closest in time.
Learn&fuzz: Machine learning for input fuzzing
\NAT@biblabelnum · 2017
Closest in time.
Steelix: Program-state Based Binary Fuzzing
\NAT@biblabelnum · 2017
Closest in time.
Skyfire: Data-driven seed generation for fuzzing
\NAT@biblabelnum · 2017
Closest in time.