GWalloc: A self-adaptive generational wear-aware allocator for non-volatile main memory
Wang, Ziwei, Li, Wei, Shuai, Ziqi, Li, Qingan
Published in Microprocessors and microsystems (01.11.2023)
Published in Microprocessors and microsystems (01.11.2023)
Get full text
Journal Article
Symbolic Execution of Floating-point Programs: How far are we?
Zhang, Guofeng, Chen, Zhenbang, Shuai, Ziqi
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Get full text
Conference Proceeding
Symbolic Execution of MPI Programs with One-Sided Communications
Hu, Nenghui, Bian, Zheng, Shuai, Ziqi, Chen, Zhenbang, Zhang, Yufeng
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Get full text
Conference Proceeding
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution
Shuai, Ziqi, Chen, Zhenbang, Zhang, Yufeng, Yu, Hengbiao, Wang, Ji
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Published in 2023 30th Asia-Pacific Software Engineering Conference (APSEC) (04.12.2023)
Get full text
Conference Proceeding
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization
Zhang, Guofeng, Chen, Zhenbang, Shuai, Ziqi, Zhang, Yufeng, Wang, Ji
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Get full text
Conference Proceeding
Optimal Refinement-based Array Constraint Solving for Symbolic Execution
Liu, Meixi, Shuai, Ziqi, Liu, Luyao, Ma, Kelin, Ma, Ke
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)
Get full text
Conference Proceeding
Adaptive solving strategy synthesis for symbolic execution
Chen, Zhenbang, Zhang, Guofeng, Chen, Zehua, Shuai, Ziqi, Pan, Weiyu, Zhang, Yufeng, Wang, Ji
Published in Journal of software : evolution and process (01.04.2024)
Published in Journal of software : evolution and process (01.04.2024)
Get full text
Journal Article
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
Zhang, Tianqi, Zhang, Yufeng, Chen, Zhenbang, Shuai, Ziqi, Wang, Ji
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Get full text
Conference Proceeding
Synthesizing Smart Solving Strategy for Symbolic Execution
Chen, Zehua, Chen, Zhenbang, Shuai, Ziqi, Zhang, Yufeng, Pan, Weiyu
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Get full text
Conference Proceeding
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Zhang, Yufeng, Chen, Zhenbang, Shuai, Ziqi, Zhang, Tianqi, Li, Kenli, Wang, Ji
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)
Get full text
Conference Proceeding
A Wear Leveling Aware Memory Allocator for Both Stack and Heap Management in PCM-based Main Memory Systems
Li, Wei, Shuai, Ziqi, Xue, Chun Jason, Yuan, Mengting, Li, Qingan
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Get full text
Conference Proceeding
Selective Symbolization Based Efficient Symbolic Execution
Liu, Yang, Zhang, Guofeng, Chen, Zhenbang, Shuai, Ziqi
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01.12.2021)
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01.12.2021)
Get full text
Conference Proceeding
Hybrid execution test optimization method and device based on constraint segmentation
CHEN ZHENBANG, SHUAI ZIQI, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, LIU WANWEI, DONG WEI, WANG JI, LI SHANSHAN, HONG WEIJIANG, MAO XIAOGUANG
Year of Publication 05.07.2022
Get full text
Year of Publication 05.07.2022
Patent
Software automatic testing method based on function level selection symbolization mixed execution
CHEN ZHENBANG, ZHANG GUOFENG, SHUAI ZIQI, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, LIU WANWEI, DONG WEI, WANG JI, LI SHANSHAN, MAO XIAOGUANG
Year of Publication 04.03.2022
Get full text
Year of Publication 04.03.2022
Patent
Symbol execution optimization method based on partial solution Cache and reuse
CHEN ZHENBANG, SHUAI ZIQI, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, LIU WANWEI, DONG WEI, WANG JI, LIU KUNLIN, LI SHANSHAN, MA KELIN, MAO XIAOGUANG
Year of Publication 05.07.2022
Get full text
Year of Publication 05.07.2022
Patent
Symbol execution optimization method and device based on array information guidance
CHEN ZHENBANG, SHUAI ZIQI, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, DONG WEI, WANG JI, LI SHANSHAN, MAO XIAOGUANG
Year of Publication 15.01.2021
Get full text
Year of Publication 15.01.2021
Patent
Symbolic execution optimization method and device based on linear programming prediction
CHEN ZHENBANG, SHUAI ZIQI, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, DONG WEI, WANG JI, LI SHANSHAN, MAO XIAOGUANG
Year of Publication 01.01.2021
Get full text
Year of Publication 01.01.2021
Patent