CASTING: A Formally Based Software Test Generation Method.
Lionel Van AertryckMarc V. BenvenisteDaniel Le MétayerPublished in: ICFEM (1997)
Keyphrases
- generation method
- test cases
- software testing
- software systems
- test data generation
- test data
- software development
- commercial software
- feature generation
- software packages
- software design
- source code
- computer systems
- software tools
- genetic algorithm
- integration testing
- unit testing
- regression testing
- machine learning
- software package
- test suite
- software projects
- software components
- software architecture
- user interface
- mobile devices
- case study