Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.

Stefan Leue Wei Wei

Published in: SPIN (2005)

Keyphrases

expressive power
databases
genetic algorithm
information systems
database systems
expert systems
data mining
training data
data model
relevance feedback
sufficient conditions
test cases
language independent
language identification
refinement process