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 |
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. |
URI: | http://bura.brunel.ac.uk/handle/2438/1871 |
ISSN: | 0360-0300 |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
landscapes_final.pdf | 588.63 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.