Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Experiments with Automated Constrained Expression Analysis of Concurrent Software Systems
 

Summary: Experiments with Automated Constrained Expression Analysis of
Concurrent Software Systems
George S. Avrunin* Laura K. Dillon+
Department of Mathematics and Statistics Department of Computer Science
University of Massachusetts, Amherst University of California, Santa Barbara
Jack C. Wileden**$
Department of Computer and Information Science
University of Massachusetts, Amherst
Abstract
It is unlikely that any single approach to analysis of concur-
rent software systems will meet all the needs of software de-
velopers throughout the development process. Thus, exper-
imental evaluation of different analysis techniques is needed
to determine their relative strengths and practical limita-
tions. Such evaluation requires automated tools implement-
ing the analysis techniques.
This paper describes a prototype toolset automating the
constrained expression approach to the analysis of concur-
rent software systems. The results of preliminary experi-
ments with the toolset are reported and the implications of

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics