1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2024
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models
Qilin Zhou, Zhengyuan Wei, Haipeng Wang +2
Patch robustness certification is an emerging kind of defense technique against adversarial patch attacks with provable guarantees. There are two research lines: certified recovery…
cs.SE2023
A study on the impact of pre-trained model on Just-In-Time defect prediction
Yuxiang Guo, Xiaopeng Gao, Zhenyu Zhang +2
Previous researchers conducting Just-In-Time (JIT) defect prediction tasks have primarily focused on the performance of individual pre-trained models, without exploring the relatio…
cs.SE2020★ 1 cited
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Xiaoxue Ma, Shangru Wu, Ernest Pobee +4
Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code…