Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements.
Tino TeigeTom BienmüllerHans Jürgen HolbergPublished in: MBMV (2016)
Keyphrases
- test case generation
- safety critical
- test suite
- formal methods
- regulatory requirements
- test cases
- safety analysis
- software testing
- nuclear power plant
- fault tolerant
- test generation
- object oriented systems
- embedded systems
- test data generation
- formal specification
- model checking
- support systems
- static analysis
- agent architecture
- java programs
- adaptive systems
- object oriented
- open source
- decision makers
- real time
- intelligent agents
- information systems
- artificial intelligence