Defect Detection for Executable Specifications - An Experiment.
Frank HoudekThilo SchwinnDietmar ErnstPublished in: Int. J. Softw. Eng. Knowl. Eng. (2002)
Keyphrases
- defect detection
- formal specification
- attribute grammars
- control flow
- automated visual inspection
- specification language
- concurrent systems
- feature extraction
- model checking
- textured surfaces
- data flow
- high level
- delay insensitive
- process algebra
- databases
- bounded model checking
- genetic algorithm
- learning algorithm
- information systems
- context free grammars
- e learning
- machine vision
- vision system