Login / Signup
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