AFChecker: Effective model checking for context-aware adaptive applications

► We propose a novel approach to improving the effectiveness of the existing adaptation fault detection technique. ► Our approach automatically derives domain and environment models for rule-based context-aware adaptive applications. ► We leverage the constraints formulated from the derived models t...

Ausführliche Beschreibung