Requirements Discovery during the Testing of Safety-Critical Software.
Robyn R. LutzInes Carmen MikulskiPublished in: ICSE (2003)
Keyphrases
- safety critical
- regulatory requirements
- formal methods
- fault tolerant
- embedded systems
- software intensive systems
- safety analysis
- nuclear power plant
- agent architecture
- support systems
- test cases
- knowledge discovery
- adaptive systems
- requirements engineering
- decision making
- machine learning
- data warehouse
- real time
- modeling language
- test suite
- software systems
- artificial intelligence
- decision support system
- source code
- open source
- case based reasoning
- information systems
- data mining