@article{13054,
  author       = {{Hellebrand, Sybille and Wunderlich, Hans-Joachim}},
  journal      = {{DeGruyter Journal on Information Technology (it)}},
  number       = {{4}},
  pages        = {{165--172}},
  publisher    = {{DeGruyter}},
  title        = {{{SAT-Based ATPG beyond Stuck-at Fault Testing}}},
  volume       = {{56}},
  year         = {{2014}},
}