The Ada Compiler Validation Capability
Author:
Goodenough John B.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrated language definition testing;ACM SIGPLAN Notices;2011-10-18
2. Testing Grammars For Top-Down Parsers;Innovations and Advances in Computer Sciences and Engineering;2009-12-28
3. Ada—the project;ACM SIGPLAN Notices;1993-03
4. Ada compiler validation: An example of software testing theory and practice;Lecture Notes in Computer Science;1987
5. Experimental testing of transport protocol;ACM SIGCOMM Computer Communication Review;1986-08-15