Declarative Smart Contract Testing by Domain Experts.
Kevin J. PurnellRolf SchwitterPublished in: RuleML+RR (Companion) (2022)
Keyphrases
- domain experts
- domain knowledge
- knowledge acquisition
- domain specific
- knowledge base
- domain dependent
- knowledge elicitation
- human experts
- domain independent
- knowledge representation
- expert knowledge
- semi automatically
- test cases
- domain ontology
- human users
- supply chain
- procedural knowledge
- clinical data
- databases
- evidence based medicine
- post processing
- decision support system
- prior knowledge
- expert systems
- artificial intelligence
- genetic algorithm