Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification

Authors:
Richard A. Kemmerer
Affiliations:
-
Venue:
SIGSOFT'89 3rd Workshop on Software Testing Verification & Analysis
Year:
1989

Citing 0
Cited 2

Oracles for checking temporal properties of concurrent systems

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Continuous self-evaluation for the self-improvement of software

IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software

Quantified Score

Hi-index	0.00

Visualization

Abstract