Discovering correctness constraints for self-management of system configuration

Proceedings - International Conference on Autonomic Computing

Volumn , Issue , 2004, Pages 28-35

  Kiciman, Emre ^a   Wang, Yi Min ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC MONITORS; CORRUPTED DATA; OPERATING SYSTEM CONFIGURATION; SYSTEM CONFIGURATION;

AUTOMATION; COMPUTER MONITORS; COMPUTER PROGRAM LISTINGS; COMPUTER SOFTWARE; CONSTRAINT THEORY; ENCODING (SYMBOLS); ERROR DETECTION; INTRANETS; LEARNING SYSTEMS; PROBLEM SOLVING; SYSTEMS ANALYSIS; WIDE AREA NETWORKS;

COMPUTER SYSTEMS;

EID: 4544285430     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICAC.2004.1301344     Document Type: Conference Paper

References (10)

1. N. Brownlee, K. Claffy, and E. Nemeth. DNS Measurements at a Root Server. In Sixth Global Internet Symposium, San Antonio, TX, November 2001.
2. M. Y. Chen, E. Kiciman, A. Accardi, A. Fox, and E. Brewer. Using runtime paths for macro analysis. In 9th Workshop on Hot Topics in Operating Systems, Kauai, HI, 2002.
3. B. Demsky and M. Rinard. Automatic Detection and Repair of Errors in Data Structures. In Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Anaheim, CA, 2003.
4. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Symposium on Operating Systems Principles, 2001.
5. A. Ganapathi, Y.-M. Wang, N. Lao, and J.-R. Wen. Why PCs Are Fragile and What We Can Do About It: A Study of Windows Registry Problems. In Proceedings of the International Conference on Dependable Systems and Networks '04), Florence, Italy, June 2004.
6. T. Hastie, R. Tibshirani, and J. Friedman. The Elements of Statistical Learning. Springer-Verlag, 2001.
7. A. K. Jain and R. C. Dubes. Algorithms for Clustering Data. Prentice-Hall, 1988.
8. R. Mahajan, D. Wetherall, and T. Anderson. Understanding BGP Misconfiguration. In Conference of the Special Interest Group on Data Communication (SIGCOMM), Pittsburg, PA, August 2002.
9. D. Oppenheimer, A. Ganapathi, and D. Patterson. Why do Internet services fail, and what can be done about it? In 4th USENIX Symposium on Internet Technologies and Systems (USITS '03), 2003.
10. Y.-M. Wang, C. Verbowski, J. Dunagan, Y. Chen, Y. Chun, and Z. Zhang. STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support. In Proceedings of Usenix LISA, 2003.