Using formal methods to support testing
Robert M. Hierons, Kirill Bogdanov, J.P. Bowen, Rance Cleaveland, John Derrick, J.McP. Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Luettgen, Ajh Simons, Sergiy Vilkomir, Martin R. Woodward · Brunel University Research Archive (BURA) (Brunel University London) · 2008
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing.