MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software.
Lingjun LiuEunkyoung JeeDoo-Hwan BaePublished in: Softw. Test. Verification Reliab. (2022)
Keyphrases
- nuclear power plant
- safety critical
- set of test cases
- safety analysis
- test cases
- pseudorandom
- software development
- software testing
- genetic algorithm
- test suite
- software systems
- evolutionary algorithm
- condition monitoring
- source code
- low cost
- safe operation
- neural network
- nuclear power
- formal methods
- fuzzy control
- embedded systems
- evolutionary computation
- fitness function
- intelligent systems
- computational intelligence
- user interface