100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis.
Daniel KästnerReinhold HeckmannChristian FerdinandPublished in: SAFECOMP (2010)
Keyphrases
- static analysis
- test suite
- safety critical
- dynamic analysis
- symbolic execution
- test cases
- source code
- test generation
- software testing
- test case generation
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- agent architecture
- software intensive systems
- software systems
- building blocks
- software development
- artificial intelligence
- databases
- support systems
- adaptive systems
- low cost
- e learning
- database