30 citations · 31 across the 3 of their papers we have counts for
3 papers
cs.CR2024★ 1 cited
INSTILLER: Towards Efficient and Realistic RTL Fuzzing
Gen Zhang, Pengfei Wang, Tai Yue +3
Bugs exist in hardware, such as CPU. Unlike software bugs, these hardware bugs need to be detected before deployment. Previous fuzzing work in CPU bug detection has several disadva…
cs.CR2024★ 30 cited
MobFuzz: Adaptive Multi-objective Optimization in Gray-box Fuzzing
Gen Zhang, Pengfei Wang, Tai Yue +4
Coverage-guided gray-box fuzzing (CGF) is an efficient software testing technique. There are usually multiple objectives to optimize in CGF. However, existing CGF methods cannot su…
eess.SY2022
Design and control analysis of a deployable clustered hyperbolic paraboloid cable net
Shuo Ma, Kai Lu, Muhao Chen +1
This paper presents an analytical and experimental design and deployment control analysis of a hyperbolic paraboloid cable net based on clustering actuation strategies. First, the…