{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:44Z","timestamp":1750307264095,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,3]],"date-time":"2010-11-03T00:00:00Z","timestamp":1288742400000},"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":[[2010,11,3]]},"DOI":"10.1145\/1869983.1870034","type":"proceedings-article","created":{"date-parts":[[2010,11,3]],"date-time":"2010-11-03T14:04:01Z","timestamp":1288793041000},"page":"383-384","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrating symbolic execution with sensornet simulation for efficient bug finding"],"prefix":"10.1145","author":[{"given":"Fredrik","family":"\u00d6sterlind","sequence":"first","affiliation":[{"name":"Swedish Institute of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Dunkels","sequence":"additional","affiliation":[{"name":"Swedish Institute of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimondas","family":"Sasnauskas","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar Soria","family":"Dustmann","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Wehrle","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791234"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2006.322172"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"}],"event":{"name":"SenSys10: The 8th ACM Conference on Embedded Network 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","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Z\u00fcrich Switzerland","acronym":"SenSys10"},"container-title":["Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1869983.1870034","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1869983.1870034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:43Z","timestamp":1750243963000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1869983.1870034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,3]]},"references-count":3,"alternative-id":["10.1145\/1869983.1870034","10.1145\/1869983"],"URL":"https:\/\/doi.org\/10.1145\/1869983.1870034","relation":{},"subject":[],"published":{"date-parts":[[2010,11,3]]},"assertion":[{"value":"2010-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}