Query−Driven Program Testing (Proceedings of the Tenth International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI 2009), 2009)

(untitled) - Holzer, A; Schallhart, C; Tautschnig, M; Veith, H