Christoph Gladisch. Test Data Generation for Programs with Quantified First-Order Logic Specifications. In Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado, editors, Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Volume 6435 of Lecture Notes in Computer Science, pages 158-173, Springer, 2010. [doi]
Abstract is missing.