An Approach to Program Testing-Reference-Cited by-同舟云学术

An Approach to Program Testing

Published:1975-09 Issue:3 Volume:7 Page:113-128
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Huang J. C.¹

Affiliation:

1. Department of Computer Science, University of Houston, Houston, Texas

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Reference18 articles.

1. An Assessment of Techniques for Proving Program Correctness

2. DAHL O.-J. ET AL Structured programming Academic Press London and New York 1972. DAHL O.-J. ET AL Structured programming Academic Press London and New York 1972.

3. HARXRY F. Graph theory Addison-Wesley Reading Mass. 1969. HARXRY F. Graph theory Addison-Wesley Reading Mass. 1969.

4. KRAUSE K. W. Ew AL. "Optimal software test planmng through automated network analysis " Proc 1973 IEEE Symposium on Computer Software Relzab~lzty New York April-May 1973. KRAUSE K. W. Ew AL. "Optimal software test planmng through automated network analysis " Proc 1973 IEEE Symposium on Computer Software Relzab~lzty New York April-May 1973.

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

1. A Method for Modeling and Testing Near-Real-Time System Scenarios;Applied Sciences;2024-02-29

2. Optimal Solutions for Variants of Graph Coverage-Related Problems in Software Test Design;2024

3. Towards resilience in Industry 5.0: A decentralized autonomous manufacturing paradigm;Journal of Manufacturing Systems;2023-12

4. Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs;2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2022-04

5. Automatic Test Data Generation Using Genetic Algorithm for Python Programs;2022 2nd International Conference on Computing and Information Technology (ICCIT);2022-01-25