Search

Ensemble fuzzing in parallel with heterogeneous fuzzers has been proposed to leverage the advantages of diverse fuzzers and improve testing efficiency. However, in current ensemble fuzzing methods, the collaboration among different fuzzers is achieved solely by synchronizing the seeds discovered by each fuzzer. This results in a high likelihood of different fuzzers choosing the same seeds and creating a large number of equivalent testcases, thus reducing overall fuzzing efficiency. Meanwhile, the existing task division method proposed by AFLTeam is highly coupled with the fuzzer specially designed for it, making it challenging to apply to ensemble fuzzing directly. So, in this paper, we proposed a callgraph-based task division method suitable for ensemble fuzzing. Firstly, we divided the target program’s callgraph into subgraphs (subtasks) balancing expected workloads. Then, we divided the global seed corpus into subcorpora, each corresponding to a subtask, making fuzzers easily accept the subtasks. Finally, we designed synchronization mechanisms for coverage bitmaps and seeds to realize the collaborative fuzzing among different fuzzers and a cyclic subtask scheduling strategy to fully leverage the benefits of ensemble fuzzing. We implemented a prototype called TAEF. The evaluation results show that in the best-case scenario, our method has up to 24% more branch coverage than previous work.

Wireless link correlation has shown significant impact on the performance of various sensor network protocols. Many works have been devoted to exploiting link correlation for protocol improvements. However, the effectiveness of these designs heavily relies on the accuracy of link correlation measurement. In this paper, we investigate state-of-the-art link correlation measurement and analyze the limitations of existing works. We then propose a novel lightweight and accurate link correlation estimation (LACE) approach based on the reasoning of link correlation formation. LACE combines both long-term and short-term link behaviors for link correlation estimation. We implement LACE as a stand-alone interface in TinyOS and incorporate it into both routing and flooding protocols. Simulation and testbed results show that LACE: (1) achieves more accurate and lightweight link correlation measurements than the state-of-the-art work; and (2) greatly improves the performance of protocols exploiting link correlation.

Wireless Power Transfer (WPT) is a promising technology to replenish energy of sensors in Rechargeable Wireless Sensor Networks (RWSN). In this paper, we investigate the mobile directional charging optimization problem in RWSN. Our problem is how to plan the moving path and charging direction of the Directional Charging Vehicle (DCV) in the 2D plane to replenish energy for RWSN. The objective is to optimize energy charging efficiency of the DCV while maintaining the sensor network working continuously. To the best of our knowledge, this is the first work to study the mobile directional charging problem in RWSN. We prove that the problem is NP-hard. Firstly, the coverage utility of the DCV’s directional charging is proposed. Then we design an approximation algorithm to determine the docking spots and their charging orientations while minimizing the number of the DCV’s docking spots and maximizing the charging coverage utility. Finally, we propose a moving path planning algorithm for the DCV’s mobile charging to optimize the DCV’s energy charging efficiency while ensuring the networks working continuously. We theoretically analyze the DCV’s charging service capability, and perform the comprehensive simulation experiments. The experiment results show the energy efficiency of the DCV is higher than the omnidirectional charging model in the sparse networks.

Heterogeneous Bistatic Radars (BR) have different sensing ranges and couplings of sensing regions, which provide more flexible coverage for the boundary at complex terrain such as across rivers and valleys. Due to the Cassini oval sensing region of a BR and the coupling of sensing regions among different BRs, the coverage problem of BR sensor networks is very challenging. Existing works in BR barrier coverage focus mainly on homogeneous BR sensor networks. This paper studies the heterogeneous BR placement problem on a line barrier to achieve optimal coverage. 1) We investigate coverage differences of the basic placement sequences of heterogeneous BRs on the line barrier, and prove the optimal basic placement spacing patterns of heterogeneous BRs. 2) We study the coverage coupling effect among adjacent BRs on the line barrier, and determine that different placement sequences of heterogeneous BR transmitters will affect the barrier’s coverage performance and length. The optimal placement sequence of heterogeneous BR barrier cannot be solved through the greedy algorithm. 3) We propose an optimal BRs placement algorithm on a line barrier when the heterogeneous BR transmitters’ placement sequence is predetermined on the barrier, and prove it to be optimal. Through simulation experiments, we determine that the different placement sequences of heterogeneous BR transmitters have little influence on the barrier’s maximum length. Then, we propose an approximate algorithm to optimize the BR placement spacing sequence on the heterogeneous line barrier. 4) As a heterogeneous barrier case study, a minimum cost coverage algorithm of heterogeneous BR barrier is presented. We validate the effectiveness of the proposed algorithms through theory analysis and extensive simulation experiments.

This paper investigates the use of wireless sensor networks for multiple event source localization using binary information from the sensor nodes. The events could continually emit signals whose strength is attenuated inversely proportional to the distance from the source. In this context, faults occur due to various reasons and are manifested when a node reports a wrong decision. In order to reduce the impact of node faults on the accuracy of multiple event localization, we introduce a trust index model to evaluate the fidelity of information which the nodes report and use in the event detection process, and propose the Trust Index based Subtract on Negative Add on Positive (TISNAP) localization algorithm, which reduces the impact of faulty nodes on the event localization by decreasing their trust index, to improve the accuracy of event localization and performance of fault tolerance for multiple event source localization. The algorithm includes three phases: first, the sink identifies the cluster nodes to determine the number of events occurred in the entire region by analyzing the binary data reported by all nodes; then, it constructs the likelihood matrix related to the cluster nodes and estimates the location of all events according to the alarmed status and trust index of the nodes around the cluster nodes. Finally, the sink updates the trust index of all nodes according to the fidelity of their information in the previous reporting cycle. The algorithm improves the accuracy of localization and performance of fault tolerance in multiple event source localization. The experiment results show that when the probability of node fault is close to 50%, the algorithm can still accurately determine the number of the events and have better accuracy of localization compared with other algorithms.

Blur is an important factor affecting the image quality. This paper presents an efficient no-reference (NR) image blur assessment method based on a response function of singular values. For an image, the grayscale image is computed to the acquire spatial information. In the meantime, the gradient map is computed to acquire the shape information, and the saliency map can be obtained by using scale-invariant feature transform (SIFT). Then, the grayscale image, the gradient map, and the saliency map are divided into blocks of the same size. The blocks of the gradient map are converted into discrete cosine transform (DCT) coefficients, from which the response function of singular values (RFSV) are generated. The sum of the RFSV are then utilized to characterize the image blur. The variance of the grayscale image and the DCT domain entropy of the gradient map are used to reduce the impact of the image content. The SIFT-dependent weights are calculated in the saliency map, which are assigned to the image blocks. Finally, the blur score is the normalized sum of the RFSV. Extensive experiments are conducted on four synthetic databases and two real blur databases. The experimental results indicate that the blur scores produced by our method are highly correlated with the subjective evaluations. Furthermore, the proposed method is superior to six state-of-the-art methods.

Wireless charging is an important issue in wireless sensor networks, since it can provide an emerging and effective solution in the absence of other power supplies. The state-of-the-art methods employ a mobile car and a predefined moving path to charge the sensor nodes in the network. Previous studies only consider a factor of the network (i.e., residual energy of sensor node) as a constraint to design the wireless charging strategy. However, other factors, such as the travelled distance of the mobile car, can also affect the effectiveness of wireless charging strategy. In this work, we study wireless charging strategy based on the analysis of a combination of two factors, including the residual energy of sensor nodes and the travelled distance of the charging car. Firstly, we theoretically analyze the limited size of the sensor network to match the capability of a charging car. Then, the networked factors are selected as the weights of traveling salesman problem (TSP) to design the moving path of the charging car. Thirdly, the charging time of each sensor node is computed based on the linear programming problem for the charging car. Finally, a charging period for the network is studied. The experimental results show that the proposed approach can significantly maximize the lifetime of the wireless sensor network.

Coverage is a fundamental issue in the research field of wireless sensor networks (WSNs). Connected target coverage discusses the sensor placement to guarantee the needs of both coverage and connectivity. Existing works largely leverage on the Boolean disk model, which is only a coarse approximation to the practical sensing model. In this paper, we focus on the connected target coverage issue based on the probabilistic sensing model, which can characterize the quality of coverage more accurately. In the probabilistic sensing model, sensors are only be able to detect a target with certain probability. We study the collaborative detection probability of target under multiple sensors. Armed with the analysis of collaborative detection probability, we further formulate the minimum ϵ-connected target coverage problem, aiming to minimize the number of sensors satisfying the requirements of both coverage and connectivity. We map it into a flow graph and present an approximation algorithm called the minimum vertices maximum flow algorithm (MVMFA) with provable time complex and approximation ratios. To evaluate our design, we analyze the performance of MVMFA theoretically and also conduct extensive simulation studies to demonstrate the effectiveness of our proposed algorithm.

Sensing coverage is a fundamental problem in wireless sensor networks (WSNs), which has attracted considerable attention. Conventional research on this topic focuses on the 0/1 coverage model, which is only a coarse approximation to the practical sensing model. In this paper, we study the target coverage problem, where the objective is to find the least number of sensor nodes in randomly-deployed WSNs based on the probabilistic sensing model. We analyze the joint detection probability of target with multiple sensors. Based on the theoretical analysis of the detection probability, we formulate the minimum ϵ-detection coverage problem. We prove that the minimum ϵ-detection coverage problem is NP-hard and present an approximation algorithm called the Probabilistic Sensor Coverage Algorithm (PSCA) with provable approximation ratios. To evaluate our design, we analyze the performance of PSCA theoretically and also perform extensive simulations to demonstrate the effectiveness of our proposed algorithm.