Runtime Verification of Expected Energy Consumption in Smartphones-Reference-Cited by-同舟云学术

Runtime Verification of Expected Energy Consumption in Smartphones

Published:2015 Issue: Volume: Page:132-149
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Espada Ana Rosario,del Mar Gallardo María,Salmerón Alberto,Merino Pedro

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-23404-5_10

Reference23 articles.

1. Adalid, D., Salmerón, A., Gallardo, M.M., Merino, P.: Using spin for automated debugging of infinite executions of java programs. J. Syst. Softw. 90, 61–75 (2014)

2. Android Open Source Project: logcat. http://developer.android.com/tools/help/logcat.html

3. Android Open Source Project: UIAutomatorViewer. http://developer.android.com/training/testing/ui-testing/index.html

4. Baums, A., Zaznova, N.: Power optimization of embedded real-time systems and their adaptability. Autom. Control Comput. Sci. 42(3), 153–162 (2008). http://dx.doi.org/10.3103/S0146411608030073

5. Chandra, R., Fatemieh, O., Moinzadeh, P., Thekkath, C.A., Xie, Y.: End-to-end energy management of mobile devices. Technical report MSR-TR-2013-69, Microsoft, July 2013. http://research.microsoft.com/apps/pubs/default.aspx?id=198163

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A systematic review on techniques and approaches to estimate mobile software energy consumption;Sustainable Computing: Informatics and Systems;2024-01

2. A formal approach to automatically analyse extra‐functional properties in mobile applications;Software Testing, Verification and Reliability;2019-06

3. Automated Testing of Android Apps: A Systematic Literature Review;IEEE Transactions on Reliability;2019-03

4. Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management;Software Engineering and Formal Methods;2019

5. Detecting energy bugs and hotspots in control software using model checking;Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming;2018-04-09