Anomaly detection in concurrent Java programs using dynamic data flow analysis

Information and Software Technology

Volumn 43, Issue 15, 2001, Pages 973-981

  Saleh, Kassem ^a   Boujarwah, Abdel Aziz ^b   Al Dallal, Jehad ^b  

^a AMERICAN UNIVERSITY OF SHARJAH   (United Arab Emirates)

^b KUWAIT UNIVERSITY   (Kuwait)

Author keywords

Concurrency; Dynamic data flow analysis; Instrumentation; Software testing; Synchronization anomaly

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; CONCURRENCY CONTROL; DATA FLOW ANALYSIS; ERROR DETECTION; REAL TIME SYSTEMS; SYNCHRONIZATION;

SOFTWARE TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 0035941441     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(01)00199-9     Document Type: Article

References (15)

1. Detection of data flow anomaly through program instrumentation
2. DAVE - A validation error detection and documentation system for FORTRAN programs
3. COD - A dynamic data flow analysis system for Cobol
4. AIDA - A dynamic data flow anomaly detection system for Pascal programs
5. Dynamic data flow analysis - A tool for reliability
6. Dynamic data flow analysis of C programs
7. Dynamic data flow analysis for C++
8. Dynamic data flow analysis for Java programs
9. Tractable dataflow analysis for distributed systems
10. Anomaly detection in concurrent software by static data flow analysis
11. Java object model: Elements and application
12. An efficient algorithm for computing MHP information for concurrent Java programs