{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:40:51Z","timestamp":1725878451497},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319520148"},{"type":"electronic","value":"9783319520155"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-52015-5_18","type":"book-chapter","created":{"date-parts":[[2017,1,12]],"date-time":"2017-01-12T03:51:57Z","timestamp":1484193117000},"page":"173-182","source":"Crossref","is-referenced-by-count":1,"title":["Bug Analysis of Android Applications Based on JPF"],"prefix":"10.1007","author":[{"given":"Libin","family":"Wu","sequence":"first","affiliation":[]},{"given":"Yahui","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Qi","sequence":"additional","affiliation":[]},{"given":"Shubin","family":"Cai","sequence":"additional","affiliation":[]},{"given":"Bo","family":"Deng","sequence":"additional","affiliation":[]},{"given":"Zhong","family":"Ming","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,13]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Jindal, A., Pathak, A., Hu, Y.C., Midkiff, S.: On death, taxes, and sleep disorder bugs in smartphones. In: Proceedings of the Workshop on Power-Aware Computing and Systems, pp. 1\u20135. ACM (2013)","DOI":"10.1145\/2525526.2525845"},{"issue":"12","key":"18_CR2","doi-asserted-by":"crossref","first-page":"3528","DOI":"10.1109\/TC.2015.2409857","volume":"64","author":"M Qiu","year":"2015","unstructured":"Qiu, M., Zhong, M., Li, J., Gai, K., Zong, Z.: Phase-change memory optimization for green cloud with genetic algorithm. IEEE Trans. Comput. 64(12), 3528\u20133540 (2015)","journal-title":"IEEE Trans. Comput."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Gai, K., Qiu, M., Zhao, H.: Cost-aware multimedia data allocation for heterogeneous memory using genetic algorithm in cloud computing. IEEE Trans. Cloud Comput. (2016)","DOI":"10.1109\/TCC.2016.2594172"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Pathak, A., et al.: What is keeping my phone awake? characterizing and detecting no-sleep energy bugs in smartphone apps. In: Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services. ACM (2012)","DOI":"10.1145\/2307636.2307661"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Pathak, A., Charlie Hu, Y., Zhang, M.: Bootstrapping energy debugging on smartphones: a first look at energy bugs in mobile devices. In: Proceedings of the 10th ACM Workshop on Hot Topics in Networks. ACM (2011)","DOI":"10.1145\/2070562.2070567"},{"key":"18_CR6","unstructured":"Gottschalk, M., et al.: Removing energy code smells with reengineering services. In: Beitragsband der 42. Jahrestagung der Gesellschaft f\u00fcr Informatik e.v, pp. 441\u2013455 (2012)"},{"key":"18_CR7","unstructured":"Liu, Y., Xu, C., Cheung, S.C.: Where has my battery gone? finding sensor related energy black holes in smartphone applications. In: proceedings of IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE (2013)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Zhang, L., et al.: Adel: an automatic detector of energy leaks for smartphone applications. In: Proceedings of the Eighth IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis. ACM (2012)","DOI":"10.1145\/2380445.2380503"},{"key":"18_CR9","unstructured":"Enck, W., et al.: TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In: OSDI, vol. 10 (2010)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Jindal, A., et al.: Hypnos: understanding and treating sleep conflicts in smartphones. In: Proceedings of the 8th ACM European Conference on Computer Systems. ACM (2013)","DOI":"10.1145\/2465351.2465377"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Cai, S., Sun, H., Gu, S., Ming, Z.: Learning concept hierarchy from folksonomy. In: Proceedings of Eighth Web Information Systems, Applications Conference, pp. 47\u201351. IEEE Computer Society (2011)","DOI":"10.1109\/WISA.2011.16"},{"issue":"4","key":"18_CR12","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking java programs using java pathfinder. Int. J. Softw. Tools Technol. Transf. 2(4), 366\u2013381 (2000)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"18_CR13","unstructured":"Vekris, P., et al.: Towards verifying android apps for the absence of no-sleep energy bugs. In: Proceedings of the 2012 USENIX Conference on Power-Aware Computing and Systems. USENIX Association (2012)"},{"issue":"6","key":"18_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2382756.2382797","volume":"37","author":"H Merwe van der","year":"2012","unstructured":"van der Merwe, H., van der Merwe, B., Visser, W.: Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 37(6), 1\u20135 (2012)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"}],"container-title":["Lecture Notes in Computer Science","Smart Computing and Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52015-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T12:22:07Z","timestamp":1568722927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52015-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319520148","9783319520155"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52015-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}