Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/9978Full 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, J | - |
| 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, MR | - |
| dc.contributor.author | Zedan, H | - |
| dc.date.accessioned | 2015-01-28T10:45:58Z | - |
| dc.date.available | 2009 | - |
| dc.date.available | 2015-01-28T10:45:58Z | - |
| dc.date.issued | 2009 | - |
| dc.identifier.citation | ACM Computing Surveys, 41 (2): 9, (February 2009) | en_US |
| dc.identifier.issn | 0360-0300 | - |
| dc.identifier.uri | http://dl.acm.org/citation.cfm?doid=1459352.1459354 | - |
| dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/9978 | - |
| dc.description | "© ACM, 2009. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Computing Surveys (CSUR), {VOL 41, ISS 2, (February 2009)} http://doi.acm.org/10.1145/1459352.1459354 " | en_US |
| 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_US |
| dc.description.sponsorship | The EPSRC Formal Methods and Testing (FORTEST) grant GR/R43150. | en_US |
| dc.language | EN | - |
| dc.language.iso | en | en_US |
| dc.publisher | The Association for Computing Machinery | en_US |
| dc.subject | Software/Program, verification | en_US |
| dc.subject | Testing and debugging | en_US |
| dc.subject | Design tools and techniques | en_US |
| dc.title | Using formal specifications to support testing | en_US |
| dc.type | Article | en_US |
| dc.identifier.doi | http://dx.doi.org/10.1145/1459352.1459354 | - |
| dc.relation.isPartOf | ACM Computing Surveys | - |
| dc.relation.isPartOf | ACM Computing Surveys | - |
| pubs.issue | 2 | - |
| pubs.issue | 2 | - |
| pubs.volume | 41 | - |
| pubs.volume | 41 | - |
| pubs.organisational-data | /Brunel | - |
| pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division | - |
| pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences | - |
| pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science | - |
| pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science/Computer Science | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups/Centre for Research into Entrepreneurship, International Business and Innovation in Emerging Markets | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute for Ageing Studies | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute of Cancer Genetics and Pharmacogenomics | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Centre for Systems and Synthetic Biology | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups | - |
| pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Multidisclipary Assessment of Technology Centre for Healthcare (MATCH) | - |
| Appears in Collections: | Dept of Computer Science Research Papers | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Fulltext.pdf | 589.49 kB | Unknown | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.