Automated test generation for API proxy code (invited talk abstract).
Qing XiePublished in: WODA+PERTEA@ISSTA (2014)
Keyphrases
- invited talk
- test generation
- static analysis
- source code
- symbolic execution
- application programming interface
- test cases
- code snippets
- knowledge discovery and data mining
- selected papers
- design automation
- high level
- test sequences
- open source
- software testing
- quality assurance
- test data generation
- code examples
- data sets
- software projects
- program committee
- software systems
- e learning
- data mining
- code coverage
- databases