A Formal Logic Approach to Constrained Combinatorial Testing.

Andrea Calvagna Angelo Gargantini

Published in: J. Autom. Reason. (2010)

Keyphrases

formal logic
predicate logic
description logics
design theory
artificial intelligence
theoretical framework
formal methods