Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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

Reviewed Paper In Proceedings

Author(s):Christoph Gladisch
In: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
Pages: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}
}