Please use this identifier to cite or link to this item:
Title: Using formal methods to support testing
Authors: Hierons, RM
Bogdanov, K
Bowen, JP
Cleaveland, R
Derrick, J
Dick, JH
Gheorghe, M
Harman, M
Kapoor, K
Krause, P
Luettgen, G
Simons, AJH
Vilkomir, S
Woodward, M
Keywords: software testing;formal methods
Issue Date: 2008
Series/Report no.: ACM Computing Surveys;to appear
Abstract: 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.
ISSN: 0360-0300
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
landscapes_final.pdf588.63 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.