{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:53:32Z","timestamp":1742385212194,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/asew.2008.4686287","type":"proceedings-article","created":{"date-parts":[[2008,12,1]],"date-time":"2008-12-01T16:32:34Z","timestamp":1228149154000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Algorithms for efficient symbolic detection of faults in context-aware applications"],"prefix":"10.1109","author":[{"given":"Michele","family":"Sama","sequence":"first","affiliation":[]},{"given":"Franco","family":"Raimondi","sequence":"additional","affiliation":[]},{"given":"David","family":"Rosenblum","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Emmerich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160660"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","article-title":"prism: probabilistic symbolic model checker","author":"kwiatkowska","year":"2002","journal-title":"Computer Performance Evaluation \/ TOOLS"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/276404.276409"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.508311"},{"year":"0","key":"11"},{"key":"12","first-page":"2656","article-title":"a middleware for building context-aware mobile services","author":"gu","year":"2004","journal-title":"Proc IEEE Vehicular Technology Conference"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181805"},{"key":"22","first-page":"143","article-title":"a middleware for context-aware agents in ubiquitous computing environments","author":"ranganathan","year":"2003","journal-title":"Proc ACM\/IFIP\/USENIX International Middleware Conference"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258079"},{"journal-title":"ContextNotifier","year":"0","author":"sarna","key":"24"},{"key":"25","article-title":"multilayer faults in the architectures of mobile, context-aware adaptive applications: a position paper (short paper)","author":"sarna","year":"2008","journal-title":"Proc ICSE 2008 International Workshop on Software Architectures and Mobility"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/WMCSA.1994.16"},{"year":"0","key":"27"},{"year":"0","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.18"},{"key":"3","first-page":"411","article-title":"applications of rule-base coverage measures to expert system evaluation","author":"barr","year":"1997","journal-title":"Proc National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"10","first-page":"304","article-title":"cass - middleware for mobile context-aware applications","author":"fahy","year":"2004","journal-title":"Workshop on Context Awareness MobiSys"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.21236\/ADA288583","article-title":"efficient generation of counterexamples and witnesses in symbolic model checking","author":"clarke","year":"1994"},{"key":"6","first-page":"359","article-title":"nusmv2: an open-source tool for symbolic model checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237173"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"8"}],"event":{"name":"2008 23rd IEEE\/ACM International Conference on Automated Software Engineering - Workshops","start":{"date-parts":[[2008,9,15]]},"location":"L'Aquila, Italy","end":{"date-parts":[[2008,9,16]]}},"container-title":["2008 23rd IEEE\/ACM International Conference on Automated Software Engineering - Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4674379\/4686280\/04686287.pdf?arnumber=4686287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T18:08:53Z","timestamp":1557943733000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4686287\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/asew.2008.4686287","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}