Validating programs without specifications

Authors:
W. Howden
Affiliations:
University of California at. San Diego
Venue:
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Year:
1989

Citing 8
Cited 1

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems

IEEE Transactions on Software Engineering
Functional program testing and analysis

Functional program testing and analysis
A Formal Evaluation of Data Flow Path Selection Criteria

IEEE Transactions on Software Engineering
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation

IEEE Transactions on Software Engineering
Toward a theory of test data selection

Proceedings of the international conference on Reliable software
Sensitive test data for logic expressions

ACM SIGSOFT Software Engineering Notes

Interprocedural static analysis of sequencing constraints

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work was supported by the Office of Naval Research and the Naval Weapons Center