A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Algorithms for efficient symbolic detection of faults in context-aware applications
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
doi:10.1109/asew.2008.4686287
dblp:conf/kbse/SamaRRE08
fatcat:k4n7v33pdbab7atojn6uzsdkmy