| 0 | -- | 0 | Xin Zhang, Zhiwen Yu, Jiaqi Liu, Hui Wang, Liang Wang, Bin Guo. HMPT: a human-machine cooperative program translation method |
| 0 | -- | 0 | Nicolas Dilley, Julien Lange. Automated verification of concurrent go programs via bounded model checking |
| 0 | -- | 0 | Jinyin Chen, Jie Ge, Haibin Zheng. ActGraph: prioritization of test cases based on deep neural network activation graph |
| 1 | -- | 0 | Elahe Habibi, Seyed-Hassan Mirian-Hosseinabadi. Sharif-TaaWS: a tool to automate unit testing of web services |
| 2 | -- | 0 | Aradea, Iping Supriana, Kridanto Surendro. ARAS: adaptation requirements for adaptive systems |
| 3 | -- | 0 | Laura Panizo, María-del-Mar Gallardo. STAn: analysis of data traces using an event-driven interval temporal logic |
| 4 | -- | 0 | Bo Zhang 0057, Hongyu Zhang 0002, Van-Hoang Le, Pablo Moscato, Aozhong Zhang. Semi-supervised and unsupervised anomaly detection by mining numerical workflow relations from system logs |
| 5 | -- | 0 | Yuan Huang 0002, Jinbo Huang, Xiangping Chen, Kunning He, Xiaocong Zhou. BCGen: a comment generation method for bytecode |
| 6 | -- | 0 | Leandro Antonelli 0001, Sandro Bimonte, Stefano Rizzi. Multidimensional modeling driven from a domain language |
| 7 | -- | 0 | Mohsin Ahmed, Saif ur Rehman Khan, Khubaib Amjad Alam. An NLP-based quality attributes extraction and prioritization framework in Agile-driven software development |
| 8 | -- | 0 | Jaehyung Lee, Hangyeol Cho, Woosuk Lee. Madusa: mobile application demo generation based on usage scenarios |
| 9 | -- | 0 | Huiyan Wang, Ziqi Chen, Chang Xu 0001. Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis |
| 10 | -- | 0 | Yuning Cui 0002, Yi Sun 0006, Zhaowen Lin. DroidHook: a novel API-hook based Android malware dynamic analysis sandbox |
| 11 | -- | 0 | Zejun Wang, Fang Liu, Yiyang Hao, Zhi Jin. AdaComplete: improve DL-based code completion method's domain adaptability |
| 12 | -- | 0 | Jiaxuan Han, Cheng Huang 0003, Siqi Sun, Zhonglin Liu, Jiayong Liu. bjXnet: an improved bug localization model based on code property graph and attention mechanism |
| 13 | -- | 0 | Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto. Data-driven prototyping via natural-language-based GUI retrieval |
| 14 | -- | 0 | Xiaoyuan Xie, Shuo Jin, Songqiang Chen. +: a novel testing method for question answering software via asking recursive questions |
| 15 | -- | 0 | Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto. Correction to: Data-driven prototyping via natural-language-based GUI retrieval |