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...

Full description

Saved in:

Bibliographic Details
Published in:	The Journal of systems and software Vol. 86; no. 3; pp. 854 - 867
Main Authors:	Liu, Yepang, Xu, Chang, Cheung, S.C.
Format:	Journal Article
Language:	English
Published:	New York Elsevier Inc 01.03.2013 Elsevier Sequoia S.A
Subjects:	Adaptability Adaptation Adaptation fault Changing environments Computer programs Construction Customization Deterministic constraint Dynamical systems Dynamics False positive Fault diagnosis Fault ranking Faults Mathematical models Probabilistic constraint Running Software engineering Studies Fault ranking Probabilistic constraint Deterministic constraint False positive Adaptation fault
ISSN:	0164-1212, 1873-1228
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!