A probabilistic remark on algebraic program testing-Reference-Cited by-同舟云学术

A probabilistic remark on algebraic program testing

Published:1978-06 Issue:4 Volume:7 Page:193-195
ISSN:0020-0190
Container-title:Information Processing Letters
language:en
Short-container-title:Information Processing Letters

Author:

Demillo Richard A.,Lipton Richard J.

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science

Reference7 articles.

1. Mathematical Theory of Computation;Manna,1974

2. Testing for software reliability;Brown;Intern. Conf. in Reliable Software,1975

3. The testing of computer software;Llewelyn;Conf. on Software Engineering,1969

4. R.A. DeMillo, R.J. Lipton, A.J. Perlis, Social processes and proofs of theorems and programs, Fourth ACM Symposium in Principles of Programming Languages (to appear in CACM).

5. Algebraic program testing;Howden,1976

Cited by 266 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Symbolic matrix factorization for differential-algebraic equations index reduction;Journal of Computational and Applied Mathematics;2024-10

2. Hitting Sets for Orbits of Circuit Classes and Polynomial Families;ACM Transactions on Computation Theory;2024-09-10

3. On the Information Theoretic Secure Aggregation With Uncoded Groupwise Keys;IEEE Transactions on Information Theory;2024-09

4. Optimal RS Codes and GRS Codes Against Adversarial Insertions and Deletions and Optimal Constructions;IEEE Transactions on Information Theory;2024-09

5. Pauli Flow on Open Graphs with Unknown Measurement Labels;Electronic Proceedings in Theoretical Computer Science;2024-08-12