Completely verifying memory consistency of test program executions.
Chaiyasit ManovitSudheendra HangalPublished in: HPCA (2006)
Keyphrases
- test cases
- test suite
- set of test cases
- information systems
- statistical significance
- memory size
- main memory
- test data
- consistency checking
- real time
- low memory
- knowledge base
- computer programs
- program execution
- test data generation
- memory management
- memory space
- computing power
- static analysis
- memory usage
- memory requirements
- database management systems
- data structure
- database systems
- artificial intelligence