Exhaustive testing of safety critical Java.
Tomas KaliberaPavel ParízekMichal MalohlavaMartin SchoeberlPublished in: JTRES (2010)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- agent architecture
- programming language
- open source
- regulatory requirements
- support systems
- source code
- adaptive systems
- object oriented
- decision support system
- real time
- medical images
- case based reasoning
- expert systems
- web services
- machine learning
- databases