access protocols; high level languages; transport protocols; wireless sensor networks; C API; CONTIKI operating system; COOJA network simulator; ContikiMAC; TCP socket library; energy consumption; high-level language; network-global property; property-based testing; radio duty-cycle protocol X-MAC; wireless sensor network; Computer bugs; Generators; Hardware; Libraries; Protocols; Software; Testing;
机译:基于代理的模拟使用基于属性的测试的规范测试
机译:通过可编程的虚拟机载传感器对无线传感器网络进行原位测试的系统支持
机译:适用于大型环境传感器网络的有源自测噪声测量传感器
机译:基于物业的传感器网络测试
机译:使用基于物业的测试,加权语法基因生成器,以及对测试浏览器渲染引擎的共识oracle并重现最小化的现有测试用例版本
机译:适用于大型环境传感器网络的有源自测噪声测量传感器
机译:适用于大型环境传感器网络的有源自测噪声测量传感器