Query−Driven Program Testing - Holzer, A; Schallhart, C; Tautschnig, M; Veith, H (Proceedings of the Tenth International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI 2009), 2009)