Jianjun Zhao

253 papers A* 30A 25B 13C 10Misc 5Journal 103Unranked 66
YearRankTypeTitle / Venue / Authors
2026 J jnl
GenCode: A generic data augmentation framework for boosting deep learning-based code understanding.
Empir. Softw. Eng.
Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2026 J jnl
Orchestrating optimization passes of machine learning compiler for reducing memory footprints of computation graphs.
J. Syst. Archit.
Qianwei Yu, Pengbo Nie, Zihan Wang, Chengcheng Wan, Ziyi Lin, He Jiang, Jianjun Zhao, Lei Qiao, Le Chen, Yuting Chen
2026 B conf
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs.
FASE
Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2026 J jnl
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs.
CoRR
Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2026 J jnl
QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing.
CoRR
Jiaming Ye, Fuyuan Zhang, Shangzhou Xia, Xiaoyu Guo, Xiongfei Wu, Jianjun Zhao, Yinxing Xue
2026 J jnl
QSolver: A Quantum Constraint Solver.
CoRR
Shangzhou Xia, Haitao Fu, Jianjun Zhao
2026 J jnl
Software Testing in the Quantum World.
Computer
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026 J jnl
Software Testing in the Quantum World.
CoRR
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2025 A conf
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.
DATE
Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao
2025 J jnl
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.
CoRR
Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao
2025 J jnl
An Adversarial Attack via Penalty Method.
IEEE Access
Jiyuan Sun, Haibo Yu, Jianjun Zhao
2025 J jnl
Automated Generation of Benchmarks for Falsification of STL Specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Jianjun Zhao
2025 J jnl
Boosting source code learning with text-oriented data augmentation: an empirical study.
Empir. Softw. Eng.
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2025 A conf
ClapFM-EVC: High-Fidelity and Flexible Emotional Voice Conversion with Dual Control from Natural Language and Speech.
INTERSPEECH
Yu Pan, Yanni Hu, Yuguang Yang, Jixun Yao, Jianhao Ye, Hongbin Zhou, Lei Ma, Jianjun Zhao
2025 J jnl
ClapFM-EVC: High-Fidelity and Flexible Emotional Voice Conversion with Dual Control from Natural Language and Speech.
CoRR
Yu Pan, Yanni Hu, Yuguang Yang, Jixun Yao, Jianhao Ye, Hongbin Zhou, Lei Ma, Jianjun Zhao
2025 J jnl
Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality.
Proc. ACM Program. Lang.
Guanqin Zhang, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 J jnl
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact).
Dagstuhl Artifacts Ser.
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 A conf
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.
ECOOP
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 J jnl
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.
CoRR
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
2025 J jnl
Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation.
J. Syst. Softw.
Deyun Lyu, Yi Li, Zhenya Zhang, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2025 J jnl
Formalization of Quantum Intermediate Representations for code safety.
J. Syst. Softw.
Junjie Luo, Jianjun Zhao
2025 J jnl
Improving Adversarial Training for Two-player Competitive Games via Episodic Reward Engineering.
Trans. Mach. Learn. Res.
Siyuan Chen, Fuyuan Zhang, Zhuo Li, Xiongfei Wu, Jianlang Chen, Pengzhan Zhao, Lei Ma, Jianjun Zhao
2025 A* conf
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
ASE
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2025 J jnl
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
CoRR
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2025 A* conf
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs.
ASE
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
2025 J jnl
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs.
CoRR
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
2025 A* conf
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation.
ASE
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao
2025 J jnl
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation.
CoRR
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao
2025 J jnl
QMon: Monitoring the Execution of Quantum Circuits with Mid-Circuit Measurement and Reset.
CoRR
Ning Ma, Jianjun Zhao, Foutse Khomh, Shaukat Ali, Heng Li
2025 A* conf
QuanBench: Benchmarking Quantum Code Generation with Large Language Models.
ASE
Xiaoyu Guo, Minggu Wang, Jianjun Zhao
2025 B conf
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development.
COMPSAC
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
2025 J jnl
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development.
CoRR
Xiaoyu Guo, Shinobu Saito, Jianjun Zhao
2025 J jnl
Quantum Concolic Testing.
Proc. ACM Softw. Eng.
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
2025 J jnl
Quantum Software Engineering: Roadmap and Challenges Ahead.
ACM Trans. Softw. Eng. Methodol.
Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer
2025 J jnl
S2ST-Omni: An Efficient and Scalable Multilingual Speech-to-Speech Translation Framework via Seamless Speech-Text Alignment and Streaming Speech Generation.
CoRR
Yu Pan, Yuguang Yang, Yanni Hu, Jianhao Ye, Xiang Zhang, Hongbin Zhou, Lei Ma, Jianjun Zhao
2025 J jnl
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences.
ACM Trans. Softw. Eng. Methodol.
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2025 A conf
TGSR: Template-Guided Semantic Resampling against Adversarial Tracking Attacks.
ICME
Xuhong Ren, Jianlang Chen, Wanli Xue, Lei Ma, Qing Guo, Jianjun Zhao, Shengyong Chen
2025 — conf
Takin-VC: Expressive Zero-Shot Voice Conversion via Adaptive Hybrid Content Encoding and Enhanced Timbre Modeling.
ACL (1)
Yuguang Yang, Yu Pan, Jixun Yao, Xiang Zhang, Jianhao Ye, Hongbin Zhou, Lei Xie, Lei Ma, Jianjun Zhao
2025 J jnl
Zero-Shot Voice Conversion via Content-Aware Timbre Ensemble and Conditional Flow Matching.
IEEE Signal Process. Lett.
Yu Pan, Yuguang Yang, Jixun Yao, Lei Ma, Jianjun Zhao
2024 — conf
Black-box l1 and £2 Adversarial Attack Based on Genetic Algorithm.
AITest
Jiyuan Sun, Haibo Yu, Jianjun Zhao
2024 J jnl
CTEFM-VC: Zero-Shot Voice Conversion Based on Content-Aware Timbre Ensemble Modeling and Flow Matching.
CoRR
Yu Pan, Yuguang Yang, Jixun Yao, Jianhao Ye, Hongbin Zhou, Lei Ma, Jianjun Zhao
2024 J jnl
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead.
CoRR
Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer
2024 J jnl
Concolic Testing of Quantum Programs.
CoRR
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
2024 J jnl
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search.
ACM Trans. Softw. Eng. Methodol.
Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao
2024 J jnl
Equivalence, identity, and unitarity checking in black-box testing of quantum programs.
J. Syst. Softw.
Peixun Long, Jianjun Zhao
2024 Misc conf
GEmo-CLAP: Gender-Attribute-Enhanced Contrastive Language-Audio Pretraining for Accurate Speech Emotion Recognition.
ICASSP
Yu Pan, Yanni Hu, Yuguang Yang, Wen Fei, Jixun Yao, Heng Lu, Lei Ma, Jianjun Zhao
2024 J jnl
GMP-ATL: Gender-augmented Multi-scale Pseudo-label Enhanced Adaptive Transfer Learning for Speech Emotion Recognition via HuBERT.
CoRR
Yu Pan, Yuguang Yang, Heng Lu, Lei Ma, Jianjun Zhao
2024 — conf
GMP-TL: Gender-Augmented Multi-Scale Pseudo-Label Enhanced Transfer Learning For Speech Emotion Recognition.
SLT
Yu Pan, Yuguang Yang, Yuheng Huang, Tiancheng Jin, Jingjing Yin, Yanni Hu, Heng Lu, Lei Ma, Jianjun Zhao
2024 — conf
Generating Adversarial Examples Using Parameter-Free Penalty Method.
QRS Companion
Jiyuan Sun, Haibo Yu, Jianjun Zhao
2024 — conf
Impact of V2V Communication on Robustness of Autonomous Driving Systems.
ISSRE (Workshops)
Lejin Li, Xiao-Yi Zhang, Shuncheng Tang, Zhenya Zhang, Jianjun Zhao
2024 J jnl
Importance Guided Data Augmentation for Neural-Based Code Understanding.
CoRR
Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao
2024 A* conf
LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks.
ICLR
Jianlang Chen, Xuhong Ren, Qing Guo, Felix Juefei-Xu, Di Lin, Wei Feng, Lei Ma, Jianjun Zhao
2024 J jnl
LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks.
CoRR
Jianlang Chen, Xuhong Ren, Qing Guo, Felix Juefei-Xu, Di Lin, Wei Feng, Lei Ma, Jianjun Zhao
2024 A conf
OPASS: Orchestrating TVM's Passes for Lowering Memory Footprints of Computation Graphs.
ICSME
Pengbo Nie, Zihan Wang, Chengcheng Wan, Ziyi Lin, He Jiang, Jianjun Zhao, Yuting Chen
2024 — conf
On Repairing Quantum Programs Using ChatGPT.
Q-SE@ICSE
Xiaoyu Guo, Jianjun Zhao, Pengzhan Zhao
2024 J jnl
On Repairing Quantum Programs Using ChatGPT.
CoRR
Xiaoyu Guo, Jianjun Zhao, Pengzhan Zhao
2024 J jnl
On the effectiveness of graph data augmentation for source code learning.
Knowl. Based Syst.
Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao
2024 J jnl
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing.
J. Syst. Softw.
Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2024 J jnl
PromptCodec: High-Fidelity Neural Speech Codec using Disentangled Representation Learning based Adaptive Feature-aware Prompt Encoders.
CoRR
Yu Pan, Lei Ma, Jianjun Zhao
2024 J jnl
Quantum Circuit Ansatz: Abstraction and Reuse of Quantum Algorithm Design.
CoRR
Xiaoyu Guo, Takahiro Muta, Jianjun Zhao
2024 — conf
Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design.
QSW
Xiaoyu Guo, Takahiro Muta, Jianjun Zhao
2024 J jnl
SeDPGK: Semi-supervised software defect prediction with graph representation learning and knowledge distillation.
Inf. Softw. Technol.
Wangshu Liu, Ye Yue, Xiang Chen, Qing Gu, Pengzhan Zhao, Xuejun Liu, Jianjun Zhao
2024 A conf
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications.
GECCO
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
2024 J jnl
Takin-VC: Zero-shot Voice Conversion via Jointly Hybrid Content and Memory-Augmented Context-Aware Timbre Modeling.
CoRR
Yuguang Yang, Yu Pan, Jixun Yao, Xiang Zhang, Jianhao Ye, Hongbin Zhou, Lei Xie, Lei Ma, Jianjun Zhao
2024 J jnl
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing.
ACM Trans. Softw. Eng. Methodol.
Peixun Long, Jianjun Zhao
2024 J jnl
xFuzz: Machine Learning Guided Cross-Contract Fuzzing.
IEEE Trans. Dependable Secur. Comput.
Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao
2023 — conf
An Empirical Study of Bugs in Quantum Machine Learning Frameworks.
QSW
Pengzhan Zhao, Xiongfei Wu, Junjie Luo, Zhuo Li, Jianjun Zhao
2023 J jnl
An Empirical Study of Bugs in Quantum Machine Learning Frameworks.
CoRR
Pengzhan Zhao, Xiongfei Wu, Junjie Luo, Zhuo Li, Jianjun Zhao
2023 J jnl
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.
CoRR
Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma, Jianjun Zhao
2023 J jnl
Boosting Source Code Learning with Data Augmentation: An Empirical Study.
CoRR
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2023 — conf
Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study.
QRS Companion
Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Jianjun Zhao
2023 J jnl
Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs.
J. Syst. Softw.
Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao
2023 — conf
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks.
ESEC/SIGSOFT FSE
Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
2023 A* conf
Enhancing Code Safety in Quantum Intermediate Representation.
ASE
Junjie Luo, Jianjun Zhao
2023 A* conf
Evading DeepFake Detectors via Adversarial Statistical Consistency.
CVPR
Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao
2023 J jnl
Evading DeepFake Detectors via Adversarial Statistical Consistency.
CoRR
Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao
2023 J jnl
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
IEEE Trans. Software Eng.
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2023 J jnl
Formalization of Quantum Intermediate Representations for Code Safety.
CoRR
Junjie Luo, Jianjun Zhao
2023 A conf
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing.
ISSTA
Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao
2023 A* conf
Generative Model-Based Testing on Decision-Making Policies.
ASE
Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
2023 A conf
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation.
SANER
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao
2023 A* conf
Neural Episodic Control with State Abstraction.
ICLR
Zhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma, Yan Zheng, Yan Song, Yingfeng Chen, Jianjun Zhao
2023 J jnl
Neural Episodic Control with State Abstraction.
CoRR
Zhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma, Yan Zheng, Yan Song, Yingfeng Chen, Jianjun Zhao
2023 Misc conf
On Refactoring Quantum Programs in Q#.
QCE
Jianjun Zhao
2023 — conf
On the Effectiveness of Graph Data Augmentation for Source Code Learning.
DSA
Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao
2023 — conf
QChecker: Detecting Bugs in Quantum Programs via Static Analysis.
Q-SE@ICSE
Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao
2023 J jnl
QChecker: Detecting Bugs in Quantum Programs via Static Analysis.
CoRR
Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao
2023 A* conf
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
ASE
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
2023 — conf
ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold.
QSW
Tiancheng Jin, Jianjun Zhao
2023 J jnl
ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold.
CoRR
Tiancheng Jin, Jianjun Zhao
2023 — conf
Static Analysis for Quantum Software Correctness and Reliability (Keynote).
Programming
Jianjun Zhao
2023 — conf
Static Entanglement Analysis of Quantum Programs.
Q-SE@ICSE
Shangzhou Xia, Jianjun Zhao
2023 J jnl
Static Entanglement Analysis of Quantum Programs.
CoRR
Shangzhou Xia, Jianjun Zhao
2023 J jnl
TAT: Targeted backdoor attacks against visual object tracking.
Pattern Recognit.
Ziyi Cheng, Baoyuan Wu, Zhenya Zhang, Jianjun Zhao
2023 — conf
Widget Detection-based Testing for Industrial Mobile Games.
ICSE-SEIP
Xiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma, Jianjun Zhao
2022 A conf
A Comprehensive Study of Bug Fixes in Quantum Programs.
SANER
Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao
2022 J jnl
A Comprehensive Study of Bug Fixes in Quantum Programs.
CoRR
Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao
2022 J jnl
AutoQC: Automated Synthesis of Quantum Circuits Using Neural Network.
CoRR
Kentaro Murakami, Jianjun Zhao
2022 C conf
Automated Synthesis of Quantum Circuits using Neural Network.
QRS
Kentaro Murakami, Jianjun Zhao
2022 — conf
Bug Patterns in Probabilistic Programming Systems.
QRS Companion
Shoma Hamada, Haibo Yu, Vo Dai Trinh, Yuri Nishimura, Jianjun Zhao
2022 J jnl
DARTSRepair: Core-failure-set Guided DARTS for Network Robustness to Common Corruptions.
CoRR
Xuhong Ren, Jianlang Chen, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao, Shengyong Chen
2022 J jnl
DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions.
Pattern Recognit.
Xuhong Ren, Jianlang Chen, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao, Shengyong Chen
2022 J jnl
DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment.
IEEE Trans. Reliab.
Bing Yu, Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jianjun Zhao
2022 J jnl
Enhancing Code Classification by Mixup-Based Data Augmentation.
CoRR
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2022 J jnl
Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling.
CoRR
Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao
2022 J jnl
On the usage and development of deep learning compilers: an empirical study on TVM.
Empir. Softw. Eng.
Xiongfei Wu, Jinqiu Yang, Lei Ma, Yinxing Xue, Jianjun Zhao
2022 J jnl
Towards Benchmarking GUI Compatibility Testing on Mobile Applications.
CoRR
Jiaming Ye, Mulong Xie, Siyuan Chen, Fuyuan Zhang, Lei Ma, Zhenchang Xing, Jianjun Zhao
2022 J jnl
Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures.
J. Syst. Softw.
Jiaming Ye, Mingliang Ma, Yun Lin, Lei Ma, Yinxing Xue, Jianjun Zhao
2021 A conf
An Empirical Study on Common Bugs in Deep Learning Compilers.
ISSRE
Xiaoting Du, Zheng Zheng, Lei Ma, Jianjun Zhao
2021 — conf
An empirical study of GUI widget detection for industrial mobile games.
ESEC/SIGSOFT FSE
Jiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma, Ruochen Huang, Yingfeng Chen, Yinxing Xue, Jianjun Zhao
2021 J jnl
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.
CoRR
Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Lei Ma, Jianjun Zhao
2021 — conf
Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study.
QRS Companion
Le Manh Duc, Haibo Yu, Jianjun Zhao
2021 A* conf
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs.
ASE
Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan
2021 J jnl
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs.
CoRR
Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan
2021 J jnl
DeepMix: Online Auto Data Augmentation for Robust Visual Object Tracking.
CoRR
Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao
2021 A conf
Deepmix: Online Auto Data Augmentation for Robust Visual Object Tracking.
ICME
Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao
2021 — conf
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.
CAV (1)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021 A* conf
EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.
AAAI
Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao
2021 — conf
Identifying Bug Patterns in Quantum Programs.
Q-SE@ICSE
Pengzhan Zhao, Jianjun Zhao, Lei Ma
2021 J jnl
Identifying Bug Patterns in Quantum Programs.
CoRR
Pengzhan Zhao, Jianjun Zhao, Lei Ma
2021 A* conf
Learning to Adversarially Blur Visual Object Tracking.
ICCV
Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao
2021 J jnl
Learning to Adversarially Blur Visual Object Tracking.
CoRR
Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao
2021 J jnl
Machine Learning Guided Cross-Contract Fuzzing.
CoRR
Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao
2021 — conf
On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
NFM
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021 — conf
Some Size and Structure Metrics for Quantum Software.
Q-SE@ICSE
Jianjun Zhao
2021 J jnl
Some Size and Structure Metrics for Quantum Software.
CoRR
Jianjun Zhao
2020 C conf
An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness.
APSEC
Lingjun Zhou, Bing Yu, David Berend, Xiaofei Xie, Xiaohong Li, Jianjun Zhao, Xusheng Liu
2020 A* conf
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness.
ASE
David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao
2020 J jnl
DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment.
CoRR
Bing Yu, Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jianjun Zhao
2020 A* conf
DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.
ACM Multimedia
Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao
2020 J jnl
DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.
CoRR
Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao
2020 A conf
Few-Shot Guided Mix for DNN Repairing.
ICSME
Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, Jianjun Zhao
2020 A conf
How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software.
ICPC
Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue, Yang Liu, Jianjun Zhao
2020 A* conf
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems.
ASE
Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
2020 — conf
Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis.
QRS Companion
Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao
2020 J jnl
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty.
CoRR
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
2020 A* conf
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.
ICSE
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
2019 A* conf
A Quantitative Analysis Framework for Recurrent Neural Network.
ASE
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
2019 J jnl
API recommendation for event-driven Android application development.
Inf. Softw. Technol.
Weizhao Yuan, Hoang H. Nguyen, Lingxiao Jiang, Yuting Chen, Jianjun Zhao, Haibo Yu
2019 A* conf
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms.
ASE
Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li
2019 J jnl
An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms.
CoRR
Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li
2019 A* conf
Coverage-Guided Fuzzing for Feedforward Neural Networks.
ASE
Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
2019 A conf
DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems.
SANER
Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao
2019 A conf
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks.
ISSTA
Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See
2019 A* conf
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems.
ASE
Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao
2019 — conf
DeepStellar: model-based quantitative analysis of stateful deep learning systems.
ESEC/SIGSOFT FSE
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
2019 A conf
DeepVisual: a visual programming tool for deep learning systems.
ICPC
Chao Xie, Hua Qi, Lei Ma, Jianjun Zhao
2019 — conf
Scenario Testing of AngularJS-Based Single Page Web Applications.
ICWE Workshops
Gefei Zhang, Jianjun Zhao
2019 C conf
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems.
ICFEM
Yang Liu, Lei Ma, Jianjun Zhao
2018 J jnl
An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms.
CoRR
Qianyu Guo, Xiaofei Xie, Lei Ma, Qiang Hu, Ruitao Feng, Li Li, Yang Liu, Jianjun Zhao, Xiaohong Li
2018 J jnl
Combinatorial Testing for Deep Learning Systems.
CoRR
Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 J jnl
Coverage-Guided Fuzzing for Deep Neural Networks.
CoRR
Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Hongxu Chen, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See
2018 J jnl
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems.
CoRR
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Jianjun Zhao, Yang Liu
2018 J jnl
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.
CoRR
Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 A* conf
DeepGauge: multi-granularity testing criteria for deep learning systems.
ASE
Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 C conf
DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models.
APSEC
Qiang Hu, Lei Ma, Jianjun Zhao
2018 A conf
DeepMutation: Mutation Testing of Deep Learning Systems.
ISSRE
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 J jnl
DeepMutation: Mutation Testing of Deep Learning Systems.
CoRR
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 J jnl
Secure Deep Learning Engineering: A Software Quality Assurance Perspective.
CoRR
Lei Ma, Felix Juefei-Xu, Minhui Xue, Qiang Hu, Sen Chen, Bo Li, Yang Liu, Jianjun Zhao, Jianxiong Yin, Simon See
2018 J jnl
The role of model checking in software engineering.
Frontiers Comput. Sci.
Anil Kumar Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao
2018 J jnl
Tuning parallel symbolic execution engine for better performance.
Frontiers Comput. Sci.
Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao
2018 — conf
Type Conversion Sequence Recommendation Based on Semantic Web Technology.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Haibo Yu, Xi Jia, Tsunenori Mine, Jianjun Zhao
2018 C conf
Visualizing Interactions in AngularJS-based Single Page Web Applications.
SEKE
Gefei Zhang, Jianjun Zhao
2017 J jnl
SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code.
IEICE Trans. Inf. Syst.
Ziyi Lin, Yilei Zhou, Hao Zhong, Yuting Chen, Haibo Yu, Jianjun Zhao
2016 A* conf
Coverage-directed differential testing of JVM implementations.
PLDI
Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao
2016 A conf
Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs.
SANER
Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, Jianjun Zhao
2016 A* conf
LockPeeker: detecting latent locks in Java APIs.
ASE
Ziyi Lin, Hao Zhong, Yuting Chen, Jianjun Zhao
2016 A* conf
Mining revision histories to detect cross-language clones without intermediates.
ASE
Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao
2016 — conf
On the feasibility of detecting cross-platform code clones via identifier similarity.
SoftwareMining@ASE
Xiao Cheng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao
2016 A conf
Retrofitting automatic testing through library tests reusing.
ICPC
Lei Ma, Cheng Zhang, Bing Yu, Jianjun Zhao
2016 A conf
Rule-directed code clone synchronization.
ICPC
Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao
2016 A conf
Supporting Selective Undo for Refactoring.
SANER
Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao
2015 J jnl
BIFER: a biphasic trace filter approach to scalable prediction of concurrency errors.
Frontiers Comput. Sci.
Xi Chang, Zhuo Zhang, Peng Zhang, Jianxin Xue, Jianjun Zhao
2015 J jnl
Biped: Bidirectional Prediction of Order Violations.
IEICE Trans. Inf. Syst.
Xi Chang, Zhuo Zhang, Yan Lei, Jianjun Zhao
2015 A* conf
CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E).
ASE
Fei Lv, Hongyu Zhang, Jian-Guang Lou, Shaowei Wang, Dongmei Zhang, Jianjun Zhao
2015 A* conf
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T).
ASE
Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, Jianjun Zhao
2015 — conf
Trace-based debugging for advanced-dispatching programming languages.
ICOOOLPS@ECOOP
Christoph Bockisch, Marnix van 't Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao
2014 J jnl
A constraint-weaving approach to points-to analysis for AspectJ.
Frontiers Comput. Sci.
Qiang Sun, Yuting Chen, Jianjun Zhao
2014 — conf
AspectBreeze: integrating trustworthiness aspects into graph grammar supported architecture description language.
Internetware
Jingzhou Liu, Yuting Chen, Chen Li, Jianjun Zhao
2014 — conf
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.
SERE
Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao
2014 — ed.
Proceedings of the 9th International Workshop on Advanced Modularization Techniques, AOAsia 2014, Hong Kong, China, November 16, 2014
AOAsia@SIGSOFT FSE
Tomoyuki Aotani, Kung Chen, Shigeru Chiba, Takashi Ishio, Hidehiko Masuhara, Hongyu Zhang, Jianjun Zhao
2013 C conf
Constraint-based locality analysis for X10 programs.
PEPM
Qiang Sun, Yuting Chen, Jianjun Zhao
2013 — conf
Extracting URLs from JavaScript via program analysis.
ESEC/SIGSOFT FSE
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, Jianjun Zhao
2012 J jnl
An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems.
Sci. China Inf. Sci.
Yuming Zhou, Hareton Leung, Qinbao Song, Jianjun Zhao, Hongmin Lu, Lin Chen, Baowen Xu
2012 A* conf
Automatic parameter recommendation for practical API usage.
ICSE
Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou
2012 — conf
Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs.
QSIC
Jingxuan Tu, Lin Chen, Yuming Zhou, Jianjun Zhao, Baowen Xu
2012 — conf
MoonBox: debugging with online slicing and dryrun.
APSys
Cheng Zhang, Longwen Lu, Hucheng Zhou, Jianjun Zhao, Zheng Zhang
2012 — conf
Soot-based implementation of a demand-driven reaching definitions analysis.
SOAP@PLDI
Longwen Lu, Cheng Zhang, Jianjun Zhao
2011 — conf
AutoLog: facing log redundancy and insufficiency.
APSys
Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, Zheng Zhang
2011 A conf
EFindBugs: Effective Error Ranking for FindBugs.
ICST
Haihao Shen, Jianhong Fang, Jianjun Zhao
2011 A conf
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.
ECOOP
Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen
2011 B conf
Probabilistic Points-to Analysis for Java.
CC
Qiang Sun, Jianjun Zhao, Yuting Chen
2010 B conf
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible.
FASE
Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu
2010 — conf
BPGen: an automated breakpoint generator for debugging.
ICSE (2)
Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang
2009 A* conf
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs.
ASE
Yu Lin, Xucheng Tang, Yuting Chen, Jianjun Zhao
2009 A conf
Identifying semantic differences in AspectJ programs.
ISSTA
Martin Th Görg, Jianjun Zhao
2009 — conf
Incremental call graph reanalysis for AspectJ software.
ICSM
Yu Lin, Sai Zhang, Jianjun Zhao
2008 Misc conf
An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics.
TASE
Haihao Shen, Sai Zhang, Jianjun Zhao
2008 C conf
Aspect-Aware Points-to Analysis.
SCAM
Qiang Sun, Jianjun Zhao
2008 — conf
AutoFlow: An automatic debugging tool for AspectJ software.
ICSM
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
2008 — conf
Celadon: a change impact analysis tool for aspect-oriented programs.
ICSE Companion
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
2008 — conf
Change impact analysis for AspectJ programs.
ICSM
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
2008 — conf
Effective identification of failure-inducing changes: a hybrid approach.
PASTE
Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao
2008 — conf
Flota: a programmer assistant for locating faulty changes in AspectJ software evolution.
LATE@AOSD
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
2008 — conf
Maintenance support for aspect-oriented programs: opportinuties and challenges.
ICSM
Jianjun Zhao
2008 C conf
Test Case Prioritization Based on Analysis of Program Structure.
APSEC
Zengkai Ma, Jianjun Zhao
2008 — conf
XFindBugs: eXtended FindBugs for AspectJ.
PASTE
Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao
2007 — conf
1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07).
ICSE Companion
Alessandro Garcia, Elisa L. A. Baniassad, Cristina Videira Lopes, Christa Schwanninger, Jianjun Zhao
2007 J jnl
Assessment of Contemporary Modularization Techniques - ACoM'07: workshop report.
ACM SIGSOFT Softw. Eng. Notes
Alessandro Garcia, Phil Greenwood, George T. Heineman, Robert J. Walker, Yuanfang Cai, Hong Yul Yang, Elisa L. A. Baniassad, Cristina Videira Lopes, Christa Schwanninger, Jianjun Zhao
2007 — conf
On Identifying Bug Patterns in Aspect-Oriented Programs.
COMPSAC (1)
Sai Zhang, Jianjun Zhao
2007 — conf
Perspectives on automated testing of aspect-oriented programs.
WTAOP@AOSD
Tao Xie, Jianjun Zhao
2007 — conf
Specifying Pointcuts in AspectJ.
COMPSAC (2)
Yi Wang, Jianjun Zhao
2006 A* conf
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia).
ASE
Elisa L. A. Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao
2006 — conf
A framework and tool supports for generating test inputs of AspectJ programs.
AOSD
Tao Xie, Jianjun Zhao
2006 — conf
Control-Flow Analysis and Representation for Aspect-Oriented Programs.
QSIC
Jianjun Zhao
2006 A conf
Detecting Redundant Unit Tests for AspectJ Programs.
ISSRE
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
2006 — conf
Towards regression test selection for AspectJ programs.
WTAOP
Jianjun Zhao, Tao Xie, Nan Li
2004 J jnl
Complexity Metrics for Software Architectures.
IEICE Trans. Inf. Syst.
Jianjun Zhao
2004 B conf
Measuring Aspect Cohesion.
FASE
Jianjun Zhao, Baowen Xu
2004 J jnl
Model for Slicing JAVA Programs Hierarchically.
J. Comput. Sci. Technol.
Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao
2004 C conf
O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies.
PDCAT
Limin Xiang, Kazuo Ushijima, Kai Cheng, Jianjun Zhao, Cunwei Lu
2003 B conf
Data-Flow-Based Unit Testing of Aspect-Oriented Programs.
COMPSAC
Jianjun Zhao
2003 — conf
Measuring cohesion of packages in Ada95.
SIGAda
Baowen Xu, Zhenqiang Chen, Jianjun Zhao
2003 C conf
Partial Slicing for Large Programs.
SEKE
Zhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao
2003 B conf
Pipa: A Behavioral Interface Specification Language for AspectJ.
FASE
Jianjun Zhao, Martin C. Rinard
2002 — conf
A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis.
ICSM
Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang
2002 J jnl
An overview of methods for dependence analysis of concurrent programs.
ACM SIGPLAN Notices
Zhenqiang Chen, Baowen Xu, Jianjun Zhao
2002 — conf
Change impact analysis for aspect-oriented software evolution.
IWPSE
Jianjun Zhao
2002 J jnl
Change impact analysis to support architectural evolution.
J. Softw. Maintenance Res. Pract.
Jianjun Zhao, Hongji Yang, Liming Xiang, Baowen Xu
2002 J jnl
Concurrent Ada dead statements detection.
Inf. Softw. Technol.
Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao
2002 — conf
ICBMC: An Improved Cohesion Measure for Classes.
ICSM
Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang
2002 — conf
Slicing Aspect-Oriented Software.
IWPC
Jianjun Zhao
2002 Misc conf
Static Dependency Analysis for Concurrent Ada 95 Programs.
Ada-Europe
Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang
2002 J jnl
Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR.
Parallel Process. Lett.
Limin Xiang, Kazuo Ushijima, Jianjun Zhao
2001 — conf
A Program Dependence Model for Concurrent Logic Programs and its Applications.
ICSM
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
2001 J jnl
Applying Slicing Technique to Software Architectures
CoRR
Jianjun Zhao
2001 B conf
CLPKIDS: A Program Analysis System for Concurrent Logic Programs.
COMPSAC
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
2001 — conf
Change Impact Analysis for Architectural Evolution.
FFSE@CSMR
Jianjun Zhao
2001 — conf
Computing Executable Slices for Concurrent Logic Programs.
APAQS
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
2001 J jnl
On Assessing the Complexity of Software Architectures
CoRR
Jianjun Zhao
2001 J jnl
Using Dependence Analysis to Support Software Architecture Understanding
CoRR
Jianjun Zhao
2000 — conf
A Slicing-based Approach to Extracting Reusable Software Architectures.
CSMR
Jianjun Zhao
2000 B conf
Dependence Analysis of Java Bytecode.
COMPSAC
Jianjun Zhao
1999 — conf
Multithreaded Dependence Graphs for Concurrent Java Programs.
PDSE
Jianjun Zhao
1999 — conf
Slicing Concurrent Java Programs.
IWPC
Jianjun Zhao
1998 — conf
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.
CSMR
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1998 — conf
A Metrics Suite for Concurrent Logic Programs.
CSMR
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1998 B conf
Applying Slicing Technique to Software Architectures.
ICECCS
Jianjun Zhao
1998 Misc conf
Applying program slicing to software architectures.
CATA
Jianjun Zhao
1998 — conf
On assessing the complexity of software architectures.
ISAW@FSE
Jianjun Zhao
1996 B conf
Program dependence analysis of concurrent logic programs and its applications.
ICPADS
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1996 B conf
Static Slicing of Concurrent Object-Oriented Programs.
COMPSAC
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1995 B conf
Program Dependence Analysis of Concurrent Logic Programs and Its Applications.
ICLP
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima