Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers - Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark (Springer Berlin Heidelberg, 2008)