Browsing by Subject "1977 Dissertation L962"

Now showing items 1-1 of 1

    • Adaptive random data generation for computer solfware testing 
      Lundstrom, Stephen Frank (Texas A&M University. Libraries, 1977)
      Although proof of correctness techniques are intellectually acceptable for validation of computer software, they are often not practical. Therefore, program testing techniques are important methods for gaining confidence ...