Using formal specifications to support testing

doi:10.1145/1459352.1459354

Using formal specifications to support testing

Full Text:

PDF

Buy this Article

Authors:	Robert M. Hierons	Brunel University, Middlesex, U.K.
	Kirill Bogdanov	University of Sheffield, Sheffield, U.K.
	Jonathan P. Bowen	King's College London, London, U.K.
	Rance Cleaveland	University of Maryland, College Park, MD
	John Derrick	University of Sheffield, Sheffield, U.K.
	Jeremy Dick	integrate systems engineering ltd., Bath, U.K.
	Marian Gheorghe	University of Sheffield, Sheffield, U.K.
	Mark Harman	King's College London, London, U.K.
	Kalpesh Kapoor	Indian Institute of Technology Guwahati, Guwahati, India
	Paul Krause	University of Surrey, Surrey, U.K.
	Gerald Lüttgen	University of York, York, U.K.
	Anthony J. H. Simons	University of Sheffield, Sheffield, U.K.
	Sergiy Vilkomir	University of Tennessee, Greenville, NC
	Martin R. Woodward	(Deceased)
	Hussein Zedan	De Montfort University, Leicester, U.K.

	2009 Article Research Refereed
Bibliometrics
· Downloads (6 Weeks): 52 · Downloads (12 Months): 535 · Downloads (cumulative): 4,379 · Citation Count: 41

Published in:

	· Journal
	ACM Computing Surveys (CSUR) Surveys Homepage archive
	Volume 41 Issue 2, February 2009 Article No. 9 ACM New York, NY, USA table of contents doi>10.1145/1459352.1459354

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Tags: design tools and techniques formal methods reliability software testing software/program verification testing and debugging verification

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player