Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods.
Eric LavillonnièreDavid MentréDenis CousineauPublished in: TAP@FM (2019)
Keyphrases
- formal methods
- test generation
- genetic algorithm
- provably correct
- formal analysis
- test cases
- symbolic execution
- test sequences
- safety critical
- formal specification
- knowledge based systems
- design automation
- artificial intelligence
- software engineering
- model checking
- software testing
- static analysis
- formal specification language
- natural language
- quality assurance
- modeling language
- machine vision
- knowledge management
- learning algorithm