Login / Signup

A Framework for Guided Test Case Generation in Constraint Logic Programming.

José Miguel RojasMiguel Gómez-Zamalloa
Published in: LOPSTR (2012)
Keyphrases
  • constraint logic programming
  • test case generation
  • constraint solving
  • artificial intelligence
  • knowledge base
  • special case
  • qualitative and quantitative