Testing concurrent programs: a formal evaluation of coverage criteria

Authors:
M. Factor;E. Farchi;Y. Lichtenstein;Y. Malka
Affiliations:
-;-;-;-
Venue:
ICCSSE '96 Proceedings of the 7th Israeli Conference on Computer-Based Systems and Software Engineering
Year:
1996

Citing 0
Cited 4

Applications of synchronization coverage

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
A study of interleaving coverage criteria

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A study of interleaving coverage criteria

The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Location pairs: a test coverage metric for shared-memory concurrent programs

Empirical Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The study proposes a combination of the function points model for software estimation with the ADISSA methodology for systems analysis and design. This combined approach, which is supported by a software tool, enables one to estimate various software ...