Sign in

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

Karsten ScheiblerDominik ErbBernd 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