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