Using formal specifications to support testing.

De Montfort University Open Research Archive

Show simple item record

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, J.
dc.contributor.author Gheorghe, M.
dc.contributor.author Harman, M.
dc.contributor.author Kapoor, K.
dc.contributor.author Krause, P.
dc.contributor.author Luttgen, G.
dc.contributor.author Simons, A. J. H.
dc.contributor.author Vilkomir, S.
dc.contributor.author Woodward, M. R.
dc.contributor.author Zedan, Hussein
dc.date.accessioned 2010-03-30T13:19:00Z
dc.date.available 2010-03-30T13:19:00Z
dc.date.issued 2009
dc.identifier.citation Hierons, R.M. et al. (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2), pp. 9.1-9.76 en
dc.identifier.issn 0360-0300
dc.identifier.uri http://hdl.handle.net/2086/3631
dc.language.iso en en
dc.publisher ACM en
dc.title Using formal specifications to support testing. en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1145/1459352.1459354
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en
dc.ref2014.selected 1367395509_9510680007617_11_2


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record