Validation, Verification, and Testing: Diversity Rules.
Barbara A. KitchenhamStephen G. LinkmanPublished in: IEEE Softw. (1998)
Keyphrases
- formal verification
- symbolic execution
- test generation
- association rules
- rule extraction
- classification rules
- data sets
- model checking
- rule sets
- inference engine
- human experts
- concurrent systems
- transformation rules
- business rules
- test data
- domain experts
- domain knowledge
- artificial neural networks
- information retrieval
- databases