This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
ECC fixer 0.1 released
We have released ECC fixer 0.1. This is a preliminary release mainly served as supplementary material for paper Generating Range Fixes for Software Configuration.
ECC fixer is a research prototype showing how to use the new fix generation technique developed by our lab to fix configuration errors in eCos/CDL configuration. Given an eCos configuration file (.ecc file), this tool automatically reports all errors in the configuration, and propose a list of fixes for each error. Alternatively, the user can specify an option name, and the tool will try to give a list of fixes for activating the option.