SAT-based Automatic Test Pattern Generation.

Rolf Drechsler Stephan Eggersglüß Görschwin Fey Daniel Tille

Published in: Evolutionary Test Generation (2008)

Keyphrases

data driven
semi automatic
fully automatic
answer set programming
databases