Brunel University Research Archive (BURA) >
Research Areas >
Information Systems and Computing >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/1871

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
Publication 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.
URI: http://bura.brunel.ac.uk/handle/2438/1871
ISSN: 0360-0300
Appears in Collections:B-SERC Research Papers
Information Systems and Computing
School of Information Systems, Computing and Mathematics Research Papers

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.

 


Library (c) Brunel University.    Powered By: DSpace
Send us your
Feedback. Last Updated: September 14, 2010.
Managed by:
Hassan Bhuiyan