{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:51:08Z","timestamp":1757314268835},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732297"},{"type":"electronic","value":"9783540732303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73230-3_7","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T17:04:42Z","timestamp":1183136682000},"page":"84-99","source":"Crossref","is-referenced-by-count":15,"title":["Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks"],"prefix":"10.1007","author":[{"given":"W. K.","family":"Chan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsong Y.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. C.","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. H.","family":"Tse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"FHSST physics electricity: nonlinear conduction. Wikibook. \n                  \n                    http:\/\/en.wikibooks.org\/wiki\/FHSST_Physics_Electricity:Nonlinear_conduction"},{"key":"7_CR2","unstructured":"JUnit. \n                  \n                    http:\/\/www.junit.org"},{"key":"7_CR3","unstructured":"nesC. \n                  \n                    http:\/\/nescc.sourceforge.net"},{"key":"7_CR4","unstructured":"TinyOS. \n                  \n                    http:\/\/www.tinyOS.net"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/1061254.1061256","volume":"14","author":"J. Berstel","year":"2005","unstructured":"Berstel, J., Reghizzi, S.C., Roussel, G., San Pietro, P.: A scalable formal method for design and automatic checking of user interfaces. ACM Transactions on Software Engineering and Methodology\u00a014(2), 124\u2013167 (2005)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7_CR6","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R.V. Binder","year":"2000","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison Wesley, Reading, Massachusetts (2000)"},{"key":"7_CR7","first-page":"191","volume-title":"SE 1998","author":"F.T. Chan","year":"1998","unstructured":"Chan, F.T., Chen, T.Y., Cheung, S.C., Lau, M.F., Yiu, S.M.: Application of metamorphic testing in numerical analysis. In: SE 1998. Proceedings of the IASTED International Conference on Software Engineering, pp. 191\u2013197. ACTA Press, Calgary, Canada (1998)"},{"issue":"5","key":"7_CR8","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1142\/S0218194006002951","volume":"16","author":"W.K. Chan","year":"2006","unstructured":"Chan, W.K., Chen, T.Y., Lu, H., Tse, T.H., Yau, S.S.: Integration testing of context-sensitive middleware-based applications: a metamorphic approach. International Journal of Software Engineering and Knowledge Engineering\u00a016(5), 677\u2013703 (2006)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"7_CR9","first-page":"569","volume-title":"JIISIC 2004","author":"T.Y. Chen","year":"2004","unstructured":"Chen, T.Y., Huang, D.H., Tse, T.H., Zhou, Z.Q.: Case studies on the selection of useful relations in metamorphic testing. In: JIISIC 2004. Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering, pp. 569\u2013583. Polytechnic University of Madrid, Madrid, Spain (2004)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/502034.502049","volume-title":"SOSP 2001","author":"J. Heidemann","year":"2001","unstructured":"Heidemann, J., Silva, F., Intanagonwiwat, C., Govindan, R., Estrin, D., Ganesan, D.: Building efficient wireless sensor networks with low-level naming. In: SOSP 2001. Proceedings of the 8th ACM Symposium on Operating Systems Principles, pp. 146\u2013159. ACM Press, New York (2001)"},{"key":"7_CR11","unstructured":"Kandler, J.: Automated testing of embedded software. In: STAREAST 2000. International Conference on Software Testing Analysis and Review, Orlando, Florida (2000), Paper available at \n                  \n                    http:\/\/www.stickyminds.com\/s.asp?F=S2049_ART_2"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1145\/1101908.1101984","volume-title":"ASE 2005","author":"G.M. Kapfhammer","year":"2005","unstructured":"Kapfhammer, G.M., Soffa, M.L., Mosse, D.: Testing in resource constrained execution environments. In: ASE 2005. Proceedings of the 20th IEEE\/ACM international Conference on Automated Software Engineering, pp. 418\u2013422. ACM Press, New York (2005)"},{"key":"7_CR13","volume-title":"SenSys 2003","author":"P. Levis","year":"2001","unstructured":"Levis, P., Lee, N., Welsh, M., Culler, D.: TOSSIM: accurate and scalable simulation of entire TinyOS applications. In: SenSys 2003. Proceedings of the 1st ACM Conference on Embedded Networked Sensor Systems, ACM Press, New York (2001)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Sanvido, M.A.A., Cechticky, V., Schaufelberger, W.: Testing embedded control systems using hardware-in-the-loop simulation and temporal logic. In: Proceedings of the 15th IFAC World Congress on Automatic Control, Barcelona, Spain (2002)","DOI":"10.3182\/20020721-6-ES-1901.00981"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MS.2005.103","volume":"22","author":"W.-T. Tsai","year":"2005","unstructured":"Tsai, W.-T., Yu, L., Zhu, F., Paul, R.: Rapid embedded system testing using verification patterns. IEEE Software\u00a022(4), 68\u201375 (2005)","journal-title":"IEEE Software"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Tse, T.H., Lau, F.C.M., Chan, W.K., Liu, P.C.K., Luk, C.K.F.: Testing object-oriented industrial software without precise oracles or results. Communications of the ACM (to appear)","DOI":"10.1145\/1278201.1278210"},{"key":"7_CR17","first-page":"458","volume-title":"COMPSAC 2004","author":"T.H. Tse","year":"2004","unstructured":"Tse, T.H., Yau, S.S., Chan, W.K., Lu, H., Chen, T.Y.: Testing context-sensitive middleware-based software applications. In: COMPSAC 2004. Proceedings of the 28th Annual International Computer Software and Applications Conference, vol.\u00a01, pp. 458\u2013465. IEEE Computer Society Press, Los Alamitos, California (2004)"},{"key":"7_CR18","first-page":"483","volume-title":"IPSN 2005","author":"G. Werner-Allen","year":"2005","unstructured":"Werner-Allen, G., Swieskowski, P., Welsh, M.: MoteLab: a wireless sensor network testbed. In: IPSN 2005. Proceedings of the 4th International Conference on Information Processing in Sensor Networks, pp. 483\u2013488. IEEE Computer Society Press, Los Alamitos, California (2005)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Xie, Q., Memon, A.: Designing and comparing automated test oracles for GUI-based software applications. ACM Transactions on Software Engineering and Methodology (to appear)","DOI":"10.1145\/1189748.1189752"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada Europe 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73230-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:12:43Z","timestamp":1605762763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73230-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732297","9783540732303"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73230-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}