Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/1871
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Bogdanov, K | - |
dc.contributor.author | Bowen, JP | - |
dc.contributor.author | Cleaveland, R | - |
dc.contributor.author | Derrick, J | - |
dc.contributor.author | Dick, JH | - |
dc.contributor.author | Gheorghe, M | - |
dc.contributor.author | Harman, M | - |
dc.contributor.author | Kapoor, K | - |
dc.contributor.author | Krause, P | - |
dc.contributor.author | Luettgen, G | - |
dc.contributor.author | Simons, AJH | - |
dc.contributor.author | Vilkomir, S | - |
dc.contributor.author | Woodward, M | - |
dc.coverage.spatial | 78 | en |
dc.date.accessioned | 2008-03-27T10:25:02Z | - |
dc.date.available | 2008-03-27T10:25:02Z | - |
dc.date.issued | 2008 | - |
dc.identifier.issn | 0360-0300 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/1871 | - |
dc.description.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. | en |
dc.format.extent | 602757 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.relation.ispartofseries | ACM Computing Surveys;to appear | - |
dc.subject | software testing | en |
dc.subject | formal methods | en |
dc.title | Using formal methods to support testing | en |
dc.type | Preprint | en |
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.