| 2020 | Metamorphic Testing of Code Search Engines. | Zuohua Ding, Qingfen Zhang, Mingyue Jiang |
| 2020 | Learning Probabilistic Languages by k-Testable Machines. | Wenjing Chu, Marcello M. Bonsangue |
| 2020 | Measuring the Quality of B Abstract Machines with ISO/IEC 25010. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2020 | The Bouquet Algorithm for Model Checking Unbounded Until Properties. | Shiraj Arora, M. V. Panduranga Rao |
| 2020 | Formally Verifying Sequence Diagrams for Safety Critical Systems. | Xiaohong Chen, Frdric Mallet, Xiaoshan Liu |
| 2020 | Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. | Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin |
| 2019 | A Common Semantic Scoring Method for Chinese Subjective Questions. | Xinhua Zhu, Qingting Xu, Lanfang Zhang, Han Deng, Hongchao Chen |
| 2019 | Large-scale Detection of Privacy Leaks for BAT Browsers Extensions in China. | Yufei Zhao, Longtao He, Zhoujun Li, Liqun Yang, Hao Dong, Chao Li, Yu Wang |
| 2019 | A Logical Approach for the Schedulability Analysis of CCSL. | Yuanrui Zhang, Frdric Mallet, Huibiao Zhu, Yixiang Chen |
| 2019 | Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. | Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun |
| 2019 | Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. | Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda |
| 2019 | Optimizing Quantum Programs Against Decoherence: Delaying Qubits into Quantum Superposition. | Yu Zhang, Haowei Deng, Quanxi Li, Haoze Song, Leihai Nie |
| 2019 | Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. | Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang |
| 2019 | SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. | Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan |
| 2019 | Android Malware Family Classification and Characterization Using CFG and DFG. | Zhiwu Xu, Kerong Ren, Fu Song |
| 2019 | A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. | Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du |
| 2019 | A Co-Occurrence Recommendation Model of Software Security Requirement. | Yilin Xu, Weimin Ge, Xiaohong Li, Zhiyong Feng, Xiaofei Xie, Yude Bai |
| 2019 | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. | Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic |
| 2019 | Understanding Ineffective Events and Reducing Test Sequences for Android Applications. | Ping Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang |
| 2019 | Identify Blackboard Pattern Based on Ontology. | Lihui Tang, Lulu Wang, Bixin Li |
| 2019 | Stuttering for Markov Automata. | Arpit Sharma |
| 2019 | A HOL Theory of the Differential for Matrix Functions. | Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan |
| 2019 | A Denotational Semantics for Dynamic Architectures. | Diego Marmsoler |
| 2019 | ABAC Requirements Engineering for Database Applications. | Jim J. Longstaff, Mengda He |
| 2019 | Hardware Tripartite Synapse Architecture based on Stochastic Computing. | Junxiu Liu, Zhewei Liang, Yuling Luo, Jiadong Huang, Su Yang |