A safe regression testing approach for safety critical systems.
Zahid Hussain QaisarMuhammad Shafiq ur RehmanPublished in: Adv. Eng. Softw. (2011)
Keyphrases
- safety critical
- regression testing
- formal methods
- agent architecture
- nuclear power plant
- fault tolerant
- embedded systems
- safety analysis
- support systems
- expert systems
- management system
- distributed systems
- software maintenance
- software testing
- knowledge based systems
- knowledge acquisition
- low cost
- real time
- regulatory requirements