![](/img/cover-not-exists.png)
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,Volume:
41
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/1459352.1459354
Date:
February, 2009
File:
PDF, 712 KB
english, 2009