Test Data Generation for Programs with Quantified First-Order Logic Specifications

@inproceedings{Gladisch10,
  author    = {Christoph Gladisch},
  title     = {Test Data Generation for Programs with Quantified First-Order
               Logic Specifications},
  year      = {2010},
  pages     = {158-173},
  doi       = {10.1007/978-3-642-16573-3_12},
  editor    = {Alexandre Petrenko and
               Adenilso da Silva Sim{\~a}o and
               Jos{\'e} Carlos Maldonado},
  booktitle = {22nd IFIP WG 6.1 International Conference on Testing Software
	       and Systems ({ICTSS} 2010)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6435},
  year      = {2010},
  month     = nov,
  isbn      = {978-3-642-16572-6}
}