Model generation for quantified formulas with application to test data generation

Journal Article

Author(s):Christoph Gladisch
Journal:International Journal on Software Tools for Technology Transfer (STTT)
Publisher:Springer
Number:4
Volume:14
Year:2012
Pages: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}
}