|
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
|
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
