Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex.
Soonho KongNikolai TillmannJonathan de HalleuxPublished in: ITNG (2009)
Keyphrases
- symbolic execution
- file system
- test generation
- test data generation
- static analysis
- specification language
- source code
- test cases
- access patterns
- test bed
- data flow
- programming environment
- case study
- flash memory
- simulated annealing algorithm
- data transfer
- storage systems
- multi tiered
- cloud storage
- naming conventions
- metadata management
- software testing
- database systems
- high level