Sudheendra Hangal and Monica Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Enhancing Software Reliability With Speculative Threads - And The Committee Self-citation (Lam) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, pages 291--301, May 2002.
Combining Statistical Monitoring and Predictable - Recovery For Self-Management (Correct)
No context found.
Sudheendra Hangal and Monica Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002.
Scalable Statistical Bug Isolation - Ben Liblit Computer (2005) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th International Conference on Software Engineering (ICSE-02), pages 291--301. ACM Press, 2002.
Joeq: A virtual machine and compiler infrastructure - Whaley (2005) (5 citations) (Correct)
No context found.
S. Hangal, M.S. Lam, Tracking down software bugs using automatic anomaly detection, in: Proceedings of the International Conference on Software Engineering, ICSE'02, May 2002.
Over Program Traces - Report No Ucb (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002.
AccMon: Automatically Detecting Memory-related.. - Zhou, Liu, Fei.. (2004) (2 citations) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002.
A Technique for Verifying Component-Based Software - Mariani, Pezze (2004) (2 citations) (Correct)
No context found.
Hangal, S. and M. S. Lam, Tracking down software bugs using automatic anomaly detection, in: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 291--301.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Hangal S, Lam MS (2002) Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th international conference on software engineering (ICSE'02), Orlando, FL, 22--24 May 2002, pp 291--301
Selecting, Refining, and Evaluating Predicates for Program.. - Dodoo, Lin, Ernst (2003) (Correct)
No context found.
Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE'02, Proceedings of the 24th International Conference on Software Engineering, pages 291--301, Orlando, Florida, May 22--24, 2002.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
No context found.
Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE'02, Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida, May 22-24, 2002.
Correlation Exploitation in Error Ranking - Kremenek, Ashcraft, Yang, Engler (2004) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering, May 2002.
Automatic Generation of Program Specifications - Nimmer, Ernst (2002) (4 citations) (Correct)
No context found.
Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, May 2002.
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (2 citations) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, pages 291--301, May 2002.
Efficient Specification-Assisted Error Localization - Brian Demsky Cristian (2004) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th International Conference on Software Engineering, pages 291--301, May 2002.
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (19 citations) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE 2000.
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering, May 2002.
Statistical Monitoring + Predictable Recovery = Self-* - Armando Fox And (Correct)
No context found.
Sudheendra Hangal and Monica Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002.
Distributed Program Sampling - Liblit, Aiken, Zheng (2003) (2 citations) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering [4], pages 291--301.
Efficient Specification-Assisted Error Localization - Demsky, Cadar, Roy, Rinard (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th International Conference on Software Engineering, pages 291--301, May 2002.
Finding and Preventing Run-Time Error Handling Mistakes - Westley Weimer George (2004) (4 citations) (Correct)
No context found.
Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering, May 2002.
Tool-Assisted Unit Test Selection Based on Operational Violations - Xie, Notkin (2003) (5 citations) (Correct)
No context found.
S. Hangal and M. S. Lam, "Tracking down software bugs using automatic anomaly detection", Proceedings of the International Conference on Software Engineering (ICSE), May 2002, pp. 291-301.
Finding and Preventing Run-Time Error Handling Mistakes - Weimer, Necula (2004) (4 citations) (Correct)
No context found.
Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering, May 2002.
Selecting Predicates for Implications in Program Analysis - Dodoo, Donovan, Lin, Ernst (2002) (6 citations) (Correct)
No context found.
Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, May 2002.
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In International Conference on Software Engineering, May 2002.
Automatic Debugging Using Potential Invariants - Pytlik (2003) (Correct)
No context found.
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. May 2002.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC