Login / Signup
An intuitive approach to determine test adequacy in safety-critical software.
P. Arun Babu
Senthil Kumar Chandran
Nagarajan Murali
T. Jayakumar
Published in:
ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
</>
safety critical
formal methods
embedded systems
safety analysis
fault tolerant
agent architecture
nuclear power plant
support systems
test cases
adaptive systems
software intensive systems
artificial intelligence
information systems
regulatory requirements