Other Publications: Tackling the testing migration problem with SAT-Solvers

[breitner12satbritney]

Joachim Breitner, Tackling the testing migration problem with SAT-Solvers, April 2012. arXiv:1204.2974

Download

BibTeX

@misc{breitner12satbritney,
  title = {Tackling the testing migration problem with SAT-Solvers},
  year = {2012},
  month = apr,
  journal = {ArXiv e-prints},
  author = {Joachim Breitner},
  note = {arXiv:1204.2974},
  url = {http://arxiv.org/abs/1204.2974},
}

Authors at the institute

Former Staff Member
Dr. rer. nat. Joachim Breitner