A Formal Notion of Program Based Test Data Adequacy

Cover A Formal Notion of Program Based Test Data Adequacy
A Formal Notion of Program Based Test Data Adequacy
Martin Davis
The book A Formal Notion of Program Based Test Data Adequacy was written by author Here you can read free online of A Formal Notion of Program Based Test Data Adequacy book, rate and share your impressions in comments. If you don't know what to write, just answer the question: Why is A Formal Notion of Program Based Test Data Adequacy a good or bad book?
Where can I read A Formal Notion of Program Based Test Data Adequacy for free?
In our eReader you can find the full English version of the book. Read A Formal Notion of Program Based Test Data Adequacy Online - link to read the book on full screen. Our eReader also allows you to upload and read Pdf, Txt, ePub and fb2 books. In the Mini eReder on the page below you can quickly view all pages of the book - Read Book A Formal Notion of Program Based Test Data Adequacy
What reading level is A Formal Notion of Program Based Test Data Adequacy book?
To quickly assess the difficulty of the text, read a short excerpt:

J. Weyuker, "Pseudo-Oracles for Non-testable Programs", Proc. ACM National Conference, Los Angeles, November 1981.
[4] R. A. DeMillD, R. J. Lipton, and F. G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer", Computer, 11(4), April 1978, pp. 34-41.
[5] J. L. Elshoff and M. Marcotty, "On the Use of the Cycloraatic Number to Measure Program Complexity, " SIGPUN Notices, Vol. 13, No. 12, Dec 1978, pp. 29^0.
[6] W. J. Ffensen, "Measurement of Program Complexity by the Pair
... (Cyclomatic Number, Operator Count), " SIGPLAN Notices, Vol. 13, No. 3, March 1978, pp. 29-33.
[7] W. E. Howden, "Algebraic Program Testing, " Acta Informatica, Vol. 10, 1973, pp. 53-66.
[8] W. E. Howden, "Weak Mutation Testing and Completeness of Test Sets", IEEE Trans. Software Eng . , Vol. SE-8, July 1982, pp. 371-379.
[9] T. J. '-fcCabe, "A Complexity Measure, " IEEE Trans. So f twa re Eng. , Vol. SlE-2, No. 4, Dec 1976, op. 308-320.
-20- particularly error prone, namely boundary cases and special values.


What to read after A Formal Notion of Program Based Test Data Adequacy?
You can find similar books in the "Read Also" column, or choose other free books by Martin Davis to read online
MoreLess
10
Tokens
A Formal Notion of Program Based Test Data Adequacy
+Write review

User Reviews:

Write Review:

Guest

Guest