A Precise Specification Framework for White Box Program Testing (bibtex)
by Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Reference:
A Precise Specification Framework for White Box Program TestingAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithSeptember 2009, Technical report, Technische Universität Darmstadt.
Bibtex Entry:
@techreport{holzer:schallhart:tautschnig:veith:TUD-CS-2009-0148,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {A Precise Specification Framework for White Box Program Testing},
  number = {TUD-CS-2009-0148},
  month = {September},
  year = {2009},
  institution = {Technische Universit\"at Darmstadt},
  pdf = {/data/publications/1583_TUD-CS-2009-0148.pdf}
}
Powered by bibtexbrowser