Program Dependence Analysis of Concurrent Logic Programs and Its Applications. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (ICLP, 1995)

Static Slicing of Concurrent Object-Oriented Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (COMPSAC, 1996)

Applying program slicing to software architectures. - Jianjun Zhao 001 (CATA, 1998)

A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (CSMR, 1998)

A Metrics Suite for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (CSMR, 1998)

Applying Slicing Technique to Software Architectures. - Jianjun Zhao 001 (ICECCS, 1998)

On assessing the complexity of software architectures. - Jianjun Zhao 001 (ISAW@FSE, 1998)

Slicing Concurrent Java Programs. - Jianjun Zhao 001 (IWPC, 1999)

Multithreaded Dependence Graphs for Concurrent Java Programs. - Jianjun Zhao 001 (PDSE, 1999)

Dependence Analysis of Java Bytecode. - Jianjun Zhao 001 (COMPSAC, 2000)

A Slicing-based Approach to Extracting Reusable Software Architectures. - Jianjun Zhao 001 (CSMR, 2000)

Computing Executable Slices for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (APAQS, 2001)

CLPKIDS: A Program Analysis System for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (COMPSAC, 2001)

Change Impact Analysis for Architectural Evolution. - Jianjun Zhao 001 (FFSE@CSMR, 2001)

A Program Dependence Model for Concurrent Logic Programs and its Applications. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (ICSM, 2001)

Using Dependence Analysis to Support Software Architecture Understanding - Jianjun Zhao 001 (CoRR, 2001)

Static Dependency Analysis for Concurrent Ada 95 Programs. - Zhengqiang Chen; Baowen Xu; Jianjun Zhao 001; Hongji Yang (Ada-Europe, 2002)

A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis. - Zhenqiang Chen; Yuming Zhou; Baowen Xu; Jianjun Zhao 001; Hongji Yang (ICSM, 2002)

ICBMC: An Improved Cohesion Measure for Classes. - Yuming Zhou; Baowen Xu; Jianjun Zhao 001; Hongji Yang (ICSM, 2002)

Slicing Aspect-Oriented Software. - Jianjun Zhao 001 (IWPC, 2002)

Change impact analysis for aspect-oriented software evolution. - Jianjun Zhao 001 (IWPSE, 2002)

Concurrent Ada dead statements detection. - Zhenqiang Chen; Baowen Xu; Hongji Yang; Jianjun Zhao 001 (Inf. Softw. Technol., 2002)

Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR. - Limin Xiang; Kazuo Ushijima; Jianjun Zhao 001 (Parallel Process. Lett., 2002)

An overview of methods for dependence analysis of concurrent programs. - Zhenqiang Chen; Baowen Xu; Jianjun Zhao 001 (ACM SIGPLAN Notices, 2002)

Change impact analysis to support architectural evolution. - Jianjun Zhao 001; Hongji Yang; Liming Xiang; Baowen Xu (J. Softw. Maintenance Res. Pract., 2002)

Data-Flow-Based Unit Testing of Aspect-Oriented Programs. - Jianjun Zhao 001 (COMPSAC, 2003)

Pipa: A Behavioral Interface Specification Language for AspectJ. - Jianjun Zhao 001; Martin C. Rinard (FASE, 2003)

Partial Slicing for Large Programs. - Zhenqiang Chen; Baowen Xu; William C. Chu; Hongji Yang; Jianjun Zhao 001 (SEKE, 2003)

Measuring cohesion of packages in Ada95. - Baowen Xu; Zhenqiang Chen; Jianjun Zhao 001 (SIGAda, 2003)

Measuring Aspect Cohesion. - Jianjun Zhao 001; Baowen Xu (FASE, 2004)

O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies. - Limin Xiang; Kazuo Ushijima; Kai Cheng; Jianjun Zhao 001; Cunwei Lu (PDCAT, 2004)

Complexity Metrics for Software Architectures. - Jianjun Zhao 001 (IEICE Trans. Inf. Syst., 2004)

Model for Slicing JAVA Programs Hierarchically. - Bixin Li; Xiaocong Fan; Jun Pang 001; Jianjun Zhao 001 (J. Comput. Sci. Technol., 2004)

A framework and tool supports for generating test inputs of AspectJ programs. - Tao Xie 001; Jianjun Zhao 001 (AOSD, 2006)

Detecting Redundant Unit Tests for AspectJ Programs. - Tao Xie 001; Jianjun Zhao 001; Darko Marinov; David Notkin (ISSRE, 2006)

Towards regression test selection for AspectJ programs. - Jianjun Zhao 001; Tao Xie 001; Nan Li (WTAOP, 2006)

2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia). - Elisa L. A. Baniassad; Kung Chen; Shigeru Chiba; Jan Hannemann; Hidehiko Masuhara; Shangping Ren; Jianjun Zhao 001 (ASE, 2006)

Control-Flow Analysis and Representation for Aspect-Oriented Programs. - Jianjun Zhao 001 (QSIC, 2006)

Perspectives on automated testing of aspect-oriented programs. - Tao Xie 001; Jianjun Zhao 001 (WTAOP@AOSD, 2007)

Specifying Pointcuts in AspectJ. - Yi Wang 013; Jianjun Zhao 001 (COMPSAC (2), 2007)

On Identifying Bug Patterns in Aspect-Oriented Programs. - Sai Zhang 001; Jianjun Zhao 001 (COMPSAC (1), 2007)

1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07). - Alessandro Garcia 001; Elisa L. A. Baniassad; Cristina Videira Lopes; Christa Schwanninger; Jianjun Zhao 001 (ICSE Companion, 2007)

Assessment of Contemporary Modularization Techniques - ACoM'07: workshop report. - Alessandro Garcia 001; Phil Greenwood; George T. Heineman; Robert J. Walker; Yuanfang Cai; Hong Yul Yang; Elisa L. A. Baniassad; Cristina Videira Lopes; Christa Schwanninger; Jianjun Zhao 001 (ACM SIGSOFT Softw. Eng. Notes, 2007)

Flota: a programmer assistant for locating faulty changes in AspectJ software evolution. - Sai Zhang 001; Zhongxian Gu; Yu Lin; Jianjun Zhao 001 (LATE@AOSD, 2008)

Test Case Prioritization Based on Analysis of Program Structure. - Zengkai Ma; Jianjun Zhao 001 (APSEC, 2008)

Celadon: a change impact analysis tool for aspect-oriented programs. - Sai Zhang 001; Zhongxian Gu; Yu Lin; Jianjun Zhao 001 (ICSE Companion, 2008)

Change impact analysis for AspectJ programs. - Sai Zhang 001; Zhongxian Gu; Yu Lin; Jianjun Zhao 001 (ICSM, 2008)

AutoFlow: An automatic debugging tool for AspectJ software. - Sai Zhang 001; Zhongxian Gu; Yu Lin; Jianjun Zhao 001 (ICSM, 2008)

Maintenance support for aspect-oriented programs: opportinuties and challenges. - Jianjun Zhao 001 (ICSM, 2008)

XFindBugs: eXtended FindBugs for AspectJ. - Haihao Shen; Sai Zhang 001; Jianjun Zhao 001; Jianhong Fang; Shiyuan Yao (PASTE, 2008)

Effective identification of failure-inducing changes: a hybrid approach. - Sai Zhang 001; Yu Lin; Zhongxian Gu; Jianjun Zhao 001 (PASTE, 2008)

Aspect-Aware Points-to Analysis. - Qiang Sun; Jianjun Zhao 001 (SCAM, 2008)

An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics. - Haihao Shen; Sai Zhang 001; Jianjun Zhao 001 (TASE, 2008)

Incremental call graph reanalysis for AspectJ software. - Yu Lin; Sai Zhang 001; Jianjun Zhao 001 (ICSM, 2009)

Identifying semantic differences in AspectJ programs. - Martin Th Görg; Jianjun Zhao 001 (ISSTA, 2009)

A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. - Yu Lin; Xucheng Tang; Yuting Chen 001; Jianjun Zhao 001 (ASE, 2009)

A Lightweight and Portable Approach to Making Concurrent Failures Reproducible. - Qingzhou Luo; Sai Zhang 001; Jianjun Zhao 001; Min Hu (FASE, 2010)

BPGen: an automated breakpoint generator for debugging. - Cheng Zhang; Dacong Yan; Jianjun Zhao 001; Yuting Chen 001; Shengqian Yang (ICSE (2), 2010)

AutoLog: facing log redundancy and insufficiency. - Cheng Zhang; Zhenyu Guo; Ming Wu 007; Longwen Lu; Yu Fan; Jianjun Zhao 001; Zheng Zhang 001 (APSys, 2011)

Probabilistic Points-to Analysis for Java. - Qiang Sun; Jianjun Zhao 001; Yuting Chen 001 (CC, 2011)

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs. - Cheng Zhang; Hao Xu; Sai Zhang 001; Jianjun Zhao 001; Yuting Chen 001 (ECOOP, 2011)

EFindBugs: Effective Error Ranking for FindBugs. - Haihao Shen; Jianhong Fang; Jianjun Zhao 001 (ICST, 2011)

MoonBox: debugging with online slicing and dryrun. - Cheng Zhang; Longwen Lu; Hucheng Zhou; Jianjun Zhao 001; Zheng Zhang 001 (APSys, 2012)

Automatic parameter recommendation for practical API usage. - Cheng Zhang; Juyuan Yang; Yi Zhang; Jing Fan; Xin Zhang 035; Jianjun Zhao 001; Peizhao Ou (ICSE, 2012)

Soot-based implementation of a demand-driven reaching definitions analysis. - Longwen Lu; Cheng Zhang; Jianjun Zhao 001 (SOAP@PLDI, 2012)

Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs. - Jingxuan Tu; Lin Chen 015; Yuming Zhou; Jianjun Zhao 001; Baowen Xu (QSIC, 2012)

An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems. - Yuming Zhou; Hareton Leung; Qinbao Song; Jianjun Zhao 001; Hongmin Lu; Lin Chen 015; Baowen Xu (Sci. China Inf. Sci., 2012)

Constraint-based locality analysis for X10 programs. - Qiang Sun; Yuting Chen 001; Jianjun Zhao 001 (PEPM, 2013)

Extracting URLs from JavaScript via program analysis. - Qi Wang 017; Jingyu Zhou; Yuting Chen 001; Yizhou Zhang; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2013)

AspectBreeze: integrating trustworthiness aspects into graph grammar supported architecture description language. - Jingzhou Liu; Yuting Chen 001; Chen Li 009; Jianjun Zhao 001 (Internetware, 2014)

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. - Ting Su 001; Geguang Pu; Bin Fang 004; Jifeng He 001; Jun Yan; Siyuan Jiang; Jianjun Zhao 001 (SERE, 2014)

A constraint-weaving approach to points-to analysis for AspectJ. - Qiang Sun; Yuting Chen 001; Jianjun Zhao 001 (Frontiers Comput. Sci., 2014)

Trace-based debugging for advanced-dispatching programming languages. - Christoph Bockisch; Marnix van 't Riet; Haihan Yin; Mehmet Aksit; Ziyi Lin; Yuting Chen 001; Jianjun Zhao 001 (ICOOOLPS@ECOOP, 2015)

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). - Ziyi Lin; Darko Marinov; Hao Zhong 001; Yuting Chen 001; Jianjun Zhao 001 (ASE, 2015)

CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E). - Fei Lv 002; Hongyu Zhang 002; Jian-Guang Lou; Shaowei Wang 002; Dongmei Zhang 001; Jianjun Zhao 001 (ASE, 2015)

BIFER: a biphasic trace filter approach to scalable prediction of concurrency errors. - Xi Chang; Zhuo Zhang 007; Peng Zhang; Jianxin Xue; Jianjun Zhao 001 (Frontiers Comput. Sci., 2015)

Biped: Bidirectional Prediction of Order Violations. - Xi Chang; Zhuo Zhang 007; Yan Lei; Jianjun Zhao 001 (IEICE Trans. Inf. Syst., 2015)

Rule-directed code clone synchronization. - Xiao Cheng 006; Hao Zhong 001; Yuting Chen 001; Zhenjiang Hu; Jianjun Zhao 001 (ICPC, 2016)

Retrofitting automatic testing through library tests reusing. - Lei Ma 003; Cheng Zhang; Bing Yu; Jianjun Zhao 001 (ICPC, 2016)

On the feasibility of detecting cross-platform code clones via identifier similarity. - Xiao Cheng 006; Lingxiao Jiang; Hao Zhong 001; Haibo Yu 001; Jianjun Zhao 001 (SoftwareMining@ASE, 2016)

Mining revision histories to detect cross-language clones without intermediates. - Xiao Cheng 006; Zhiming Peng; Lingxiao Jiang; Hao Zhong 001; Haibo Yu 001; Jianjun Zhao 001 (ASE, 2016)

LockPeeker: detecting latent locks in Java APIs. - Ziyi Lin; Hao Zhong 001; Yuting Chen 001; Jianjun Zhao 001 (ASE, 2016)

Coverage-directed differential testing of JVM implementations. - Yuting Chen 001; Ting Su 001; Chengnian Sun; Zhendong Su 001; Jianjun Zhao 001 (PLDI, 2016)

Supporting Selective Undo for Refactoring. - Xiao Cheng 006; Yuting Chen 001; Zhenjiang Hu; Tao Zan; Mengyu Liu; Hao Zhong 001; Jianjun Zhao 001 (SANER, 2016)

Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs. - Jiabin Ye; Cheng Zhang; Lei Ma 003; Haibo Yu 001; Jianjun Zhao 001 (SANER, 2016)

CLCMiner: Detecting Cross-Language Clones without Intermediates. - Xiao Cheng 006; Zhiming Peng; Lingxiao Jiang; Hao Zhong 001; Haibo Yu 001; Jianjun Zhao 001 (IEICE Trans. Inf. Syst., 2017)

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code. - Ziyi Lin; Yilei Zhou; Hao Zhong 001; Yuting Chen 001; Haibo Yu 001; Jianjun Zhao 001 (IEICE Trans. Inf. Syst., 2017)

DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models. - Qiang Hu; Lei Ma 003; Jianjun Zhao 001 (APSEC, 2018)

DeepMutation: Mutation Testing of Deep Learning Systems. - Lei Ma 003; Fuyuan Zhang; Jiyuan Sun; Minhui Xue 001; Bo Li 026; Felix Juefei-Xu; Chao Xie; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (ISSRE, 2018)

DeepGauge: multi-granularity testing criteria for deep learning systems. - Lei Ma 003; Felix Juefei-Xu; Fuyuan Zhang; Jiyuan Sun; Minhui Xue 001; Bo Li 026; Chunyang Chen 001; Ting Su 001; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (ASE, 2018)

Visualizing Interactions in AngularJS-based Single Page Web Applications. - Gefei Zhang; Jianjun Zhao 001 (SEKE, 2018)

Type Conversion Sequence Recommendation Based on Semantic Web Technology. - Haibo Yu 001; Xi Jia; Tsunenori Mine; Jianjun Zhao 001 (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. - Lei Ma 003; Felix Juefei-Xu; Jiyuan Sun; Chunyang Chen 001; Ting Su 001; Fuyuan Zhang; Minhui Xue 001; Bo Li 026; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (CoRR, 2018)

Combinatorial Testing for Deep Learning Systems. - Lei Ma 003; Fuyuan Zhang; Minhui Xue 001; Bo Li 026; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (CoRR, 2018)

Coverage-Guided Fuzzing for Deep Neural Networks. - Xiaofei Xie; Lei Ma 003; Felix Juefei-Xu; Hongxu Chen 001; Minhui Xue 001; Bo Li 026; Yang Liu 003; Jianjun Zhao 001; Jianxiong Yin; Simon See (CoRR, 2018)

Secure Deep Learning Engineering: A Software Quality Assurance Perspective. - Lei Ma 003; Felix Juefei-Xu; Minhui Xue 001; Qiang Hu; Sen Chen 001; Bo Li 026; Yang Liu 003; Jianjun Zhao 001; Jianxiong Yin; Simon See (CoRR, 2018)

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms. - Qianyu Guo; Xiaofei Xie; Lei Ma 003; Qiang Hu; Ruitao Feng; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Xiaohong Li 001 (CoRR, 2018)

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Jianjun Zhao 001; Yang Liu 003 (CoRR, 2018)

The role of model checking in software engineering. - Anil Kumar Karna; Yuting Chen 001; Haibo Yu 001; Hao Zhong 001; Jianjun Zhao 001 (Frontiers Comput. Sci., 2018)

Tuning parallel symbolic execution engine for better performance. - Anil Kumar Karna; Jinbo Du; Haihao Shen; Hao Zhong 001; Jiong Gong; Haibo Yu 001; Xiangning Ma; Jianjun Zhao 001 (Frontiers Comput. Sci., 2018)

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. - Yang Liu 003; Lei Ma 003; Jianjun Zhao 001 (ICFEM, 2019)

Scenario Testing of AngularJS-Based Single Page Web Applications. - Gefei Zhang; Jianjun Zhao 001 (ICWE Workshops, 2019)

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. - Xiaofei Xie; Lei Ma 003; Felix Juefei-Xu; Minhui Xue 001; Hongxu Chen 001; Yang Liu 003; Jianjun Zhao 001; Bo Li 026; Jianxiong Yin; Simon See (ISSTA, 2019)

DeepVisual: a visual programming tool for deep learning systems. - Chao Xie; Hua Qi; Lei Ma 003; Jianjun Zhao 001 (ICPC, 2019)

A Quantitative Analysis Framework for Recurrent Neural Network. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. - Qianyu Guo; Sen Chen 001; Xiaofei Xie; Lei Ma 003; Qiang Hu; Hongtao Liu; Yang Liu 003; Jianjun Zhao 001; Xiaohong Li 001 (ASE, 2019)

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems. - Qiang Hu; Lei Ma 003; Xiaofei Xie; Bing Yu; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

Coverage-Guided Fuzzing for Feedforward Neural Networks. - Xiaofei Xie; Hongxu Chen 001; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

DeepStellar: model-based quantitative analysis of stateful deep learning systems. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2019)

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. - Lei Ma 003; Felix Juefei-Xu; Minhui Xue 001; Bo Li 026; Li Li 029; Yang Liu 003; Jianjun Zhao 001 (SANER, 2019)

API recommendation for event-driven Android application development. - Weizhao Yuan; Hoang H. Nguyen; Lingxiao Jiang; Yuting Chen 001; Jianjun Zhao 001; Haibo Yu 001 (Inf. Softw. Technol., 2019)

An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness. - Lingjun Zhou; Bing Yu; David Berend; Xiaofei Xie; Xiaohong Li 001; Jianjun Zhao 001; Xusheng Liu (APSEC, 2020)

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. - Xiyue Zhang 001; Xiaofei Xie; Lei Ma 003; Xiaoning Du 001; Qiang Hu; Yang Liu 003; Jianjun Zhao 001; Meng Sun 002 (ICSE, 2020)

Few-Shot Guided Mix for DNN Repairing. - Xuhong Ren; Bing Yu; Hua Qi; Felix Juefei-Xu; Zhuo Li; Wanli Xue; Lei Ma 003; Jianjun Zhao 001 (ICSME, 2020)

How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software. - Xiongfei Wu; Liangyu Qin; Bing Yu; Xiaofei Xie; Lei Ma 003; Yinxing Xue; Yang Liu 003; Jianjun Zhao 001 (ICPC, 2020)

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. - David Berend; Xiaofei Xie; Lei Ma 003; Lingjun Zhou; Yang Liu 003; Chi Xu; Jianjun Zhao 001 (ASE, 2020)

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. - Xiaoning Du 001; Yi Li 008; Xiaofei Xie; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2020)

DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms. - Hua Qi; Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Wei Feng 005; Yang Liu 003; Jianjun Zhao 001 (ACM Multimedia, 2020)

Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis. - Haibo Yu 001; Qiang Sun; Kejun Xiao; Yuting Chen 001; Tsunenori Mine; Jianjun Zhao 001 (QRS Companion, 2020)

DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment. - Bing Yu; Hua Qi; Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2020)

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. - Qing Guo 005; Jingyang Sun; Felix Juefei-Xu; Lei Ma 003; Xiaofei Xie; Wei Feng 005; Yang Liu 003; Jianjun Zhao 001 (AAAI, 2021)

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (CAV (1), 2021)

Learning to Adversarially Blur Visual Object Tracking. - Qing Guo 005; Ziyi Cheng; Felix Juefei-Xu; Lei Ma 003; Xiaofei Xie; Yang Liu 003; Jianjun Zhao 001 (ICCV, 2021)

Deepmix: Online Auto Data Augmentation for Robust Visual Object Tracking. - Ziyi Cheng; Xuhong Ren; Felix Juefei-Xu; Wanli Xue; Qing Guo 005; Lei Ma 003; Jianjun Zhao 001 (ICME, 2021)

Some Size and Structure Metrics for Quantum Software. - Jianjun Zhao 001 (Q-SE@ICSE, 2021)

Identifying Bug Patterns in Quantum Programs. - Pengzhan Zhao; Jianjun Zhao 001; Lei Ma 003 (Q-SE@ICSE, 2021)

An Empirical Study on Common Bugs in Deep Learning Compilers. - Xiaoting Du; Zheng Zheng 001; Lei Ma 003; Jianjun Zhao 001 (ISSRE, 2021)

Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. - Pengzhan Zhao; Jianjun Zhao 001; Zhongtao Miao; Shuhan Lan (ASE, 2021)

On the Effectiveness of Signal Rescaling in Hybrid System Falsification. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (NFM, 2021)

Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study. - Le Manh Duc; Haibo Yu 001; Jianjun Zhao 001 (QRS Companion, 2021)

An empirical study of GUI widget detection for industrial mobile games. - Jiaming Ye; Ke Chen; Xiaofei Xie; Lei Ma 003; Ruochen Huang; Yingfeng Chen; Yinxing Xue; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2021)

Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (CoRR, 2021)

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. - Hua Qi; Zhijie Wang 014; Qing Guo 005; Jianlang Chen; Felix Juefei-Xu; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2021)

Bug Patterns in Probabilistic Programming Systems. - Shoma Hamada; Haibo Yu 001; Vo Dai Trinh; Yuri Nishimura; Jianjun Zhao 001 (QRS Companion, 2022)

Automated Synthesis of Quantum Circuits using Neural Network. - Kentaro Murakami; Jianjun Zhao 001 (QRS, 2022)

A Comprehensive Study of Bug Fixes in Quantum Programs. - Junjie Luo 005; Pengzhan Zhao; Zhongtao Miao; Shuhan Lan; Jianjun Zhao 001 (SANER, 2022)

AutoQC: Automated Synthesis of Quantum Circuits Using Neural Network. - Kentaro Murakami; Jianjun Zhao 001 (CoRR, 2022)

Enhancing Code Classification by Mixup-Based Data Augmentation. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (CoRR, 2022)

Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (CoRR, 2022)

Towards Benchmarking GUI Compatibility Testing on Mobile Applications. - Jiaming Ye; Mulong Xie; Siyuan Chen; Fuyuan Zhang; Lei Ma 003; Zhenchang Xing; Jianjun Zhao 001 (CoRR, 2022)

On the usage and development of deep learning compilers: an empirical study on TVM. - Xiongfei Wu; Jinqiu Yang 001; Lei Ma 003; Yinxing Xue; Jianjun Zhao 001 (Empir. Softw. Eng., 2022)

Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures. - Jiaming Ye; Mingliang Ma; Yun Lin 001; Lei Ma 003; Yinxing Xue; Jianjun Zhao 001 (J. Syst. Softw., 2022)

DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions. - Xuhong Ren; Jianlang Chen; Felix Juefei-Xu; Wanli Xue; Qing Guo 005; Lei Ma 003; Jianjun Zhao 001; Shengyong Chen (Pattern Recognit., 2022)

DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment. - Bing Yu; Hua Qi; Qing Guo 005; Felix Juefei-Xu; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (IEEE Trans. Reliab., 2022)

Evading DeepFake Detectors via Adversarial Statistical Consistency. - Yang Hou; Qing Guo 005; Yihao Huang 001; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (CVPR, 2023)

Neural Episodic Control with State Abstraction. - Zhuo Li; Derui Zhu; Yujing Hu; Xiaofei Xie; Lei Ma 003; Yan Zheng 002; Yan Song; Yingfeng Chen; Jianjun Zhao 001 (ICLR, 2023)

Static Entanglement Analysis of Quantum Programs. - Shangzhou Xia; Jianjun Zhao 001 (Q-SE@ICSE, 2023)

QChecker: Detecting Bugs in Quantum Programs via Static Analysis. - Pengzhan Zhao; Xiongfei Wu; Zhuo Li; Jianjun Zhao 001 (Q-SE@ICSE, 2023)

Widget Detection-based Testing for Industrial Mobile Games. - Xiongfei Wu; Jiaming Ye; Ke Chen; Xiaofei Xie; Yujing Hu; Ruochen Huang; Lei Ma 003; Jianjun Zhao 001 (ICSE-SEIP, 2023)

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. - Zihan Wang; Pengbo Nie; Xinyuan Miao; Yuting Chen 001; Chengcheng Wan 001; Lei Bu; Jianjun Zhao 001 (ISSTA, 2023)

Generative Model-Based Testing on Decision-Making Policies. - Zhuo Li; Xiongfei Wu; Derui Zhu; Mingfei Cheng; Siyuan Chen; Fuyuan Zhang; Xiaofei Xie; Lei Ma 003; Jianjun Zhao 001 (ASE, 2023)

Enhancing Code Safety in Quantum Intermediate Representation. - Junjie Luo 005; Jianjun Zhao 001 (ASE, 2023)

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. - Jiaming Ye; Shangzhou Xia; Fuyuan Zhang; Paolo Arcaini; Lei Ma 003; Jianjun Zhao 001; Fuyuki Ishikawa (ASE, 2023)

Static Analysis for Quantum Software Correctness and Reliability (Keynote). - Jianjun Zhao 001 (Programming, 2023)

On Refactoring Quantum Programs in Q#. - Jianjun Zhao 001 (QCE, 2023)

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang; Jianjun Zhao 001 (QRS Companion, 2023)

ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold. - Tiancheng Jin; Jianjun Zhao 001 (QSW, 2023)

An Empirical Study of Bugs in Quantum Machine Learning Frameworks. - Pengzhan Zhao; Xiongfei Wu; Junjie Luo 005; Zhuo Li; Jianjun Zhao 001 (QSW, 2023)

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. - Fuyuan Zhang; Xinwen Hu; Lei Ma 003; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2023)

MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Zhenya Zhang; Yves Le Traon; Jianjun Zhao 001 (SANER, 2023)

Boosting Source Code Learning with Data Augmentation: An Empirical Study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (CoRR, 2023)

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. - Deyun Lyu; Jiayang Song; Zhenya Zhang; Zhijie Wang 014; Tianyi Zhang 001; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2023)

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. - Zhenya Zhang; Deyun Lyu; Paolo Arcaini; Lei Ma 003; Ichiro Hasuo; Jianjun Zhao 001 (IEEE Trans. Software Eng., 2023)

Bugs4Q: A Benchmark of Existing Bugs to Enable Controlled Testing and Debugging Studies for Quantum Programs. - Pengzhan Zhao; Zhongtao Miao; Shuhan Lan; Jianjun Zhao 001 (Zenodo, 2023)

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. - Hua Qi; Zhijie Wang 014; Qing Guo 005; Jianlang Chen; Felix Juefei-Xu; Fuyuan Zhang; Lei Ma 003; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2023)

TAT: Targeted backdoor attacks against visual object tracking. - Ziyi Cheng; Baoyuan Wu; Zhenya Zhang; Jianjun Zhao 001 (Pattern Recognit., 2023)

Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs. - Pengzhan Zhao; Zhongtao Miao; Shuhan Lan; Jianjun Zhao 001 (J. Syst. Softw., 2023)

Black-box l1 and £2 Adversarial Attack Based on Genetic Algorithm. - Jiyuan Sun; Haibo Yu 001; Jianjun Zhao 001 (AITest, 2024)

Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. - Deyun Lyu; Zhenya Zhang; Paolo Arcaini; Fuyuki Ishikawa; Thomas Laurent 003; Jianjun Zhao 001 (GECCO, 2024)

GEmo-CLAP: Gender-Attribute-Enhanced Contrastive Language-Audio Pretraining for Accurate Speech Emotion Recognition. - Yu Pan 008; Yanni Hu; Yuguang Yang 005; Wen Fei; Jixun Yao; Heng Lu 004; Lei Ma 003; Jianjun Zhao 001 (ICASSP, 2024)

LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks. - Jianlang Chen; Xuhong Ren; Qing Guo 005; Felix Juefei-Xu; Di Lin 002; Wei Feng 005; Lei Ma 003; Jianjun Zhao 001 (ICLR, 2024)

On Repairing Quantum Programs Using ChatGPT. - Xiaoyu Guo 007; Jianjun Zhao 001; Pengzhan Zhao (Q-SE@ICSE, 2024)

OPASS: Orchestrating TVM's Passes for Lowering Memory Footprints of Computation Graphs. - Pengbo Nie; Zihan Wang; Chengcheng Wan 001; Ziyi Lin; He Jiang 001; Jianjun Zhao 001; Yuting Chen 001 (ICSME, 2024)

Impact of V2V Communication on Robustness of Autonomous Driving Systems. - Lejin Li; Xiao-Yi Zhang; Shuncheng Tang; Zhenya Zhang; Jianjun Zhao 001 (ISSRE (Workshops), 2024)

Generating Adversarial Examples Using Parameter-Free Penalty Method. - Jiyuan Sun; Haibo Yu 001; Jianjun Zhao 001 (QRS Companion, 2024)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design. - Xiaoyu Guo 007; Takahiro Muta; Jianjun Zhao 001 (QSW, 2024)

GMP-TL: Gender-Augmented Multi-Scale Pseudo-Label Enhanced Transfer Learning For Speech Emotion Recognition. - Yu Pan 008; Yuguang Yang 005; Yuheng Huang 004; Tiancheng Jin; Jingjing Yin; Yanni Hu; Heng Lu 004; Lei Ma 003; Jianjun Zhao 001 (SLT, 2024)

Importance Guided Data Augmentation for Neural-Based Code Understanding. - Zeming Dong; Qiang Hu; Xiaofei Xie; Maxime Cordy; Mike Papadakis; Jianjun Zhao 001 (CoRR, 2024)

PromptCodec: High-Fidelity Neural Speech Codec using Disentangled Representation Learning based Adaptive Feature-aware Prompt Encoders. - Yu Pan 008; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. - Juan Manuel Murillo; José García-Alonso; Enrique Moguel; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (CoRR, 2024)

GMP-ATL: Gender-augmented Multi-scale Pseudo-label Enhanced Adaptive Transfer Learning for Speech Emotion Recognition via HuBERT. - Yu Pan 008; Yuguang Yang 005; Heng Lu 004; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

Concolic Testing of Quantum Programs. - Shangzhou Xia; Jianjun Zhao 001; Fuyuan Zhang; Xiaoyu Guo 007 (CoRR, 2024)

Quantum Circuit Ansatz: Abstraction and Reuse of Quantum Algorithm Design. - Xiaoyu Guo 007; Takahiro Muta; Jianjun Zhao 001 (CoRR, 2024)

Takin-VC: Zero-shot Voice Conversion via Jointly Hybrid Content and Memory-Augmented Context-Aware Timbre Modeling. - Yuguang Yang 005; Yu Pan 008; Jixun Yao; Xiang Zhang; Jianhao Ye; Hongbin Zhou; Lei Xie 001; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

CTEFM-VC: Zero-Shot Voice Conversion Based on Content-Aware Timbre Ensemble Modeling and Flow Matching. - Yu Pan 008; Yuguang Yang 005; Jixun Yao; Jianhao Ye; Hongbin Zhou; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2024)

SeDPGK: Semi-supervised software defect prediction with graph representation learning and knowledge distillation. - Wangshu Liu; Ye Yue; Xiang Chen 005; Qing Gu 001; Pengzhan Zhao; Xuejun Liu; Jianjun Zhao 001 (Inf. Softw. Technol., 2024)

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. - Zeming Dong; Qiang Hu; Zhenya Zhang; Yuejun Guo 001; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (J. Syst. Softw., 2024)

Equivalence, identity, and unitarity checking in black-box testing of quantum programs. - Peixun Long; Jianjun Zhao 001 (J. Syst. Softw., 2024)

On the effectiveness of graph data augmentation for source code learning. - Zeming Dong; Qiang Hu; Zhenya Zhang; Jianjun Zhao 001 (Knowl. Based Syst., 2024)

xFuzz: Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (IEEE Trans. Dependable Secur. Comput., 2024)

Prospects for Quantum Software Engineering in the Next Decade - Supplementary material. - Enrique Moguel; Juan Manuel Murillo; José García-Alonso; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (Zenodo, 2024)

Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search. - Jiawei Ren 003; Yulei Sui; Xiao Cheng 002; Yuan Feng 001; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing. - Peixun Long; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Quantum Software Engineering: Roadmap and Challenges Ahead - Supplementary material. - Enrique Moguel; Juan Manuel Murillo; José García-Alonso; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (Zenodo, 2024)

Takin-VC: Expressive Zero-Shot Voice Conversion via Adaptive Hybrid Content Encoding and Enhanced Timbre Modeling. - Yuguang Yang 005; Yu Pan 008; Jixun Yao; Xiang Zhang; Jianhao Ye; Hongbin Zhou; Lei Xie 001; Lei Ma 003; Jianjun Zhao 001 (ACL (1), 2025)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development. - Xiaoyu Guo 007; Shinobu Saito; Jianjun Zhao 001 (COMPSAC, 2025)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. - Kota Fukuda; Guanqin Zhang; Zhenya Zhang; Yulei Sui; Jianjun Zhao 001 (DATE, 2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. - Guanqin Zhang; Kota Fukuda; Zhenya Zhang; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (ECOOP, 2025)

An Adversarial Attack via Penalty Method. - Jiyuan Sun; Haibo Yu 001; Jianjun Zhao 001 (IEEE Access, 2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact). - Guanqin Zhang; Kota Fukuda; Zhenya Zhang; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (Dagstuhl Artifacts Ser., 2025)

Formalization of Quantum Intermediate Representations for code safety. - Junjie Luo 005; Jianjun Zhao 001 (J. Syst. Softw., 2025)

Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. - Deyun Lyu; Yi Li 008; Zhenya Zhang; Paolo Arcaini; Xiaoyi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (J. Syst. Softw., 2025)

Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality. - Guanqin Zhang; Zhenya Zhang; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (Proc. ACM Program. Lang., 2025)

Quantum Concolic Testing. - Shangzhou Xia; Jianjun Zhao 001; Fuyuan Zhang; Xiaoyu Guo 007 (Proc. ACM Softw. Eng., 2025)

ClapFM-EVC: High-Fidelity and Flexible Emotional Voice Conversion with Dual Control from Natural Language and Speech. - Yu Pan 008; Yanni Hu; Yuguang Yang 005; Jixun Yao; Jianhao Ye; Hongbin Zhou; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2025)

SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. - Deyun Lyu; Zhenya Zhang; Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2025)

S2ST-Omni: An Efficient and Scalable Multilingual Speech-to-Speech Translation Framework via Seamless Speech-Text Alignment and Streaming Speech Generation. - Yu Pan 008; Yuguang Yang 005; Yanni Hu; Jianhao Ye; Xiang Zhang; Hongbin Zhou; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2025)

Boosting source code learning with text-oriented data augmentation: an empirical study. - Zeming Dong; Qiang Hu; Yuejun Guo 001; Zhenya Zhang; Maxime Cordy; Mike Papadakis; Yves Le Traon; Jianjun Zhao 001 (Empir. Softw. Eng., 2025)

Quantum Software Engineering: Roadmap and Challenges Ahead. - Juan Manuel Murillo; José García-Alonso; Enrique Moguel; Johanna Barzen; Frank Leymann; Shaukat Ali 001; Tao Yue 002; Paolo Arcaini; Ricardo Pérez-Castillo; Ignacio García Rodríguez de Guzmán; Mario Piattini; Antonio Ruiz-Cortés; et al. (ACM Trans. Softw. Eng. Methodol., 2025)