A Probabilistic Remark on Algebraic Program Testing.

Abstract

A key step in Howden's method for algebraic program testing requires checking the algebraic identity of multinomials. Howden's solution requires evaluations in at least 2 to the mth power points for m-ary multinomials. This note presents a probabilistic solution which achieves small probability of error on 30 points.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1977
Accession Number
ADA050745

Entities

People

  • Richard A. Demillo
  • Richard J. Lipton

Organizations

  • Georgia Tech

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programs
  • Computer Science
  • Computers
  • Instructions
  • Intervals
  • Military Research
  • Performance Tests
  • Polynomials
  • Probability
  • Reliability
  • Sampling
  • Test And Evaluation

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Linear Algebra
  • Statistical inference.