Detecting software errors before execution

Authors:
Paul Richard Eggert
Affiliations:
-
Venue:
Detecting software errors before execution
Year:
1980

Citing 0
Cited 3

Saving traces for Ada debugging

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
On the requirements for the use of a program design language: parameterization, abstract data typing, strong typing

ACM SIGAda Ada Letters
Extending Typestate Checking Using Conditional Liveness Analysis

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract