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

Abstract

Metadata

Authors/Creators:
  • 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
Dates:
  • 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: http://dx.doi.org/10.1145/1459352.1459354
Status: Published
Publisher: American Association for Computing Machinery
Refereed: No
Identification Number: https://doi.org/10.1145/1459352.1459354

Export

Statistics