Richard A. Demillo
- A probabilistic remark on algebraic program testing
1978/06/01 by Richard A. DeMillo, Richard A. Demillo, Richard J. Lipton · 5 citations
Computer Science · Mathematics · #Algorithm #Combinatorics #Computational complexity theory #Computer science #Discrete mathematics #Generalization #Logic, programming, and type systems #Mathematics #Modular arithmetic #Modulo #Monomial #Multiplication (music) #Polynomial #Probabilistic analysis of algorithms #Probabilistic logic #Product (mathematics) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Time complexity