Defect Detection for Executable Specifications - An Experiment.
Frank HoudekThilo SchwinnDietmar ErnstPublished in: SEKE (2001)
Keyphrases
- defect detection
- formal specification
- attribute grammars
- control flow
- feature extraction
- specification language
- automated visual inspection
- model checking
- high level
- real time
- written in natural language
- case study
- multi agent
- delay insensitive
- textured surfaces
- context free
- context free grammars
- database systems
- search engine
- artificial intelligence
- information retrieval
- data mining
- real world
- neural network
- data sets