{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:50:03Z","timestamp":1742943003147,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244841"},{"type":"electronic","value":"9783642244858"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_35","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"480-489","source":"Crossref","is-referenced-by-count":4,"title":["Vision Paper: Towards Model-Based Energy Testing"],"prefix":"10.1007","author":[{"given":"Claas","family":"Wilke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"G\u00f6tz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Reimann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Gartner, Inc.: Gartner Estimates ICT Industry Accounts for 2 Percent of Global CO2 Emissions. Gartner Press Release (April 2007)","key":"35_CR1"},{"unstructured":"The Climate Group: SMART 2020: Enabling the low carbon economy in the information age. Report on behalf of the Global eSustainability Initiative (GeSI) (2008)","key":"35_CR2"},{"unstructured":"Intel Corporation, Microsoft Corporation: Advanced Power Management (APM) BIOS Interface Specification. Revision 1.2 (February 1996)","key":"35_CR3"},{"unstructured":"Hewlett-Packard, Intel, Microsoft, Phoenix Technologies, Toshiba: Advanced Configuration and Power Interface Specification, Revision 4.0a (2010)","key":"35_CR4"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/1322263.1322277","volume-title":"Proceedings of the 5th International Conference on Embedded Networked Sensor Systems","author":"A. Lachenmann","year":"2007","unstructured":"Lachenmann, A., Marr\u00f3n, P., Minder, D., Rothermel, K.: Meeting lifetime goals with energy levels. In: Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, pp. 131\u2013144. ACM, New York (2007)"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-73230-3_7","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"W.K. Chan","year":"2007","unstructured":"Chan, W.K., Chen, T.Y., Cheung, S.C., Tse, T.H., Zhang, Z.: Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 84\u201399. Springer, Heidelberg (2007)"},{"unstructured":"Woehrle, M., Beutel, J., Lim, R., Yuecel, M., Thiele, L.: Power monitoring and testing in wireless sensor network development. In: Workshop on Energy in Wireless Sensor Networks (WEWSN), Citeseer (2008)","key":"35_CR7"},{"key":"35_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/11682127_22","volume-title":"Architecture of Computing Systems - ARCS 2006","author":"S. Lafond","year":"2006","unstructured":"Lafond, S., Lilius, J.: An Energy Consumption Model for an Embedded Java Virtual Machine. In: Grass, W., Sick, B., Waldschmidt, K. (eds.) ARCS 2006. LNCS, vol.\u00a03894, pp. 311\u2013325. Springer, Heidelberg (2006)"},{"key":"35_CR9","volume-title":"Proceedings of the 22nd IEEE\/ACM Intl. Conference on Automated Software Engineering","author":"C. Seo","year":"2007","unstructured":"Seo, C., Malek, S., Medvidovic, N.: An Energy Consumption Framework for Distributed Java-Based Systems. In: Proceedings of the 22nd IEEE\/ACM Intl. Conference on Automated Software Engineering, Atlanta, Georgia, USA. ACM, New York (2007)"},{"key":"35_CR10","first-page":"277","volume-title":"WICSA 2008: Proceedings of the Seventh Working IEEE\/IFIP Conference on Software Architecture","author":"C. Seo","year":"2008","unstructured":"Seo, C., Edwards, G., Malek, S., Medvidovic, N.: A Framework for Estimating the Impact of a Distributed Software System\u2019s Architectural Style on its Energy Consumption. In: WICSA 2008: Proceedings of the Seventh Working IEEE\/IFIP Conference on Software Architecture, pp. 277\u2013280. IEEE Computer Society, Los Alamitos (2008)"},{"unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. In: Proceedings of The Sixth NASA Langley Formal Methods Workshop, pp. 29\u201332 (2008)","key":"35_CR11"},{"unstructured":"Utting, M., Pretschner, A., Legeard, B.: A Taxonomy of Model-Based Testing. Technical Report 04\/2006, University of Waikato, Department of Computer Science, Hamilton, NZ (April 2006)","key":"35_CR12"},{"key":"35_CR13","volume-title":"Basiswissen Modellbasierter Test","author":"T. Ro\u00dfner","year":"2010","unstructured":"Ro\u00dfner, T., Brandes, C., G\u00f6tz, H., Winter, M.: Basiswissen Modellbasierter Test. dpunkt Verlag, Heidelberg (2010)"},{"unstructured":"S\u00fcttner, P.: Abstract Behavior Description of CCM Software Components (Abstrakte Verhaltensbeschreibung von CCM Softwarekomponenten). Diploma Thesis, Technische Universit\u00e4t Dresden (March 2011)","key":"35_CR14"},{"key":"35_CR15","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM, New York (1977)"},{"unstructured":"Martin, F.: Generating Program Analyzers. PhD thesis, Universit\u00e4t des Saarlandes (1999)","key":"35_CR16"},{"unstructured":"G\u00f6tz, S., Wilke, C., Schmidt, M., Cech, S., A\u00dfmann, U.: Towards Energy Auto Tuning. In: Proceedings of First Annual International Conference on Green Information Technology, GREEN IT (2010)","key":"35_CR17"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24485-8_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T11:24:41Z","timestamp":1554895481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}