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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Gladisch
In:22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2010)
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:6435
Jahr:2010
Seiten:158-173
DOI:10.1007/978-3-642-16573-3_12

BibTeX

@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}
}