Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleMay 1996
Issues in the full scale use of formal methods for automated testing
ISSTA '96: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysisMay 1996, Pages 71–78https://doi.org/10.1145/229000.226303Experience from a full scale effort to apply formal methods to automated testing in the open systems software arena is described. The formal method applied in this work is based upon the Clemson Automated Testing System (CATS) which includes a formal ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 21 Issue 3, May 1996 - ArticleApril 1996
A formal approach to requirements based testing in open systems standards
ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)April 1996, Page 94Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language ...
- articleMarch 1994
- ArticleOctober 1993