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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	The Journal of systems and software Ročník 86; číslo 3; s. 854 - 867
Hlavní autoři:	Liu, Yepang, Xu, Chang, Cheung, S.C.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Elsevier Inc 01.03.2013 Elsevier Sequoia S.A
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!