Algorithms for efficient symbolic detection of faults in context-aware applications.
Book chapter
Sama, M., Raimondi, F., Rosenblum, D. and Emmerich, W. 2008. Algorithms for efficient symbolic detection of faults in context-aware applications. in: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers. pp. 1-8
Chapter title | Algorithms for efficient symbolic detection of faults in context-aware applications. |
---|---|
Authors | Sama, M., Raimondi, F., Rosenblum, D. and Emmerich, W. |
Abstract | 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 ldquotraditionalrdquo verification domains. In this paper we present how techniques similar to the ones used in symbolic model checking can be applied to the 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. |
Research Group | Foundations of Computing group |
SensoLab group | |
Artificial Intelligence group | |
Research Group on Development of Intelligent Environments | |
Page range | 1-8 |
Book title | Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. |
Publisher | Institute of Electrical and Electronics Engineers |
ISBN | |
Hardcover | 9781424427765 |
Publication dates | |
2008 | |
Publication process dates | |
Deposited | 29 Apr 2010 |
Output status | Published |
Web address (URL) | http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4686287 |
Digital Object Identifier (DOI) | https://doi.org/10.1109/ASEW.2008.4686287 |
Language | English |
File |
https://repository.mdx.ac.uk/item/829v8
Download files
37
total views8
total downloads0
views this month0
downloads this month