Data flow analysis for checking properties of concurrent Java programs

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1999, Pages 399-410

  Naumovich, Gleb ^a   Avrunin, George S ^a   Clarke, Lori A ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; DATA FLOW ANALYSIS; FINITE AUTOMATA; GRAPH THEORY; ITERATIVE METHODS; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

CONCURRENCY; STATIC ANALYSIS;

SOFTWARE ENGINEERING;

EID: 0032643258     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/302405.302663     Document Type: Article

References (19)