Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers - Robert M. Hierons, Jonathan P. Bowen, Mark Harman ((Lecture Notes in Computer Science))