Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems.
Branson W. MurrillPublished in: HASE (2007)
Keyphrases
- high assurance
- test data generation
- search based testing
- software systems
- reliability assessment
- fault tolerant
- computer systems
- distributed systems
- simulated annealing algorithm
- operating system
- test cases
- software testing
- software components
- access control
- information systems
- symbolic execution
- test case generation
- software development
- fitness function
- artificial neural networks