article · 2015

Accurate QBF-based Test Pattern Generation

S. Hillebrecht, M. Kochte, D. Erb, H. -j. Wunderlich, B. Becker

Cited by 0Abstract and details only

Abstract

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, re-distribution, re-selling, loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden.

Cite this paper

APA 7

Hillebrecht, S., Kochte, M., Erb, D., Wunderlich, H. J., & Becker, B. (2015). Accurate QBF-based Test Pattern Generation.

MLA 9

Hillebrecht, S., et al. “Accurate QBF-based Test Pattern Generation.” 2015.

Chicago

Hillebrecht, S., M. Kochte, D. Erb, H. -j. Wunderlich, and B. Becker. 2015. “Accurate QBF-based Test Pattern Generation.”

Harvard

Hillebrecht, S. et al. (2015) ‘Accurate QBF-based Test Pattern Generation’.

BibTeX

@article{hillebrecht2015accurate,
  title = {{Accurate QBF-based Test Pattern Generation}},
  author = {Hillebrecht, S. and Kochte, M. and Erb, D. and Wunderlich, H. -j. and Becker, B.},
  year = {2015}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.