Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.
Ted KremenekDawson R. EnglerPublished in: SAS (2003)
Keyphrases
- static analysis
- statistical analysis
- dynamic analysis
- source code
- symbolic execution
- malicious code
- ranking algorithm
- web search
- test generation
- learning to rank
- regular expressions
- abstract interpretation
- java card
- ranking functions
- statistical methods
- statistical analyses
- artificial intelligence
- high level
- databases