Test suite assessment of safety-critical systems using safety tactics and fault-based mutation testing.
Havva Gülay GürbüzBedir TekinerdoganCagatay CatalNagehan Pala ErPublished in: Clust. Comput. (2024)
Keyphrases
- safety critical
- test suite
- mutation testing
- nuclear power plant
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- test cases
- agent architecture
- adaptive systems
- support systems
- test sequences
- regression testing
- fault model
- test generation
- database applications
- real time
- management system
- software testing
- static analysis
- life cycle
- distributed systems
- database systems
- case study