Keyphrases
- computer programs
- test generation
- test cases
- symbolic execution
- programming language
- design automation
- static analysis
- expert systems
- turing test
- test sequences
- quality assurance
- software testing
- human users
- databases
- software agents
- general purpose
- software development
- relational databases
- trading strategies
- test data generation
- feature space
- reinforcement learning
- training data