ATLTest: A White-Box Test Generation Approach for ATL Transformations.
Carlos A. GonzálezJordi CabotPublished in: MoDELS (2012)
Keyphrases
- test generation
- white box
- test cases
- black box
- test data
- test sequences
- software testing
- source code
- symbolic execution
- static analysis
- multi agent systems
- design automation
- source code metrics
- model checking
- mutation testing
- alternating time temporal logic
- temporal logic
- object oriented
- regression testing
- quality assurance
- test suite
- test data generation
- database systems
- databases
- data sets
- test set
- data model
- code coverage