Find more bugs with QuickCheck!

John Hughes Ulf Norell Nicholas Smallbone Thomas Arts

Published in: AST@ICSE (2016)

Keyphrases

source code
software systems
test cases
data sets
static analysis
real world
data mining
artificial intelligence
computer vision
case study
pattern recognition
feature space
open source
software projects
security vulnerabilities