FORTEST: Formal Methods and Testing.

Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause

Browse the full COMPSAC paper archive.