Fixture: a tool for automatic inconsistencies detection in Context-Aware SPL