{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:48:39Z","timestamp":1755838119469,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,5]],"date-time":"2008-11-05T00:00:00Z","timestamp":1225843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,5]]},"DOI":"10.1145\/1460412.1460485","type":"proceedings-article","created":{"date-parts":[[2008,11,14]],"date-time":"2008-11-14T13:17:40Z","timestamp":1226668660000},"page":"425-426","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["KleeNet"],"prefix":"10.1145","author":[{"given":"Raimondas","family":"Sasnauskas","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"J\u00f3 \u00c1gila Bitsch","family":"Link","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Muhammad Hamad","family":"Alizai","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Klaus","family":"Wehrle","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2008,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@23fc708d\n    C. Cadar V. Ganesh P. M. Pawlowski D. L. Dill and D. R."},{"key":"e_1_3_2_1_2_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@2d3b9a82\n   EXE: automatically generating inputs of death. In  Engler. EXE: automatically generating inputs of death. In"},{"volume-title":"'06: Proc. of 13th ACM conf. on Computer and","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@6c0690b9\n    communications security 2006."},{"key":"e_1_3_2_1_5_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@2c3efdac\n  .  N. Cooprider W. Archer E. Eide D. Gay and J. Regehr."},{"volume-title":"SenSys '07: Proc. of","key":"e_1_3_2_1_6_1"},{"volume-title":"5th international conference on Embedded networked","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@c296ff6\n    sensor systems 2007."},{"key":"e_1_3_2_1_9_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@57213042\n  . Harbor:  R. Kumar E. Kohler and M. Srivastava. Harbor:"},{"volume-title":"IPSN","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@4ff607a9\n  . of the 6th international conference on  '07: Proc. of the 6th international conference on"},{"key":"e_1_3_2_1_12_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@867977e\n    Information processing in sensor networks 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250705"},{"key":"e_1_3_2_1_14_1","unstructured":"com.atypon.pdfplus.internal.model.plusxml.impl.AuthorGroup@531ee8b5\n   Software: Practice and Experience July 1995.  generator. Software: Practice and Experience July 1995."}],"event":{"name":"SenSys08: The 6th ACM Conference on Embedded Networked Sensor Systems","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Raleigh NC USA","acronym":"SenSys08"},"container-title":["Proceedings of the 6th ACM conference on Embedded network sensor systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1460412.1460485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1460412.1460485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:43Z","timestamp":1750253383000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1460412.1460485"}},"subtitle":["automatic bug hunting in sensor network applications"],"short-title":[],"issued":{"date-parts":[[2008,11,5]]},"references-count":14,"alternative-id":["10.1145\/1460412.1460485","10.1145\/1460412"],"URL":"https:\/\/doi.org\/10.1145\/1460412.1460485","relation":{},"subject":[],"published":{"date-parts":[[2008,11,5]]},"assertion":[{"value":"2008-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}