Write a Blog >>
Thu 13 Jul 2017 14:30 - 15:00 at ESB 2003 - Modeling and Learning Chair(s): Alex Orso

Configuration files provide users with the ability to quickly alter the behavior of their software system. Ensuring that a configuration file does not induce errors in the software is a complex verification issue. The types of errors can be easy to measure, such as an initialization failure of system boot, or more insidious such as performance degrading over time under heavy network loads. In order to warn a user of potential configuration errors ahead of time, we propose using version space learning specifications for configuration languages. We frame an existing tool, ConfigC, in terms of version space learning. We extend that algorithm to leverage the temporal structuring available in training sets scraped from versioning control systems. We plan to evaluate our system on a case study using TravisCI configuration files collected from Github.

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Modeling and LearningDoctoral Symposium at ESB 2003
Chair(s): Alex Orso Georgia Institute of Technology
13:30
30m
Talk
Automatically Inferring and Enforcing User Expectations
Doctoral Symposium
A: Jenny Hotzkow Saarland University
14:00
30m
Talk
Understanding Intended Behavior Using Models of Low-level Signals
Doctoral Symposium
A: Deborah S. Katz Carnegie Mellon University
14:30
30m
Talk
Version Space Learning for Verification on Temporal Differentials
Doctoral Symposium