Methodology for the Generation of Program Test Data

Authors:
W. E. Howden
Affiliations:
Computer Science Division, Department of Applied Physics and Information Science, University of California
Venue:
IEEE Transactions on Computers
Year:
1975

Citing 1
Cited 13

An Assessment of Techniques for Proving Program Correctness

ACM Computing Surveys (CSUR)

Program Segmentation for Controlling Test Coverage

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Teaching Automated Test Case Generation

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Fault-Tolerant Computing: An Introduction and a Perspective

IEEE Transactions on Computers
Model Driven Testing Based on Test History

Transactions on Petri Nets and Other Models of Concurrency I
Scalability issues with using FSMWeb to test web applications

Information and Software Technology
Applying Test Case Metrics in a Tool Supported Iterative Architecture and Code Improvement Process

IWSM '09 /Mensura '09 Proceedings of the International Conferences on Software Process and Product Measurement
Coverage criteria for state based specifications

Formal methods and testing
Behavioral test generation using mixed integer non-linear programming

ITC'94 Proceedings of the 1994 international conference on Test
Practical elimination of external interaction vulnerabilities in web applications

Journal of Web Engineering
Test adequacy criterion based on coincidental correctness probability

Proceedings of the Second Asia-Pacific Symposium on Internetware
Symbolic and on the fly testing with real-time observers

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Software development for reliable software systems

Journal of Systems and Software
Automatic exploit generation

Communications of the ACM

Quantified Score

Hi-index	15.00

Visualization

Abstract

A methodology for generating program test data is described. The methodology is a model of the test data generation process and can be used to characterize the basic problems of test data generation. It is well defined and can be used to build an automatic test data generation system.