Follow
Youcheng Sun
Youcheng Sun
Verified email at manchester.ac.uk - Homepage
Title
Cited by
Cited by
Year
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu
Computer Science Review, 2020
4762020
Concolic testing for deep neural networks
Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
3292018
Testing deep neural networks
Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore
arXiv preprint arXiv:1803.04792, 2018
2542018
Structural test coverage criteria for deep neural networks
Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019
1132019
Global robustness evaluation of deep neural networks with provable guarantees for the hamming distance
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
International Joint Conference on Artificial Intelligence, 2019
962019
DeepConcolic: Testing and debugging deep neural networks
Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
652019
RobOT: Robustness-oriented testing for deep learning systems
J Wang, J Chen, Y Sun, X Ma, D Wang, J Sun, P Cheng
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
622021
Weakly hard schedulability analysis for fixed priority scheduling of periodic real-time tasks
Y Sun, MD Natale
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
512017
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models
J Chen, J Wang, T Peng, Y Sun, P Cheng, S Ji, X Ma, B Li, D Song
IEEE S&P, 2021
482021
Coverage-guided testing for recurrent neural networks
W Huang, Y Sun, X Zhao, J Sharp, W Ruan, J Meng, X Huang
IEEE Transactions on Reliability 71 (3), 1191-1206, 2021
442021
NNrepair: Constraint-based Repair of Neural Network Classifiers
M Usman, D Gopinath, Y Sun, Y Noller, C Pasareanu
CAV 2021, 2021
422021
Improving the response time analysis of global fixed-priority multiprocessor scheduling
Y Sun, G Lipari, N Guan, W Yi
Embedded and Real-Time Computing Systems and Applications (RTCSA), 2014 IEEE …, 2014
392014
HyDiff: Hybrid differential software analysis
Y Noller, CS Păsăreanu, M Böhme, Y Sun, HL Nguyen, L Grunske
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
382020
Explaining Image Classifiers using Statistical Fault Localization
Y Sun, H Chockler, X Huang, D Kroening
ECCV, 2020
382020
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Norm
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
arXiv preprint arXiv:1804.05805, 2018
352018
Building better bit-blasting for floating-point problems
M Brain, F Schanda, Y Sun
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
332019
On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling
A Biondi, Y Sun
Real-Time Systems 54, 515-536, 2018
292018
Parametric schedulability analysis of fixed priority real-time distributed systems
Y Sun, R Soulat, G Lipari, É André, L Fribourg
Formal Techniques for Safety-Critical Systems, 212-228, 2014
282014
Verifi: Towards verifiable federated unlearning
X Gao, X Ma, J Wang, Y Sun, B Li, S Ji, P Cheng, J Chen
arXiv preprint arXiv:2205.12709, 2022
242022
A survey of safety and trustworthiness of deep neural networks
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi
arXiv preprint arXiv:1812.08342, 2018
232018
The system can't perform the operation now. Try again later.
Articles 1–20