Using formal specifications to support testing.

Date

2009

Authors

Hierons, R. M.
Bogdanov, K.
Bowen, J. P.
Cleaveland, R.
Derrick, J.
Dick, J.
Gheorghe, M.
Harman, M.
Kapoor, K.
Krause, P.
Luttgen, G.
Simons, A. J. H.
Vilkomir, S.
Woodward, M. R.
Zedan, Hussein

Advisors

Journal Title

Journal ISSN

ISSN

0360-0300

DOI

https://doi.org/10.1145/1459352.1459354

Volume Title

Publisher

ACM

Type

Article

Peer reviewed

Yes

Abstract

Description

Keywords

Citation

Hierons, R.M. et al. (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2), pp. 9.1-9.76

URI

http://hdl.handle.net/2086/3631

Rights

Research Institute

Collections

School of Computer Science and Informatics