Experiments in automated analysis of concurrent software systems
George S. Avrunin, Jack C. Wileden, L. Dillon · 1989
It is unlikely that any single approach to analysis of concurrent software systems will meet all the needs of software developers throughout the development process. Thus, experimental evaluation of different analysis techniques is needed to determine their relative strengths and practical limitations. Such evaluation requires automated tools implementing the analysis techniques.