Why combinatorial testing works: Analyzing minimal failure-causing schemas in logic expressions.

Ziyuan Wang Yuanchao Qi

Published in: ICST Workshops (2015)

Keyphrases

databases
modal logic
predicate logic
neural network
classical logic
failure rate
database
data mining
logic programming
test set
data integration
software testing
computational properties
asynchronous circuits
failure detection
failure prediction