4.7 Article

Using formal specifications to support testing

Journal

ACM COMPUTING SURVEYS
Volume 41, Issue 2, Pages 1-76

Publisher

Association for Computing Machinery (ACM)
DOI: 10.1145/1459352.1459354

Keywords

-

Ask authors/readers for more resources

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.7
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available