Lv3
360 积分 2023-10-30 加入
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
6个月前
已完结
A comprehensive study on deep learning bug characteristics
6个月前
已完结
MizAR 60 for Mizar 50
6个月前
已完结
Trustworthy data from untrusted databases
7个月前
已完结
A Survey on Large Language Model Acceleration based on KV Cache Management
7个月前
已完结
Practical Accuracy Estimation for Efficient Deep Neural Network Testing
7个月前
已完结
Distance-Aware Test Input Selection for Deep Neural Networks
7个月前
已完结
A comprehensive study on challenges in deploying deep learning based software
7个月前
已完结
Toward Understanding Deep Learning Framework Bugs
7个月前
已完结