Articles with public access mandates - Shengchao QinLearn more
Not available anywhere: 10
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters
Y Wu, Z Xu, S Qin
International Symposium on Theoretical Aspects of Software Engineering, 344-363, 2023
Mandates: National Natural Science Foundation of China
Baton: symphony of random testing and concolic testing through machine learning and taint analysis
B Chen, Y Liu, X Peng, Y Wu, S Qin
Science China Information Sciences 66 (3), 132101, 2023
Mandates: National Natural Science Foundation of China
Output range analysis for feed-forward deep neural networks via linear programming
Z Xu, Y Liu, S Qin, Z Ming
IEEE Transactions on Reliability 72 (3), 1191-1205, 2022
Mandates: National Natural Science Foundation of China
An Axiomatic Approach to BigrTiMo
W Xie, H Zhu, S Qin
2020 International Symposium on Theoretical Aspects of Software Engineering …, 2020
Mandates: National Natural Science Foundation of China
Towards a program logic for C11 release-sequences
M He, S Qin, J Ferreira
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
Mandates: National Natural Science Foundation of China
Formalization and Verification of the Powerlink Protocol using CSP
H Pang, J Li, Y Ruan, Y Huang, J Shi, S Qin
2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 321-328, 2016
Mandates: National Natural Science Foundation of China
Probabilistic Denotational Semantics for an Interrupt Modelling Language
Y Huang, Y Zhao, S Qin, J He
2015 20th International Conference on Engineering of Complex Computer …, 2015
Mandates: National Natural Science Foundation of China
Choreography Scenario-Based Test Data Generation
K Ma, J Wang, H Yang, J Yan, J Zhang, S Qin
2014 Theoretical Aspects of Software Engineering Conference, 70-73, 2014
Mandates: Chinese Academy of Sciences
Expressive program verification via structured specifications
C Gherghina, C David, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 363-380, 2014
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
Data-Race-Freedom of Concurrent Programs
G Barnett, S Qin
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 272-279, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 51
Algebraic semantics for C++ 11 memory model
L Xiao, H Zhu, M He, S Qin
2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022
Mandates: National Natural Science Foundation of China
Controlled concurrency testing via periodical scheduling
C Wen, M He, B Wu, Z Xu, S Qin
Proceedings of the 44th International Conference on Software Engineering …, 2022
Mandates: National Natural Science Foundation of China
Trace Semantics for C++ 11 Memory Model
L Xiao, H Zhu, S Chen, M He, S Qin
Formal Aspects of Computing, 2022
Mandates: National Natural Science Foundation of China
A multi-agent spatial logic for scenario-based decision modeling and verification in platoon systems
J Xu, Y Huang, J Shi, S Qin
Journal of Computer Science and Technology 36, 1231-1247, 2021
Mandates: National Natural Science Foundation of China
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models
M Tian, J Shi, Z Hou, Y Huang, S Qin
2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021
Mandates: National Natural Science Foundation of China
Demystifying “bad” error messages in data science libraries
Y Tao, Z Chen, Y Liu, J Xuan, Z Xu, S Qin
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
Mandates: National Natural Science Foundation of China
Speeding up data manipulation tasks with alternative implementations: an exploratory study
Y Tao, S Tang, Y Liu, Z Xu, S Qin
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (4), 1-28, 2021
Mandates: National Natural Science Foundation of China
Bias field poses a threat to dnn-based x-ray recognition
B Tian, Q Guo, F Juefei-Xu, W Le Chan, Y Cheng, X Li, X Xie, S Qin
2021 IEEE international conference on multimedia and expo (ICME), 1-6, 2021
Mandates: US National Science Foundation, National Natural Science Foundation of China
Extracting automata from neural networks using active learning
Z Xu, C Wen, S Qin, M He
PeerJ Computer Science 7, e436, 2021
Mandates: National Natural Science Foundation of China
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols
W Lv, J Xiong, J Shi, Y Huang, S Qin
Journal of Intelligent Manufacturing 32, 441-457, 2021
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program