Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHierons, RM-
dc.contributor.authorBogdanov, K-
dc.contributor.authorBowen, JP-
dc.contributor.authorCleaveland, R-
dc.contributor.authorDerrick, J-
dc.contributor.authorDick, JH-
dc.contributor.authorGheorghe, M-
dc.contributor.authorHarman, M-
dc.contributor.authorKapoor, K-
dc.contributor.authorKrause, P-
dc.contributor.authorLuettgen, G-
dc.contributor.authorSimons, AJH-
dc.contributor.authorVilkomir, S-
dc.contributor.authorWoodward, M-
dc.description.abstractFormal 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.extent602757 bytes-
dc.relation.ispartofseriesACM Computing Surveys;to appear-
dc.subjectsoftware testingen
dc.subjectformal methodsen
dc.titleUsing formal methods to support testingen
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
landscapes_final.pdf588.63 kBAdobe PDFView/Open

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