Singularity: pattern fuzzing for worst case complexity.
Jiayi WeiJia ChenYu FengKostas FerlesIsil DilligPublished in: ESEC/SIGSOFT FSE (2018)
Keyphrases
- worst case
- upper bound
- space complexity
- lower bound
- average case
- np hard
- error bounds
- complexity bounds
- running times
- pattern matching
- greedy algorithm
- computational complexity
- approximation algorithms
- constant factor
- worst case analysis
- np hardness
- decision problems
- complexity analysis
- database
- sample size
- scale space
- computational cost
- bayesian networks
- neural network