A test suite for safety-critical Java using JML.
Anders P. RavnHans SøndergaardPublished in: JTRES (2013)
Keyphrases
- safety critical
- test suite
- test cases
- fault tolerant
- regression testing
- formal methods
- nuclear power plant
- test suite reduction
- agent architecture
- embedded systems
- safety analysis
- support systems
- open source
- software testing
- regulatory requirements
- source code
- database applications
- object oriented
- adaptive systems
- real time
- cooperative
- database