Algorithms for efficient symbolic detection of faults in context-aware applications

Michele Sama, Franco Raimondi, David Rosenblum, Wolfgang Emmerich
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops  
Context-aware and adaptive applications running on mobile devices pose new challenges for the verification community. Current verification techniques are tailored for different domains (mostly hardware) and the kind of faults that are typical of applications running on mobile devices are difficult (or impossible) to encode using the patterns of "traditional" verification domains [9] . In this paper we present how techniques similar to the ones used in symbolic model checking can be applied to
more » ... e verification of context-aware and adaptive applications. More in detail, we show how a model of a context-aware application can be encoded by means of Ordered Binary Decision Diagrams and we introduce symbolic algorithms for the verification of a number of properties.
doi:10.1109/asew.2008.4686287 dblp:conf/kbse/SamaRRE08 fatcat:k4n7v33pdbab7atojn6uzsdkmy