Using formal specifications to support testing

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300



  • 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, H.
Copyright, Publisher and Additional Information: © 2009 ACM. This is an author produced version of a paper subsequently published in ACM Computing Surveys. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Reliability; Verification; Software testing; formal methods
  • Published: 2009
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 May 2014 13:38
Last Modified: 02 Aug 2017 22:20
Published Version:
Status: Published
Publisher: American Association for Computing Machinery
Refereed: No
Identification Number:

Share / Export