default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJianjun Zhao 0001
Person information
- affiliation: Kyushu University, Fukuoka, Japan
- affiliation (2005-2016): Shanghai Jiao Tong University, China
- affiliation (1997-2005): Fukuoka Institute of Technology, Japan
Other persons with the same name
- Jianjun Zhao — disambiguation page
- Jianjun Zhao 0002
![[0000-0002-0336-5764]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-0336-5764")
— Northeast Normal University, Changchun, China - Jianjun Zhao 0003 — Huazhong University of Science and Technology, Wuhan, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Wangshu Liu, Ye Yue, Xiang Chen, Qing Gu, Pengzhan Zhao, Xuejun Liu, Jianjun Zhao:
SeDPGK: Semi-supervised software defect prediction with graph representation learning and knowledge distillation. Inf. Softw. Technol. 174: 107510 (2024)- [j29]Peixun Long, Jianjun Zhao:
Equivalence, identity, and unitarity checking in black-box testing of quantum programs. J. Syst. Softw. 211: 112000 (2024) - [j28]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: 112139 (2024) - [j27]Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao:
On the effectiveness of graph data augmentation for source code learning. Knowl. Based Syst. 285: 111328 (2024) - [j26]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): 515-529 (2024) - [j25]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): 119:1-119:29 (2024) - [j24]Peixun Long, Jianjun Zhao:
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing. ACM Trans. Softw. Eng. Methodol. 33(6): 147 (2024) - [c132]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 - [c131]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 - [c130]Xiaoyu Guo, Jianjun Zhao, Pengzhan Zhao:
On Repairing Quantum Programs Using ChatGPT. Q-SE@ICSE 2024: 9-16 - [c129]Xiaoyu Guo, Takahiro Muta, Jianjun Zhao:
Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design. QSW 2024: 69-80 - [d1]Enrique Moguel, Juan Manuel Murillo, José García-Alonso, 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:
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material. Zenodo, 2024
- [i42]Xiaoyu Guo, Jianjun Zhao, Pengzhan Zhao:
On Repairing Quantum Programs Using ChatGPT. CoRR abs/2401.14913 (2024) - [i41]Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao:
Importance Guided Data Augmentation for Neural-Based Code Understanding. CoRR abs/2402.15769 (2024) - [i40]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 abs/2404.06247 (2024) - [i39]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 abs/2404.06825 (2024) - [i38]Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo:
Concolic Testing of Quantum Programs. CoRR abs/2405.04860 (2024) - [i37]Xiaoyu Guo, Takahiro Muta, Jianjun Zhao:
Quantum Circuit Ansatz: Abstraction and Reuse of Quantum Algorithm Design. CoRR abs/2405.05021 (2024) - 2023
- [j23]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: 111805 (2023) - [j22]Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao:
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 32(5): 129:1-129:31 (2023) - [j21]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49(4): 1842-1859 (2023) - [c128]Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao:
Evading DeepFake Detectors via Adversarial Statistical Consistency. CVPR 2023: 12271-12280 - [c127]Zeming Dong, Qiang Hu, Zhenya Zhang, Jianjun Zhao:
On the Effectiveness of Graph Data Augmentation for Source Code Learning. DSA 2023: 880-889 - [c126]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 - [c125]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: 173-184 - [c124]Shangzhou Xia, Jianjun Zhao:
Static Entanglement Analysis of Quantum Programs. Q-SE@ICSE 2023: 42-49 - [c123]Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao:
QChecker: Detecting Bugs in Quantum Programs via Static Analysis. Q-SE@ICSE 2023: 50-57 - [c122]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: 904-916 - [c121]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: 243-254 - [c120]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: 1149-1161 - [c119]Junjie Luo, Jianjun Zhao:
Enhancing Code Safety in Quantum Intermediate Representation. ASE 2023: 1771-1775 - [c118]Jianjun Zhao:
Static Analysis for Quantum Software Correctness and Reliability (Keynote). Programming 2023: 89 - [c117]Jianjun Zhao:
On Refactoring Quantum Programs in Q#. QCE 2023: 169-172 - [c116]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: 383-392 - [c115]Pengzhan Zhao, Xiongfei Wu, Junjie Luo, Zhuo Li, Jianjun Zhao:
An Empirical Study of Bugs in Quantum Machine Learning Frameworks. QSW 2023: 68-75 - [c114]Tiancheng Jin, Jianjun Zhao:
ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold. QSW 2023: 128-137 - [c113]Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao:
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. ESEC/SIGSOFT FSE 2023: 1384-1394 - [c112]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: 379-390 - [i36]Zhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma, Yan Zheng, Yan Song, Yingfeng Chen, Jianjun Zhao:
Neural Episodic Control with State Abstraction. CoRR abs/2301.11490 (2023) - [i35]Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Boosting Source Code Learning with Data Augmentation: An Empirical Study. CoRR abs/2303.06808 (2023) - [i34]Junjie Luo, Jianjun Zhao:
Formalization of Quantum Intermediate Representations for Code Safety. CoRR abs/2303.14500 (2023) - [i33]Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao:
QChecker: Detecting Bugs in Quantum Programs via Static Analysis. CoRR abs/2304.04387 (2023) - [i32]Shangzhou Xia, Jianjun Zhao:
Static Entanglement Analysis of Quantum Programs. CoRR abs/2304.05049 (2023) - [i31]Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma, Jianjun Zhao:
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. CoRR abs/2304.05617 (2023) - [i30]Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao:
Evading DeepFake Detectors via Adversarial Statistical Consistency. CoRR abs/2304.11670 (2023) - [i29]Pengzhan Zhao, Xiongfei Wu, Junjie Luo, Zhuo Li, Jianjun Zhao:
An Empirical Study of Bugs in Quantum Machine Learning Frameworks. CoRR abs/2306.06369 (2023) - [i28]Tiancheng Jin, Jianjun Zhao:
ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold. CoRR abs/2306.06468 (2023) - 2022
- [j20]Xiongfei Wu, Jinqiu Yang, Lei Ma, Yinxing Xue, Jianjun Zhao:
On the usage and development of deep learning compilers: an empirical study on TVM. Empir. Softw. Eng. 27(7): 172 (2022) - [j19]Jiaming Ye, Mingliang Ma, Yun Lin, Lei Ma, Yinxing Xue, Jianjun Zhao:
Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures. J. Syst. Softw. 192: 111410 (2022) - [j18]Xuhong Ren, Jianlang Chen, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao, Shengyong Chen:
DARTSRepair: Core-failure-set guided DARTS for network robustness to common corruptions. Pattern Recognit. 131: 108864 (2022) - [j17]Bing Yu, Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jianjun Zhao:
DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment. IEEE Trans. Reliab. 71(4): 1401-1416 (2022) - [c111]Shoma Hamada, Haibo Yu, Vo Dai Trinh, Yuri Nishimura, Jianjun Zhao:
Bug Patterns in Probabilistic Programming Systems. QRS Companion 2022: 384-391 - [c110]Kentaro Murakami, Jianjun Zhao:
Automated Synthesis of Quantum Circuits using Neural Network. QRS 2022: 694-702 - [c109]Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao:
A Comprehensive Study of Bug Fixes in Quantum Programs. SANER 2022: 1239-1246 - [i27]Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao:
A Comprehensive Study of Bug Fixes in Quantum Programs. CoRR abs/2201.08662 (2022) - [i26]Xuhong Ren, Jianlang Chen, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao, Shengyong Chen:
DARTSRepair: Core-failure-set Guided DARTS for Network Robustness to Common Corruptions. CoRR abs/2209.10381 (2022) - [i25]Kentaro Murakami, Jianjun Zhao:
AutoQC: Automated Synthesis of Quantum Circuits Using Neural Network. CoRR abs/2210.02766 (2022) - [i24]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Enhancing Code Classification by Mixup-Based Data Augmentation. CoRR abs/2210.03003 (2022) - [i23]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling. CoRR abs/2210.03123 (2022) - [i22]Jiaming Ye, Mulong Xie, Siyuan Chen, Fuyuan Zhang, Lei Ma, Zhenchang Xing, Jianjun Zhao:
Towards Benchmarking GUI Compatibility Testing on Mobile Applications. CoRR abs/2212.13424 (2022) - 2021
- [c108]Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao:
EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. AAAI 2021: 1487-1495 - [c107]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) 2021: 595-618 - [c106]Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao:
Learning to Adversarially Blur Visual Object Tracking. ICCV 2021: 10819-10828 - [c105]Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao:
Deepmix: Online Auto Data Augmentation for Robust Visual Object Tracking. ICME 2021: 1-6 - [c104]Pengzhan Zhao, Jianjun Zhao, Lei Ma:
Identifying Bug Patterns in Quantum Programs. Q-SE@ICSE 2021: 16-21 - [c103]Jianjun Zhao:
Some Size and Structure Metrics for Quantum Software. Q-SE@ICSE 2021: 22-27 - [c102]Xiaoting Du, Zheng Zheng, Lei Ma, Jianjun Zhao:
An Empirical Study on Common Bugs in Deep Learning Compilers. ISSRE 2021: 184-195 - [c101]Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan:
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. ASE 2021: 1373-1376 - [c100]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399 - [c99]Le Manh Duc, Haibo Yu, Jianjun Zhao:
Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study. QRS Companion 2021: 319-325 - [c98]Jiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma, Ruochen Huang, Yingfeng Chen, Yinxing Xue, Jianjun Zhao:
An empirical study of GUI widget detection for industrial mobile games. ESEC/SIGSOFT FSE 2021: 1427-1437 - [i21]Jianjun Zhao:
Some Size and Structure Metrics for Quantum Software. CoRR abs/2103.08815 (2021) - [i20]Pengzhan Zhao, Jianjun Zhao, Lei Ma:
Identifying Bug Patterns in Quantum Programs. CoRR abs/2103.09069 (2021) - [i19]Ziyi Cheng, Xuhong Ren, Felix Juefei-Xu, Wanli Xue, Qing Guo, Lei Ma, Jianjun Zhao:
DeepMix: Online Auto Data Augmentation for Robust Visual Object Tracking. CoRR abs/2104.11585 (2021) - [i18]Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao:
Learning to Adversarially Blur Visual Object Tracking. CoRR abs/2107.12085 (2021) - [i17]Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao, Shuhan Lan:
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. CoRR abs/2108.09744 (2021) - [i16]Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao:
Machine Learning Guided Cross-Contract Fuzzing. CoRR abs/2111.12423 (2021) - [i15]Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Lei Ma, Jianjun Zhao:
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. CoRR abs/2111.13330 (2021) - 2020
- [c97]Lingjun Zhou, Bing Yu, David Berend, Xiaofei Xie, Xiaohong Li, Jianjun Zhao, Xusheng Liu:
An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness. APSEC 2020: 266-275 - [c96]Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun:
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. ICSE 2020: 739-751 - [c95]Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, Jianjun Zhao:
Few-Shot Guided Mix for DNN Repairing. ICSME 2020: 717-721 - [c94]Xiongfei Wu, Liangyu Qin, Bing Yu, Xiaofei Xie, Lei Ma, Yinxing Xue, Yang Liu, Jianjun Zhao:
How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software. ICPC 2020: 172-183 - [c93]Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao:
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. ASE 2020: 423-435 - [c92]David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao:
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. ASE 2020: 1041-1052 - [c91]Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao:
DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms. ACM Multimedia 2020: 4318-4327 - [c90]Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao:
Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis. QRS Companion 2020: 91-97 - [i14]Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun:
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. CoRR abs/2004.11573 (2020) - [i13]Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Yang Liu, Jianjun Zhao:
DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms. CoRR abs/2006.07634 (2020) - [i12]Bing Yu, Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Jianjun Zhao:
DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment. CoRR abs/2011.09884 (2020)
2010 – 2019
- 2019
- [j16]Weizhao Yuan, Hoang H. Nguyen, Lingxiao Jiang, Yuting Chen, Jianjun Zhao, Haibo Yu:
API recommendation for event-driven Android application development. Inf. Softw. Technol. 107: 30-47 (2019) - [c89]Yang Liu, Lei Ma, Jianjun Zhao:
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. ICFEM 2019: 3-15 - [c88]Gefei Zhang, Jianjun Zhao:
Scenario Testing of AngularJS-Based Single Page Web Applications. ICWE Workshops 2019: 91-103 - [c87]Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See:
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. ISSTA 2019: 146-157 - [c86]Chao Xie, Hua Qi, Lei Ma, Jianjun Zhao:
DeepVisual: a visual programming tool for deep learning systems. ICPC 2019: 130-134 - [c85]Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. ASE 2019: 810-822 - [c84]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
A Quantitative Analysis Framework for Recurrent Neural Network. ASE 2019: 1062-1065 - [c83]Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao:
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems. ASE 2019: 1158-1161 - [c82]Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
Coverage-Guided Fuzzing for Feedforward Neural Networks. ASE 2019: 1162-1165 - [c81]Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
DeepStellar: model-based quantitative analysis of stateful deep learning systems. ESEC/SIGSOFT FSE 2019: 477-487 - [c80]Lei Ma, Felix Juefei-Xu, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao:
DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. SANER 2019: 614-618 - [i11]Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li:
An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms. CoRR abs/1909.06727 (2019) - 2018
- [j15]Anil Kumar Karna, Jinbo Du, Haihao Shen, Hao Zhong, Jiong Gong, Haibo Yu, Xiangning Ma, Jianjun Zhao:
Tuning parallel symbolic execution engine for better performance. Frontiers Comput. Sci. 12(1): 86-100 (2018) - [j14]Anil Kumar Karna, Yuting Chen, Haibo Yu, Hao Zhong, Jianjun Zhao:
The role of model checking in software engineering. Frontiers Comput. Sci. 12(4): 642-668 (2018) - [c79]Qiang Hu, Lei Ma, Jianjun Zhao:
DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models. APSEC 2018: 628-632 - [c78]Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang:
DeepMutation: Mutation Testing of Deep Learning Systems. ISSRE 2018: 100-111 - [c77]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:
DeepGauge: multi-granularity testing criteria for deep learning systems. ASE 2018: 120-131 - [c76]Gefei Zhang, Jianjun Zhao:
Visualizing Interactions in AngularJS-based Single Page Web Applications. SEKE 2018: 403-402 - [c75]Haibo Yu, Xi Jia, Tsunenori Mine, Jianjun Zhao:
Type Conversion Sequence Recommendation Based on Semantic Web Technology. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 240-245 - [i10]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:
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. CoRR abs/1803.07519 (2018) - [i9]Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo L