Convolutional neural networks-based health risk modelling of some heavy metals in a soil-rice system by Li, Panpan, Hao, Huijuan, Bai, Yang, Li, Yuanyuan, Mao, Xiaoguang, Xu, Jianjun, Liu, Meng, Lv, Yuntao, Chen, Wanming, Ge, Dabing

Get full text

Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments by Yang, Deheng, He, Jiayu, Mao, Xiaoguang, Li, Tun, Lei, Yan, Yi, Xin, Wu, Jiang

Get full text

Counterexample-Preserving Reduction for Symbolic Model Checking by Liu, Wanwei, Wang, Rui, Fu, Xianjin, Wang, Ji, Dong, Wei, Mao, Xiaoguang

Get full text

Automated Patch Correctness Assessment: How Far are We? by Wang, Shangwen, Wen, Ming, Lin, Bo, Wu, Hongjun, Qin, Yihao, Zou, Deqing, Mao, Xiaoguang, Jin, Hai

Request full text

Influential Global and Local Contexts Guided Trace Representation for Fault Localization by Zhang, Zhuo, Lei, Yan, Su, Ting, Yan, Meng, Mao, Xiaoguang, Yu, Yue

Get full text

P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis by Xu, Rulin, Mao, Xiaoguang, Chen, Luohui

Request full text

ContextAug: model-domain failing test augmentation with contextual information by ZHANG, Zhuo, XUE, Jianxin, YANG, Deheng, MAO, Xiaoguang

Get full text

Improving fault localization with pre-training by ZHANG, Zhuo, LI, Ya, XUE, Jianxin, MAO, Xiaoguang

Get full text

AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization by Sun, Xinyu, Liu, Wanwei, Wang, Shangwen, Chen, Tingyu, Tao, Ye, Mao, Xiaoguang

Get full text

How test suites impact fault localisation starting from the size by Lei, Yan, Sun, Chengnian, Mao, Xiaoguang, Su, Zhendong

Request full text

Convolutional neural network-based applied research on the enrichment of heavy metals in the soil–rice system in China by Li, Panpan, Hao, Huijuan, Mao, Xiaoguang, Xu, Jianjun, Lv, Yuntao, Chen, Wanming, Ge, Dabing, Zhang, Zhuo

Get full text

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives by Wang, Rui, Liu, Wanwei, Li, Tun, Mao, Xiaoguang, Wang, Ji

Get full text

Towards More Precise Coincidental Correctness Detection With Deep Semantic Learning by Xie, Huan, Lei, Yan, Yan, Meng, Li, Shanshan, Mao, Xiaoguang, Yu, Yue, Lo, David

Get full text

Automated regression unit test generation for program merges by Ji, Tao, Chen, Liqian, Mao, Xiaoguang, Yi, Xin, Jiang, Jiahong

Get full text

Leveraging specifications of subcomponents to mine precise specifications of composite components by Ziying Dai, Xiaoguang Mao, Yan Lei, Liqian Chen

Request full text

Pre-implementation Method Name Prediction for Object-oriented Programming by Wang, Shangwen, Wen, Ming, Lin, Bo, Liu, Yepang, Bissyandé, Tegawendé F., Mao, Xiaoguang

Get full text

Simple but Powerful Beginning: Metamorphic Verification Framework for Cryptographic Hardware Design by Xu, Jianjun, Wu, Jiang, He, Jiayu, Yang, Deheng, Mao, Xiaoguang

Request full text

FPCC: Detecting Floating-Point Errors via Chain Conditions by Yi, Xin, Yu, Hengbiao, Chen, Liqian, Mao, Xiaoguang, Wang, Ji

Get full text

Fusing Code Searchers by Wang, Shangwen, Geng, Mingyang, Lin, Bo, Sun, Zhensu, Wen, Ming, Liu, Yepang, Li, Li, Bissyande, Tegawende F., Mao, Xiaoguang

Get full text

Improving deep‐learning‐based fault localization with resampling by Zhang, Zhuo, Lei, Yan, Mao, Xiaoguang, Yan, Meng, Xu, Ling, Wen, Junhao

Get full text