Static Analysis Driven Cache Performance Testing.
Abhijeet BanerjeeSudipta ChattopadhyayAbhik RoychoudhuryPublished in: RTSS (2013)
Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- test generation
- test suite
- source code
- test case generation
- abstract interpretation
- regular expressions
- malicious code
- java card
- test cases
- main memory
- databases
- software testing
- database systems
- real world
- data sets
- reverse engineering
- pattern matching
- domain knowledge
- query processing