{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:22:25Z","timestamp":1742912545248,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020841"},{"type":"electronic","value":"9783642020858"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02085-8_10","type":"book-chapter","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T09:13:28Z","timestamp":1243934008000},"page":"131-144","source":"Crossref","is-referenced-by-count":4,"title":["Finding Symbolic Bug Patterns in Sensor Networks"],"prefix":"10.1007","author":[{"given":"Mohammad Maifi Hasan","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarek","family":"Abdelzaher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiawei","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hossein","family":"Ahmadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Agrawal, R., Srikant, R.: Fast algorithms for mining association rules. In: Proceedings of the Twentieth International Conference on Very Large Data Bases (VLDB 1994), pp. 487\u2013499 (1994)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Aguilera, M.K., Mogul, J.C., Wiener, J.L., Reynolds, P., Muthitacharoen, A.: Performance debugging for distributed systems of black boxes. In: Proceedings of the nineteenth ACM symposium on Operating systems principles (SOSP 2003), Bolton Landing, NY, USA, pp. 74\u201389 (2003)","DOI":"10.1145\/945445.945454"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bod\u00edk, P., Friedman, G., Biewald, L., Levine, H., Candea, G., Patel, K., Tolle, G., Hui, J., Fox, A., Jordan, M.I., Patterson, D.: Combining visualization and statistical analysis to improve operator confidence and efficiency for failure detection and localization. In: Proceedings of the 2nd International Conference on Autonomic Computing (ICAC 2005) (2005)","DOI":"10.1109\/ICAC.2005.18"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Cao, Q., Abdelzaher, T., Stankovic, J., Whitehouse, K., Luo, L.: Declarative tracepoints: A programmable and application independent debugging system for wireless sensor networks. In: Proceedings of the 6th ACM Conference on Embedded Networked Sensor Systems (SenSys), Raleigh, NC, USA (2008)","DOI":"10.1145\/1460412.1460422"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Ertin, E., Arora, A., Ramnath, R., Nesterenko, M.: Kansei: A testbed for sensing at scale. In: Proceedings of the 4th Symposium on Information Processing in Sensor Networks (IPSN\/SPOTS track) (2006)","DOI":"10.1145\/1127777.1127838"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Fatta, G.D., Leue, S., Stegantova, E.: Discriminative pattern mining in software fault detection. In: Proceedings of the 3rd international workshop on Software quality assurance (SOQUA 2006), pp. 62\u201369 (2006)","DOI":"10.1145\/1188895.1188910"},{"key":"10_CR7","unstructured":"Girod, L., Elson, J., Cerpa, A., Stathopoulos, T., Ramanathan, N., Estrin, D.: Emstar: a software environment for developing and deploying wireless sensor networks. In: Proceedings of the annual conference on USENIX Annual Technical Conference (ATEC 2004), Boston, MA, p. 24 (2004)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Khan, M.M.H., Abdelzaher, T., Gupta, K.K.: Towards diagnostic simulation in sensor networks. In: Proceedings of International Conference on Distributed Computing in Sensor Systems (DCOSS), Greece (2008)","DOI":"10.1007\/978-3-540-69170-9_17"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Khan, M.M.H., Le, H.K., Ahmadi, H., Abdelzaher, T.F., Han, J.: Dustminer: Troubleshooting interactive complexity bugs in sensor networks. In: Proceedings of the 6th ACM Conference on Embedded Networked Sensor Systems (SenSys), Raleigh, NC, USA (2008)","DOI":"10.1145\/1460412.1460423"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-73090-3_10","volume-title":"Distributed Computing in Sensor Systems","author":"M.M.H. Khan","year":"2007","unstructured":"Khan, M.M.H., Luo, L., Huang, C., Abdelzaher, T.: Snts: Sensor network troubleshooting suite. In: Aspnes, J., Scheideler, C., Arora, A., Madden, S. (eds.) DCOSS 2007. LNCS, vol.\u00a04549, pp. 142\u2013157. Springer, Heidelberg (2007)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Levis, P., Lee, N., Welsh, M., Culler, D.: Tossim: accurate and scalable simulation of entire tinyos applications. In: Proceedings of the 1st international conference on Embedded networked sensor systems (SenSys 2003), Los Angeles, California, USA, pp. 126\u2013137 (2003)","DOI":"10.1145\/958491.958506"},{"key":"10_CR12","unstructured":"Liu, C., Fei, L., Yan, X., Han, J., Midkiff, S.P.: Statistical debugging: A hypothesis testing-based approach. IEEE Transactions on Software Engineering"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Liu, C., Lian, Z., Han, J.: How bayesians debug. In: Proceedings of the Sixth International Conference on Data Mining (ICDM 2006) (December 2006)","DOI":"10.1109\/ICDM.2006.83"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Liu, C., Yan, X., Fei, L., Han, J., Midkiff, S.P.: Sober: statistical model-based bug localization. In: Proceedings of the 13th ACM SIGSOFT international symposium on Foundations of software engineering (FSE 13), Lisbon, Portugal (2005)","DOI":"10.1145\/1081706.1081753"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Liu, C., Yan, X., Han, J.: Mining control flow abnormality for logic error isolation. In: Proceedings of 2006 SIAM International Conference on Data Mining (SDM 2006), Bethesda, MD (April 2006)","DOI":"10.1137\/1.9781611972764.10"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Liu, K., Li, M., Liu, Y., Li, M., Guo, Z., Hong, F.: Pad: Passive diagnosis for wireless sensor networks. In: Proceedings of the 6th ACM Conference on Embedded Networked Sensor Systems (SenSys), Raleigh, NC, USA (2008)","DOI":"10.1145\/1460412.1460457"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Polley, J., Blazakis, D., McGee, J., Rusk, D., Baras, J.S.: Atemu: A fine-grained sensor network simulator. In: Proceedings of the First International Conference on Sensor and Ad Hoc Communications and Networks (SECON 2004), pp. 145\u2013152, Santa Clara, CA (October 2004)","DOI":"10.1109\/SAHCN.2004.1381912"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Ramanathan, N., Chang, K., Kapur, R., Girod, L., Kohler, E., Estrin, D.: Sympathy for the sensor network debugger. In: Proceedings of the 3rd international conference on Embedded networked sensor systems (SenSys 2005) (2005)","DOI":"10.1145\/1098918.1098946"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-24606-0_21","volume-title":"Wireless Sensor Networks","author":"R. Szewczyk","year":"2004","unstructured":"Szewczyk, R., Polastre, J., Mainwaring, A., Culler, D.: Lessons from a sensor network expedition. In: Karl, H., Wolisz, A., Willig, A. (eds.) EWSN 2004. LNCS, vol.\u00a02920, pp. 307\u2013322. Springer, Heidelberg (2004)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Tolle, G., Culler, D.: Design of an application-cooperative management system for wireless sensor networks. In: Proceedings of the Second European Workshop on Wireless Sensor Networks (EWSN 2005), Turkey, February 2005, pp. 121\u2013132 (2005)","DOI":"10.1109\/EWSN.2005.1462004"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Wen, Y., Wolski, R., Moore, G.: Disens: scalable distributed sensor network simulation. In: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP 2007), San Jose, California, USA, pp. 24\u201334 (2007)","DOI":"10.1145\/1229428.1229434"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Werner-Allen, G., Swieskowski, P., Welsh, M.: Motelab: A wireless sensor network testbed. In: Proceedings of the Fourth International Conference on Information Processing in Sensor Networks (IPSN 2005), Special Track on Platform Tools and Design Methods for Network Embedded Sensors (SPOTS) (April 2005)","DOI":"10.1109\/IPSN.2005.1440979"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Whitehouse, K., Tolle, G., Taneja, J., Sharp, C., Kim, S., Jeong, J., Hui, J., Dutta, P., Culler, D.: Marionette: Using rpc for interactive development and debugging of wireless embedded networks. In: Proceedings of the Fifth International Conference on Information Processing in Sensor Networks: Special Track on Sensor Platform, Tools, and Design Methods for Network Embedded Systems (IPSN\/SPOTS), Nashville, TN, pp. 416\u2013423 (April 2006)","DOI":"10.1145\/1127777.1127840"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Yang, J., Soffa, M.L., Selavo, L., Whitehouse, K.: Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. In: Proceedings of the 5th international conference on Embedded networked sensor systems (SenSys 2007), pp. 189\u2013203 (2007)","DOI":"10.1145\/1322263.1322282"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing in Sensor Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02085-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T01:52:18Z","timestamp":1589853138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02085-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020841","9783642020858"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02085-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}