Jingyi Wang
Title
Cited by
Cited by
Year
Adversarial sample detection for deep neural network through model mutation testing
J Wang, G Dong, J Sun, X Wang, P Zhang
Proceedings of the 41st International Conference on Software Engineering …, 2019
372019
Detecting adversarial samples for deep neural networks through mutation testing
J Wang, J Sun, P Zhang, X Wang
arXiv preprint arXiv:1805.05010, 2018
252018
Towards Optimal Concolic Testing
X Wang, J Sun, Z Chen, P Zhang, J Wang, Y Lin
Proceedings of the 40th International Conference on Software Engineering, ICSE, 2018
202018
Towards concolic testing for hybrid systems
P Kong, Y Li, X Chen, J Sun, M Sun, J Wang
International Symposium on Formal Methods, 460-478, 2016
92016
Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement
J Wang, J Sun, S Qin, C Jegourel
IEEE Transactions on Software Engineering, 2018
7*2018
Should we learn probabilistic models for model checking? A new approach and an empirical study
J Wang, J Sun, Q Yuan, J Pang
International Conference on Fundamental Approaches to Software Engineering, 3-21, 2017
72017
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
J Wang, J Sun, Q Yuan, J Pang
International Journal on Software Tools for Technology Transfer 20 (6), 689-704, 2018
42018
Towards ‘Verifying’ a Water Treatment System
J Wang, J Sun, Y Jia, S Qin, Z Xu
International Symposium on Formal Methods, 73-92, 2018
42018
Improving probability estimation through active probabilistic model learning
J Wang, X Chen, J Sun, S Qin
International Conference on Formal Engineering Methods, 379-395, 2017
32017
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
Y Dong, P Zhang, J Wang, S Liu, J Sun, J Hao, X Wang, L Wang, JS Dong, ...
arXiv preprint arXiv:1911.05904, 2019
12019
Analyzing Recurrent Neural Network by Probabilistic Abstraction
G Dong, J Wang, J Sun, Y Zhang, X Wang, T Dai, JS Dong
arXiv preprint arXiv:1909.10023, 2019
12019
Importance Sampling of Interval Markov Chains
C Jegourel, J Wang, J Sun
48th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2018
12018
Service adaptation with probabilistic partial models
M Chen, TH Tan, J Sun, J Wang, Y Liu, J Sun, JS Dong
International Conference on Formal Engineering Methods, 122-140, 2016
12016
White-box fairness testing through adversarial sampling
P ZHANG, J WANG, J SUN, G DONG, X WANG, X WANG, JS DONG, ...
Proceedings of the 42nd International Conference on Software Engineering, ICSE, 2020
2020
Learning Likely Invariants to Explain Why a Program Fails
LH Pham, J Sun, LLT Thi, J Wang, X Peng
22nd International Conference on Engineering of Complex Computer Systems …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–15