Please use this identifier to cite or link to this item:
Title: Using formal specifications to support testing
Authors: Hierons, RM
Bogdanov, K
Bowen, JP
Cleaveland, R
Derrick, J
Dick, J
Gheorghe, M
Harman, M
Kapoor, K
Krause, P
Luettgen, G
Simons, AJH
Vilkomir, S
Woodward, MR
Zedan, H
Keywords: Software/Program, verification;Testing and debugging;Design tools and techniques
Issue Date: 2009
Publisher: The Association for Computing Machinery
Citation: ACM Computing Surveys, 41 (2): 9, (February 2009)
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.
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)} "
ISSN: 0360-0300
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf589.49 kBUnknownView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.