Jianjun Zhao

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 32

Top Topics

Integration Testing

Quantum Computation

Symbolic Execution

Top Venues

ACM Trans. Softw. Eng. Methodol.

J. Syst. Softw.

Publications

Xiaoyu Guo, Jianjun Zhao, Pengzhan Zhao
On Repairing Quantum Programs Using ChatGPT. Q-SE@ICSE (2024)
Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao
On the effectiveness of graph data augmentation for source code learning. Knowl. Based Syst. 285 (2024)
Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao
Importance Guided Data Augmentation for Neural-Based Code Understanding. CoRR (2024)
Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. CoRR (2024)
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
Concolic Testing of Quantum Programs. CoRR (2024)
Xiaoyu Guo, Jianjun Zhao, Pengzhan Zhao
On Repairing Quantum Programs Using ChatGPT. CoRR (2024)
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO (2024)
Jianlang Chen, Xuhong Ren, Qing Guo, Felix Juefei-Xu, Di Lin, Wei Feng, Lei Ma, Jianjun Zhao
LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks. ICLR (2024)
Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. J. Syst. Softw. 216 (2024)
Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao
xFuzz: Machine Learning Guided Cross-Contract Fuzzing. IEEE Trans. Dependable Secur. Comput. 21 (2) (2024)
Peixun Long, Jianjun Zhao
Equivalence, identity, and unitarity checking in black-box testing of quantum programs. J. Syst. Softw. 211 (2024)
Jianlang Chen, Xuhong Ren, Qing Guo, Felix Juefei-Xu, Di Lin, Wei Feng, Lei Ma, Jianjun Zhao
LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks. CoRR (2024)
Peixun Long, Jianjun Zhao
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
Xiaoyu Guo, Takahiro Muta, Jianjun Zhao
Quantum Circuit Ansatz: Abstraction and Reuse of Quantum Algorithm Design. CoRR (2024)
Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. ISSTA (2023)
Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao
Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs. J. Syst. Softw. 205 (2023)
Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao
: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Xiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma, Jianjun Zhao
Widget Detection-based Testing for Industrial Mobile Games. ICSE-SEIP (2023)
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Jianjun Zhao
Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study. QRS Companion (2023)
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. SANER (2023)
Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
Generative Model-Based Testing on Decision-Making Policies. ASE (2023)
Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao
On the Effectiveness of Graph Data Augmentation for Source Code Learning. DSA (2023)
Zhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma, Yan Zheng, Yan Song, Yingfeng Chen, Jianjun Zhao
Neural Episodic Control with State Abstraction. ICLR (2023)
Yancan Mao, Jianjun Zhao, Shuhao Zhang, Haikun Liu, Volker Markl
MorphStream: Adaptive Scheduling for Scalable Transactional Stream Processing on Multicores. Proc. ACM Manag. Data 1 (1) (2023)
Junjie Luo, Jianjun Zhao
Enhancing Code Safety in Quantum Intermediate Representation. ASE (2023)
Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao
QChecker: Detecting Bugs in Quantum Programs via Static Analysis. Q-SE@ICSE (2023)
Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. ESEC/SIGSOFT FSE (2023)
Jianjun Zhao
Static Analysis for Quantum Software Correctness and Reliability (Keynote). Programming (2023)
Pengzhan Zhao, Xiongfei Wu, Junjie Luo, Zhuo Li, Jianjun Zhao
An Empirical Study of Bugs in Quantum Machine Learning Frameworks. QSW (2023)
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE (2023)
Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao
Evading DeepFake Detectors via Adversarial Statistical Consistency. CVPR (2023)