{"id":"https://openalex.org/W2101874499","doi":"https://doi.org/10.1109/sahcn.2015.7338296","title":"Property-based testing of sensor networks","display_name":"Property-based testing of sensor networks","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W2101874499","doi":"https://doi.org/10.1109/sahcn.2015.7338296","mag":"2101874499"},"language":"en","primary_location":{"id":"doi:10.1109/sahcn.2015.7338296","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sahcn.2015.7338296","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055050397","display_name":"Andreas L\u00f6scher","orcid":null},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Andreas Loscher","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Sweden","Department of Information Technology, Uppsala University,Sweden#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]},{"raw_affiliation_string":"Department of Information Technology, Uppsala University,Sweden#TAB#","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009640372","display_name":"Konstantinos Sagonas","orcid":"https://orcid.org/0000-0001-9657-0179"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Konstantinos Sagonas","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Sweden","Department of Information Technology, Uppsala University,Sweden#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]},{"raw_affiliation_string":"Department of Information Technology, Uppsala University,Sweden#TAB#","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071943253","display_name":"Thiemo Voigt","orcid":"https://orcid.org/0000-0002-2586-8573"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thiemo Voigt","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Sweden","Department of Information Technology, Uppsala University,Sweden#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]},{"raw_affiliation_string":"Department of Information Technology, Uppsala University,Sweden#TAB#","institution_ids":["https://openalex.org/I123387679"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5055050397"],"corresponding_institution_ids":["https://openalex.org/I123387679"],"apc_list":null,"apc_paid":null,"fwci":0.9985,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.79698533,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"100","last_page":"108"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11392","display_name":"Energy Harvesting in Wireless Networks","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7872319221496582},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.7746315002441406},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.6390708684921265},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.5713679790496826},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5347475409507751},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5237005949020386},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.4651981592178345},{"id":"https://openalex.org/keywords/duty-cycle","display_name":"Duty cycle","score":0.4383258819580078},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3883183002471924},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3774741291999817},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3687659502029419},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.35206931829452515},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08540984988212585},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.08437731862068176}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7872319221496582},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7746315002441406},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.6390708684921265},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.5713679790496826},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5347475409507751},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5237005949020386},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.4651981592178345},{"id":"https://openalex.org/C199822604","wikidata":"https://www.wikidata.org/wiki/Q557120","display_name":"Duty cycle","level":3,"score":0.4383258819580078},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3883183002471924},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3774741291999817},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3687659502029419},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.35206931829452515},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08540984988212585},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.08437731862068176},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sahcn.2015.7338296","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sahcn.2015.7338296","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8600000143051147,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W111780472","https://openalex.org/W1598171750","https://openalex.org/W1710734607","https://openalex.org/W1968833385","https://openalex.org/W1987557201","https://openalex.org/W1995128353","https://openalex.org/W2003801825","https://openalex.org/W2011233235","https://openalex.org/W2015180219","https://openalex.org/W2030358379","https://openalex.org/W2062200967","https://openalex.org/W2070291735","https://openalex.org/W2102372792","https://openalex.org/W2117520883","https://openalex.org/W2119717320","https://openalex.org/W2125555950","https://openalex.org/W2146066139","https://openalex.org/W2147117072","https://openalex.org/W2149674749","https://openalex.org/W2154991835","https://openalex.org/W2165796723","https://openalex.org/W2171427043","https://openalex.org/W3105232016","https://openalex.org/W3143762821","https://openalex.org/W4213165937","https://openalex.org/W4244488020","https://openalex.org/W4245685877","https://openalex.org/W4312512934","https://openalex.org/W6604472721","https://openalex.org/W6635662013","https://openalex.org/W6637688222","https://openalex.org/W6684776193"],"related_works":["https://openalex.org/W2900105712","https://openalex.org/W4385507351","https://openalex.org/W881306924","https://openalex.org/W2885118911","https://openalex.org/W2808114008","https://openalex.org/W2017269528","https://openalex.org/W4252409419","https://openalex.org/W2367195577","https://openalex.org/W2084724079","https://openalex.org/W2111773953"],"abstract_inverted_index":{"We":[0,62],"advocate":[1],"the":[2,8,54,58,64,78,83,87,110,117,140,146],"use":[3,67],"of":[4,10,34,39,57,66,70,86,107,149],"property-based":[5],"testing":[6,20,98,113],"in":[7,52,157],"area":[9],"sensor":[11],"networks":[12],"and":[13,45,68,154],"present":[14],"a":[15,31,104],"framework":[16,23,72],"to":[17,29,42,47,166],"apply":[18],"this":[19],"methodology.":[21],"Our":[22],"provides":[24],"an":[25],"expressive":[26],"high-level":[27],"language":[28],"specify":[30],"wide":[32],"range":[33],"properties,":[35,44],"starting":[36],"from":[37],"properties":[38,51],"individual":[40],"functions":[41],"network-global":[43],"infrastructure":[46],"automatically":[48],"test":[49,81,145],"these":[50],"Cooja,":[53],"network":[55,101],"simulator":[56],"Contiki":[59],"operating":[60],"system.":[61],"demonstrate":[63],"ease":[65],"effectiveness":[69],"our":[71],"by":[73],"two":[74],"case":[75,142],"studies.":[76],"In":[77,139],"first,":[79],"we":[80,144],"whether":[82],"energy":[84,135],"consumption":[85,136],"radio":[88],"duty-cycle":[89],"protocol":[90],"X-MAC":[91],"is":[92,120,125],"within":[93],"some":[94],"specific":[95],"bound.":[96],"Property-based":[97,112],"finds":[99,129],"minimal":[100],"configurations":[102],"where":[103,131],"small":[105],"number":[106],"nodes":[108],"violate":[109],"property.":[111],"also":[114],"reveals":[115],"that":[116,161],"same":[118],"property":[119],"not":[121],"violated":[122],"when":[123],"ContikiMAC":[124,132],"used":[126],"instead,":[127],"but":[128],"cases":[130],"has":[133],"higher":[134],"than":[137],"X-MAC.":[138],"second":[141],"study,":[143],"C":[147],"API":[148],"CONTIKI's":[150],"TCP":[151],"socket":[152],"library":[153],"find":[155],"bugs":[156],"its":[158],"event":[159],"system":[160],"would":[162],"be":[163],"very":[164],"hard":[165],"detect":[167],"with":[168],"other":[169],"methods.":[170]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}