FOXBOX: A System for Manipulating Symbolic Objects in Black Box Representation.

Angel Díaz Erich Kaltofen

Published in: ISSAC (1998)

Keyphrases

black box
black boxes
white box
symbolic description
spatial relations
state transition
moving objects
rule extraction
symbolic representation
d objects
hybrid systems
object representation
object representations
image representation
integration testing
test cases
xml documents
databases
white box testing