An effective fault ordering heuristic for SAT-based dynamic test compaction techniques.

Stephan Eggersglüß Rolf Drechsler

Published in: it Inf. Technol. (2014)

Keyphrases

high quality
expert systems
dynamic environments
answer set programming
data sets
machine learning
programming language
fault diagnosis
constraint programming
sat solvers