Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation.
Dieter HogrefeBeat KochHelmut NeukirchenPublished in: SDL Forum (2001)
Keyphrases
- computer aided
- test generation
- test cases
- test suite
- symbolic execution
- static analysis
- quality assurance
- test sequences
- computer aided diagnosis
- computer aided design
- diagnosis of breast cancer
- design automation
- software testing
- image analysis
- reverse engineering
- process planning
- design tools
- machine learning
- code coverage
- capsule endoscopy
- differential diagnosis
- feature extraction
- description language
- relational databases
- early diagnosis
- cad systems
- pulmonary nodules
- open source