A Novel Test Coverage Metric for Safety-Critical Software.
Debashis MukherjeePublished in: TENCON (2019)
Keyphrases
- safety critical
- embedded systems
- formal methods
- test suite
- fault tolerant
- safety analysis
- agent architecture
- nuclear power plant
- test cases
- support systems
- software testing
- software intensive systems
- regulatory requirements
- adaptive systems
- software systems
- low cost
- user interface
- case study
- artificial intelligence
- software engineering
- cooperative
- data mining
- real time