Experiments in automated analysis of concurrent software systems

Authors:
G. Avrunin;J. Wileden;L. Dillon
Affiliations:
Department of Mathematics and Statistics, University of Massachusetts, Amherst;Department of Computer and Information Science, University of Massachusetts, Amherst;Department of Computer Science, University of California, Santa Barbara
Venue:
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Year:
1989

Citing 10
Cited 6

Describing and analyzing distributed software system designs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems

IEEE Transactions on Software Engineering
Constrained expressions: toward broad applicability of analysis methods for distributed software systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations for the Arcadia environment architecture

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Synchronization of communicating processes

Communications of the ACM
FORTRAN Codes for Mathematical Programming: Linear, Quadratic and Discrete

FORTRAN Codes for Mathematical Programming: Linear, Quadratic and Discrete
The specification of process synchronization by path expressions

Operating Systems, Proceedings of an International Symposium
Experiments in Constrained Expression Analysis

Experiments in Constrained Expression Analysis
Constrained Expression Analysis of Real-Time Systems

Constrained Expression Analysis of Real-Time Systems
Analysis of distributed systems using constrained expressions (concurrent systems)

Analysis of distributed systems using constrained expressions (concurrent systems)

Specification level interoperability

ICSE '90 Proceedings of the 12th international conference on Software engineering
Specification-level interoperability

Communications of the ACM - Special issue on software engineering
Data flow analysis of concurrent systems that use the rendezvous model of synchronization

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Experiments with an improved constrained expression toolset

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset

IEEE Transactions on Software Engineering
Functional vector generation for HDL models using linear programming and 3-satisfiability

DAC '98 Proceedings of the 35th annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.This paper describes a prototype toolset automating the constrained expression approach to the analysis of concurrent software systems. The results of preliminary experiments with the toolset are reported and the implications of these experiments are discussed.