Tracking down software bugs using automatic anomaly detection

Proceedings-International Conference on Software Engineering

Volumn , Issue , 2002, Pages 291-301

  Hangal, Sudheendra ^a   Lam, Monica S ^b  

^a SUN MICROSYSTEMS   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; ERROR CORRECTION; ERROR DETECTION; JAVA PROGRAMMING LANGUAGE; LARGE SCALE SYSTEMS; PROGRAM DIAGNOSTICS;

JAVA SECURE SOCKET EXTENSION; SOFTWARE BUGS; SOFTWARE PACKAGE DIDUCE;

PROGRAM DEBUGGING;

EID: 0036038345     PISSN: 02705257     EISSN: None     Source Type: Journal    
DOI: 10.1145/581339.581377     Document Type: Article

References (19)

1. The concept of dynamic analysis
2. A static analyzer for finding dynamic programming errors
3. Enforcing high level protocols in low level software
4. Extended static checking
5. Checking system rules using system-specific, programmer-written compiler extensions
6. Bugs as deviant behavior: A general approach to inferring errors in system code
7. Dynamically discovering likely program invariants to support program evolution
8. Purify: Fast detection of memory leaks and access errors
9. An investigation of the therac-25 accidents
10. Static verification of dynamically detected program invariants: Integrating daikon and ESC/Java
11. Lackwit: A program understanding tool based on type inference
12. The use of program profiling for software maintenance with applications to the year 2000 problem
13. Eraser: A dynamic data race detector for multithreaded programs
14. The MAJC architecture: A synthesis of parallelism and scalability