What do you think?
Rate this book
A Formal Notion of Program-Based Test Data Adequacy: October, 1982
Excerpt from A Formal Notion of Program-Based Test Data Adequacy
We now define our programming language. Although most of the results of the paper are not really dependent on the particular details of this language, it is necessary to have an explicit syntax.
We now define our programming language. Although most of the results of the paper are not really dependent on the particular details of this language, it is necessary to have an explicit syntax.
51 pages, Paperback
First published July 28, 2015
About the author
Martin D. Davis
19 books13 followersMartin David Davis (born 1928) is Professor Emeritus at New York University's Computer Science Department.
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.