Machine learning based test data generation for safety-critical software.
Ján CeginPublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases
- test data generation
- safety critical
- machine learning
- test cases
- search based testing
- formal methods
- simulated annealing algorithm
- fault tolerant
- safety analysis
- test case generation
- embedded systems
- agent architecture
- software testing
- support systems
- generation algorithm
- artificial intelligence
- fitness function
- knowledge acquisition
- knowledge base
- databases
- expert systems
- learning algorithm
- software systems
- learning environment
- error rate
- genetic programming
- distributed systems
- computational intelligence