Robust algorithms for high quality test pattern generation using Boolean satisfiability - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stephan Eggersglüß. Robust algorithms for high quality test pattern generation using Boolean satisfiability. PhD thesis, University of Bremen, 2010.

@phdthesis{de-850,
  title = {Robust algorithms for high quality test pattern generation using Boolean satisfiability},
  author = {Stephan Eggersglüß},
  year = {2010},
  note = {http://d-nb.info/1008951242},
  researchr = {https://researchr.org/publication/de-850},
  cites = {0},
  citedby = {0},
  school = {University of Bremen},
}

runs on WebDSL