Improving test pattern generation in presence of unknown values beyond restricted symbolic logic.

Karsten Scheibler Dominik Erb Bernd Becker

Published in: ETS (2015)

Keyphrases

classical logic
real time
symbolic description
evolutionary algorithm
logic programming
modal logic
multi valued
knowledge base
parameter values
automated reasoning
logical framework
set theory
truth values