A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest.

Matthieu Carlier Catherine Dubois Arnaud Gotlieb

Published in: TAP@TOOLS (2012)

Keyphrases

case study
data sets
design rationale
real time
machine learning
knowledge base
user interface
knowledge based systems
design process
test set
test data
design tools