9 Using Formal Specifications to Support Testing

Hierons Robert M; Kapoor Kalpesh; Bogdanov Kirill; Krause Paul; Bowen Jonathan P; Uttgen Gerald L ¨; Cleaveland Rance; Simons Anthony J H; Derrick John; Vilkomir Sergiy; Dick Jeremy; Woodward Martin R; Gheorghe Marian; Harman Mark; Zedan Hussein; Bogdanov K; Derrick J; Gheorghe M; Simons A J H; Bowen J P; Harman M; Hierons R M; Bogdanov K; Bowen J P; Cleaveland R; Derrick J; Dick; Gheorghe J; M; Harman; Kapoor M; Krause K; P; Uttgen L ¨; Simons G; H A J; Woodward S; R M; Zedan; H

DSpace Home
→
Ingenierías y Ciencias de la Computación
→
*Ingenierías y Ciencias de la Computación (Proyecto VLIR)
→
Documentos II
→
View Item

dc.contributor.author	Hierons Robert M
dc.contributor.author	Kapoor Kalpesh
dc.contributor.author	Bogdanov Kirill
dc.contributor.author	Krause Paul
dc.contributor.author	Bowen Jonathan P
dc.contributor.author	Uttgen Gerald L ¨
dc.contributor.author	Cleaveland Rance
dc.contributor.author	Simons Anthony J H
dc.contributor.author	Derrick John
dc.contributor.author	Vilkomir Sergiy
dc.contributor.author	Dick Jeremy
dc.contributor.author	Woodward Martin R
dc.contributor.author	Gheorghe Marian
dc.contributor.author	Harman Mark
dc.contributor.author	Zedan Hussein
dc.contributor.author	Bogdanov K
dc.contributor.author	Derrick J
dc.contributor.author	Gheorghe M
dc.contributor.author	Simons A J H
dc.contributor.author	Bowen J P
dc.contributor.author	Harman M
dc.contributor.author	Hierons R M
dc.contributor.author	Bogdanov K
dc.contributor.author	Bowen J P
dc.contributor.author	Cleaveland R
dc.contributor.author	Derrick J
dc.contributor.author	Dick
dc.contributor.author	Gheorghe J
dc.contributor.author	M
dc.contributor.author	Harman
dc.contributor.author	Kapoor M
dc.contributor.author	Krause K
dc.contributor.author	P
dc.contributor.author	Uttgen L ¨
dc.contributor.author	Simons G
dc.contributor.author	H A J
dc.contributor.author	Woodward S
dc.contributor.author	R M
dc.contributor.author	Zedan
dc.contributor.author	H
dc.date.accessioned	2018-02-05T14:34:08Z
dc.date.available	2018-02-05T14:34:08Z
dc.date.issued	2009
dc.identifier.uri	http://hdl.handle.net/123456789/7132
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.
dc.format	application/pdf
dc.language.iso	English
dc.title	9 Using Formal Specifications to Support Testing
dc.type	journal-article
dc.source.volume	41
dc.source.issue	2 9
dc.source.journal	ACM Computing Surveys ACM Comput. Surv