Shengchao Qin

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 83

Top Venues

TASE

CoRR

Sci. Comput. Program.

ICECCS

Publications

Jiacheng Jiang, Cheng Wen, Shengchao Qin
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. TASE (2024)
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? ACM Trans. Knowl. Discov. Data 18 (7) (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR (2024)
Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. ICSE (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) (2024)
Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian
CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. TASE (2024)
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? IEEE Trans. Knowl. Data Eng. 18 (7) (2024)
Bihuan Chen, Yang Liu, Xin Peng, Yijian Wu, Shengchao Qin
Baton: symphony of random testing and concolic testing through machine learning and taint analysis. Sci. China Inf. Sci. 66 (3) (2023)
Zhiwu Xu, Yazheng Liu, Shengchao Qin, Zhong Ming
Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming. IEEE Trans. Reliab. 72 (3) (2023)
Yulin Wu, Zhiwu Xu, Shengchao Qin
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. TASE (2023)
Zhong Ming, Lijun Zhang, Shengchao Qin
Preface to Special Issue on Analysis and Verification of Intelligent Systems. Int. J. Softw. Informatics 12 (4) (2022)
Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR (2022)
Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
Preface. J. Comput. Sci. Technol. 37 (1) (2022)
Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin
Controlled Concurrency Testing via Periodical Scheduling. ICSE (2022)
Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
Algebraic Semantics for C++11 Memory Model. COMPSAC (2022)
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest. Int. J. Softw. Informatics 12 (4) (2022)
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR (2022)
Dominique Méry, Shengchao Qin
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China. Sci. Comput. Program. 218 (2022)
Tao Xie, Shengchao Qin, Wenhui Zhang
Preface. J. Comput. Sci. Technol. 36 (6) (2021)
Jingwen Xu, Yanhong Huang, Jianqi Shi, Shengchao Qin
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems. J. Comput. Sci. Technol. 36 (6) (2021)
Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng. 47 (1) (2021)
Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, Shengchao Qin
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols. J. Intell. Manuf. 32 (2) (2021)
Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He
Extracting automata from neural networks using active learning. PeerJ Comput. Sci. 7 (2021)
Binyu Tian, Qing Guo, Felix Juefei-Xu, Wen Le Chan, Yupeng Cheng, Xiaohong Li, Xiaofei Xie, Shengchao Qin
Bias Field Poses a Threat to DNN-Based X-Ray Recognition. ICME (2021)
Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin
Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. TASE (2021)
Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, Shengchao Qin
Demystifying "bad" error messages in data science libraries. ESEC/SIGSOFT FSE (2021)
Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR (2021)
Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui
Typestate-guided fuzzer for discovering use-after-free vulnerabilities. ICSE (2020)
Wanling Xie, Huibiao Zhu, Shengchao Qin
An Axiomatic Approach to BigrTiMo. TASE (2020)
Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin
Understanding Performance Concerns in the API Documentation of Data Science Libraries. ASE (2020)
Mengda He, Shengchao Qin, Zhiwu Xu
A Program Logic for Reasoning About C11 Programs With Release-Sequences. IEEE Access 8 (2020)
Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin
Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. TASE (2020)
Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu
MemLock: memory usage guided fuzzing. ICSE (2020)
Liming Zhai, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Wei Feng, Shengchao Qin, Yang Liu
It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception. CoRR (2020)
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA (2020)
Binyu Tian, Qing Guo, Felix Juefei-Xu, Wen Le Chan, Yupeng Cheng, Xiaohong Li, Xiaofei Xie, Shengchao Qin
Bias Field Poses a Threat to DNN-based X-Ray Recognition. CoRR (2020)
Christopher Curry, Quang Loc Le, Shengchao Qin
Bi-Abductive Inference for Shape and Ordering Properties. ICECCS (2019)
Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin
How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? ASE (2019)
Zhiwu Xu, Cheng Wen, Shengchao Qin
Type Learning for Binaries and Its Applications. IEEE Trans. Reliab. 68 (3) (2019)
Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu
Locating vulnerabilities in binaries via memory layout recovering. ESEC/SIGSOFT FSE (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA (2019)
Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin
Automated Verification of CountDownLatch. CoRR (2019)
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30 (3-4) (2018)
Wanling Xie, Huibiao Zhu, Shengchao Qin
UTP Semantics for BigrTiMo. ICFEM (2018)
Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
Automated Modular Verification for Relaxed Communication Protocols. APLAS (2018)
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics. Int. J. Parallel Program. 46 (6) (2018)
Florin Craciun, Wei-Ngan Chin, Shengchao Qin
Variant Region Types. ICECCS (2018)
Quang Loc Le, Jun Sun, Shengchao Qin
Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) (2018)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) (2018)
Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. ICFEM (2018)
Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
Towards 'Verifying' a Water Treatment System. FM (2018)
Mengda He, Shengchao Qin, João Fernando Ferreira
Towards a Program Logic for C11 Release-Sequences. TASE (2018)
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin
Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. 30 (3) (2018)
Zhiwu Xu, Cheng Wen, Shengchao Qin
State-taint analysis for detecting resource bugs. Sci. Comput. Program. 162 (2018)
Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin
Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM (2017)
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. 148 (2017)
Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming
Effective Malware Detection Based on Behaviour and Data Features. SmartCom (2017)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI (2017)
Chunyan Mu, Shengchao Qin
Time-sensitive information flow control in timed event-B. TASE (2017)
Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. 139 (2017)
Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin
Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Trans. Software Eng. 43 (11) (2017)
Yifeng Zeng, Zhang Zhang, The Anh Han, Iain R. Spears, Shengchao Qin
Using Intention Recognition in a Simulation Platform to Assess Physical Activity Levels of an Office Building. AAMAS (2017)
Zhiwu Xu, Cheng Wen, Shengchao Qin
Learning Types for Binaries. ICFEM (2017)
Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM (2017)
Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin
Formalization and Verification of the Powerlink Protocol Using CSP. APSEC (2016)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI (2016)
Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. ICECCS (2016)
Yifeng Zeng, Xuefeng Chen, Gao Cong, Shengchao Qin, Jing Tang, Yanping Xiang
Maximizing influence under influence loss constraint in social networks. Expert Syst. Appl. 55 (2016)
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
Reasoning about Fences and Relaxed Atomics. PDP (2016)
Zhiwu Xu, Dongxiao Fan, Shengchao Qin
State-Taint Analysis for Detecting Resource Bugs. TASE (2016)
Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin
基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). 计算机科学 43 (9) (2016)
Jingyi Wang, Jun Sun, Shengchao Qin
Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement. CoRR (2016)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS (2015)
Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin
Termination and non-termination specification inference. PLDI (2015)
Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9 (3) (2015)
Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin
TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE (2015)
Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu
Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. 105 (2015)
Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang
Optimal Route Search with the Coverage of Users' Preferences. IJCAI (2015)
Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin
XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). 计算机科学 42 (Z11) (2015)
Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. 27 (1) (2015)
Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuanshun Dai
On Information Coverage for Location Category Based Point-of-Interest Recommendation. AAAI (2015)
Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin
GPU Accelerated On-the-Fly Reachability Checking. ICECCS (2015)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82 (2014)
João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Expressive program verification via structured specifications. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin
Choreography Scenario-Based Test Data Generation. TASE (2014)
Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
Shape Analysis via Second-Order Bi-Abduction. CAV (2014)
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. EMSOFT (2013)
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
Linking the Semantics of BPEL Using Maude. APSEC (1) (2013)
Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
Automated Specification Discovery via User-Defined Predicates. ICFEM (2013)
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang
Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods (2013)
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
A UTP Semantics for Communicating Processes with Shared Variables. ICFEM (2013)
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM (2013)
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS (2013)
Granville Barnett, Shengchao Qin
Data-Race-Freedom of Concurrent Programs. APSEC (1) (2013)
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7 (5) (2013)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50 (2013)
Granville Barnett, Shengchao Qin
Moverness for Locks and Transactions. TASE (2012)
Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55 (12) (2012)

Shengchao Qin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shengchao Qin