Using formal specifications to support testing

ACM Computing Surveys 2009 / 02 Vol. 41; Iss. 2

Using formal specifications to support testing

Hierons, Robert M., Krause, Paul, Lüttgen, Gerald, Simons, Anthony J. H., Vilkomir, Sergiy, Woodward, Martin R., Zedan, Hussein, Bogdanov, Kirill, Bowen, Jonathan P., Cleaveland, Rance, Derrick, John,
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
41
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/1459352.1459354
Date:
February, 2009
File:
PDF, 712 KB
english, 2009
Conversion to is in progress
Conversion to is failed