9 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.SE2019★ 4 cited
SAVIOR: Towards Bug-Driven Hybrid Testing
Yaohui Chen, Peng Li, Jun Xu +5
Hybrid testing combines fuzz testing and concolic execution. It leverages fuzz testing to test easy-to-reach code regions and uses concolic execution to explore code blocks guarded…
cs.SE2019★ 9 cited
PTrix: Efficient Hardware-Assisted Fuzzing for COTS Binary
Yaohui Chen, Dongliang Mu, Jun Xu +5
Despite its effectiveness in uncovering software defects, American Fuzzy Lop (AFL), one of the best grey-box fuzzers, is inefficient when fuzz-testing source-unavailable programs.…
physics.app-ph2019★ 1 cited
Cryogenic low power CMOS analog buffer at 4.2K
Yajie Huang, Chao Luo, Tengteng Lu +3
A novel power-efficient analog buffer at liquid helium temperature is proposed. The proposed circuit is based on an input stage consisting of two complementary differential pairs t…