Using formal methods to support testing

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