Model generation for quantified formulas with application to test data generation

Zeitschriftenartikel

Autor(en):Christoph Gladisch
Zeitschrift:International Journal on Software Tools for Technology Transfer (STTT)
Verleger:Springer
Band:14
Jahr:2012
Nummer:4
Seiten:1-21
DOI:10.1007/s10009-012-0227-0

BibTeX

@article{Gladisch12,
   author    = {Christoph Gladisch},
   title     = {Model generation for quantified formulas with application to test data generation},
   journal   = {International Journal on Software Tools for Technology Transfer (STTT)},
   publisher = {Springer},
   year      = {2012},
   month     = mar,
   volume    = {14},
   number    = {4},
   pages     = {1-21},
   doi       = {10.1007/s10009-012-0227-0}
}