Specification-based testing of concurrent programs

Authors:
Richard H. Carver
Affiliations:
George Mason University
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2000

Citing 2
Cited 0

Testing abstract distributed programs and their implementations: a constraint-based approach

Journal of Systems and Software - Special issue on software engineering for distributed computing
Incremental Integration Testing of Concurrent Programs

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract