Thumbnail
Access Restriction
Subscribed

Author Hierons, Robert M. ♦ Bogdanov, Kirill ♦ Bowen, Jonathan P. ♦ Cleaveland, Rance ♦ Derrick, John ♦ Dick, Jeremy ♦ Gheorghe, Marian ♦ Harman, Mark ♦ Kapoor, Kalpesh ♦ Krause, Paul ♦ Lttgen, Gerald ♦ Simons, Anthony J H ♦ Vilkomir, Sergiy ♦ Woodward, Martin R. ♦ Zedan, Hussein
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Copyright Year ©2009
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Software testing ♦ Formal methods
Abstract Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing.
ISSN 03600300
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2009-02-01
Publisher Place New York
e-ISSN 15577341
Journal ACM Computing Surveys (CSUR)
Volume Number 41
Issue Number 2
Page Count 76
Starting Page 1
Ending Page 76


Open content in new tab

   Open content in new tab
Source: ACM Digital Library