To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a ...

Abstract: HotStuff is a pipelined Byzantine Fault Tolerance (BFT) algorithm that has the good properties of both linear communication complexity and optimistic responsiveness. However, its three-chain ...

Abstract: UAVs have been extremely influential for applications such as remote/sensing, disaster response, surveillance, and infrastructure monitoring. They are valuable in modern-day operations ...