A Symbolic Execution Based Approach for Inspecting Knowledge Bases.

Amar Bendou Marc Ayel

Published in: EUROVAV (1997)

Keyphrases

symbolic execution
knowledge base
static analysis
test data generation
test generation
source code
specification language
description logics
data flow
artificial intelligence
database
general purpose
machine vision
quality control