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

Item Type: Article
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)
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: 10.1145/1459352.1459354
Open Archives Initiative ID (OAI ID):

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)