Quickly detecting relevant program invariants
Proceedings of the 22nd international conference on Software engineering
Tracking down software bugs using automatic anomaly detection
Proceedings of the 24th International Conference on Software Engineering
Semantic anomaly detection in online data sources
Proceedings of the 24th International Conference on Software Engineering
Dynamically discovering likely program invariants
Dynamically discovering likely program invariants
STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support
LISA '03 Proceedings of the 17th USENIX conference on System administration
Discovering Correctness Constraints for Self-Management of System Configuration
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Configuration debugging as search: finding the needle in the haystack
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Automatic misconfiguration troubleshooting with peerpressure
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
CloRExPa: Cloud resilience via execution path analysis
Future Generation Computer Systems
| Hi-index | 0.00 |
In software engineering, an invariant is a set of properties describing the value of a program variable. Dynamic invariant detection has been used to debug software errors. In this position paper, we propose to dynamically construct invariants for configuration settings, and to detect violations to configuration invariants for misconfiguration diagnosis. We also propose to use task-based suspect ranking to identify suspicious configuration changes made by less trustable programs to improve the diagnosis process. We describe our design of a misconfiguration diagnosis system based on dynamic configuration invariant detection and suspect ranking with task-related information.