Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.
Frédéric DadeauKalou Cabrera CastillosYves LedruTaha TrikiGermán VegaJulien BotellaSafouan TahaPublished in: ICST (2013)
Keyphrases
- test generation
- test cases
- high level
- symbolic execution
- test sequences
- evaluation criteria
- software testing
- quality assurance
- design automation
- low level
- code coverage
- heuristic evaluation
- static analysis
- mutation testing
- testing process
- test data generation
- knowledge management
- evaluation campaigns
- test suite
- semantic information
- object oriented
- e learning
- databases
- data sets