default search action
Tian Zhang 0001
Person information
- affiliation: Nanjing University, National Key Laboratory for Novel Software Technology, China
Other persons with the same name
- Tian Zhang — disambiguation page
- Tian Zhang 0002 — Shandong Normal University, School of Information Science and Engineering, Jinan, China (and 1 more)
- Tian Zhang 0003 — Beijing Institute of Technology, Beijing Key Laboratory of Embedded Real-Time Information Processing Technology, China
- Tian Zhang 0004 — Technical University of Denmark, Lyngby, Denmark (and 3 more)
- Tian Zhang 0005 — University of Utah, USA
- Tian Zhang 0006 — University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
Empirically revisiting and enhancing automatic classification of bug and non-bug issues. Frontiers Comput. Sci. 18(5): 185207 (2024) - [j22]Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li:
Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization. ACM Trans. Softw. Eng. Methodol. 33(3): 67:1-67:37 (2024) - [c58]Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li:
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. ICSE 2024: 71:1-71:13 - [c57]Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li:
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. ICSE 2024: 90:1-90:13 - [c56]Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan:
Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring. APR 2024: 53-55 - [c55]Ruihua Ji, Zhengxuan Qian, Zhong Li, Xiaoqing Zhu, Yu Pei, Minxue Pan, Tian Zhang:
Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking. Internetware 2024 - [c54]Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li:
Distance-Aware Test Input Selection for Deep Neural Networks. ISSTA 2024: 248-260 - [c53]Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li:
Silent Taint-Style Vulnerability Fixes Identification. ISSTA 2024: 428-439 - [c52]Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan:
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments. ISSTA 2024: 856-868 - [c51]Tingwei Zhu, Zhongxin Liu, Tongtong Xu, Ze Tang, Tian Zhang, Minxue Pan, Xin Xia:
Exploring and Improving Code Completion for Test Code. ICPC 2024: 137-148 - 2023
- [j21]Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li:
Preference-wise Testing of Android Apps via Test Amplification. ACM Trans. Softw. Eng. Methodol. 32(1): 4:1-4:37 (2023) - [j20]Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia:
Program Repair With Repeated Learning. IEEE Trans. Software Eng. 49(2): 831-848 (2023) - [c50]Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li:
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. ICSE Companion 2023: 328-329 - [c49]Chaoxuan Shi, Tingwei Zhu, Tian Zhang, Jun Pang, Minxue Pan:
Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models. Internetware 2023: 1-11 - [c48]Ruihua Ji, Tingwei Zhu, Xiaoqing Zhu, Chunyang Chen, Minxue Pan, Tian Zhang:
Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet? ASE 2023: 1416-1428 - 2022
- [j19]Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li:
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. Softw. Syst. Model. 21(4): 1321-1338 (2022) - [j18]Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia:
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Trans. Software Eng. 48(2): 309-326 (2022) - [j17]Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li:
GUI-Guided Test Script Repair for Mobile Apps. IEEE Trans. Software Eng. 48(3): 910-929 (2022) - [c47]Jiayi Chen, Zhixing Wang, Yuchen Jiang, Jun Pang, Tian Zhang, Minxue Pan, Jianwen Sun:
NEGAR: Network Embedding Guided Architecture Recovery for Software Systems. APSEC 2022: 367-376 - [c46]Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. ICST 2022: 463 - [c45]Guiyin Li, Fengyi Zhu, Jun Pang, Tian Zhang, Minxue Pan, Xuandong Li:
Functional Scenario Classification for Android Applications using GNNs. Internetware 2022: 1-9 - [c44]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
DeepLabel: Automated Issue Classification for Issue Tracking Systems. Internetware 2022: 231-241 - [c43]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. ASE 2022: 86:1-86:13 - 2021
- [j16]Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. Softw. Test. Verification Reliab. 31(8) (2021) - [c42]Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li:
Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. ICML 2021: 6471-6482 - [c41]Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li:
GUIDER: GUI structure and vision co-guided test script repair for Android apps. ISSTA 2021: 191-203 - [i3]Yuyang Wei, Yijun Yu, Minxue Pan, Tian Zhang:
A Feature Table approach to decomposing monolithic applications into microservices. CoRR abs/2105.07157 (2021) - 2020
- [j15]Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li:
Effective testing of Android apps using extended IFML models. J. Syst. Softw. 159 (2020) - [j14]Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Enhancing example-based code search with functional semantics. J. Syst. Softw. 165: 110568 (2020) - [c40]Yuyang Wei, Yijun Yu, Minxue Pan, Tian Zhang:
A Feature Table approach to decomposing monolithic applications into microservices. Internetware 2020: 21-30 - [c39]Linna Xie, Lu Lu, Shunjie Ding, Yu Pei, Minxue Pan, Tian Zhang:
Automatically Detecting Exception Handling Defects in Android Applications. Internetware 2020: 61-70 - [c38]Longlong Lu, Wenhua Yang, Minxue Pan, Tian Zhang:
SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications. Internetware 2020: 229-239 - [c37]Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li:
Reinforcement learning based curiosity-driven testing of Android applications. ISSTA 2020: 153-164 - [c36]Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li:
Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. ICPC 2020: 106-116
2010 – 2019
- 2019
- [j13]Zhengzhao Chen, Renhe Jiang, Minxue Pan, Tian Zhang, Xuandong Li:
基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow). 计算机科学 46(11): 137-144 (2019) - [j12]Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Changjun Hu:
Template-based model generation. Softw. Syst. Model. 18(3): 2051-2092 (2019) - [c35]Yufei Yang, Wenbo Luo, Yu Pei, Minxue Pan, Tian Zhang:
Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading. COMPSAC (1) 2019: 149-158 - [c34]Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li:
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. ICSE 2019: 212-222 - [c33]Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li:
GUI-guided repair of mobile test scripts. ICSE (Companion Volume) 2019: 326-327 - [c32]Ruihua Ji, Junyu Pei, Wenhua Yang, Juan Zhai, Minxue Pan, Tian Zhang:
Extracting Mapping Relations for Mobile User Interface Transformation. Internetware 2019: 2:1-2:10 - [c31]Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li:
Preference-wise testing for Android applications. ESEC/SIGSOFT FSE 2019: 268-278 - [i2]Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia:
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. CoRR abs/1906.01778 (2019) - [i1]Yuxiang Zhu, Minxue Pan, Yu Pei, Tian Zhang:
A Bug or a Suggestion? An Automatic Way to Label Issues. CoRR abs/1909.00934 (2019) - 2018
- [j11]Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43(3): 6-10 (2018) - [c30]Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li:
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. ICST 2018: 204-214 - [c29]Zejun Zhang, Shaobo Wu, Renhe Jiang, Minxue Pan, Tian Zhang:
A Documentation-based Constraint Generation Method for Java APIs. Internetware 2018: 4:1-4:10 - [c28]An Huang, Minxue Pan, Tian Zhang, Xuandong Li:
Static extraction of IFML models for Android apps. MoDELS (Companion) 2018: 53-54 - [c27]Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang:
[Research Paper] Semantics-Based Code Search Using Input/Output Examples. SCAM 2018: 92-102 - 2017
- [j10]Renhe Jiang, Xiaomei Zheng, Xiaoqian Zhu, Minxue Pan, Tian Zhang:
一种基于UML关系的Java代码库构造方法 (Method of Java Code Repository Construction Based on UML Relationship). 计算机科学 44(11): 69-79 (2017) - [j9]Tongtong Xu, Qutao Liu, Xiaomei Zheng, Minxue Pan, Tian Zhang:
一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components). 计算机科学 44(11): 98-103 (2017) - 2016
- [j8]Xiao He, Tian Zhang, Changjun Hu, Zhiyi Ma, Weizhong Shao:
An MDE performance testing framework based on random model generation. J. Syst. Softw. 121: 247-264 (2016) - [c26]Xiao He, Wenfeng Li, Tian Zhang, Yi Liu:
Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. TASE 2016: 57-64 - 2015
- [j7]Yan Zhang, Jin Shi, Tian Zhang, Xiangwei Liu, Zhuzhong Qian:
Modeling and checking for Cyber-Physical System based on hybrid interface automata. Pervasive Mob. Comput. 24: 179-193 (2015) - [j6]Tian Zhang, Xiaomei Zheng, Yan Zhang, Jianhua Zhao, Xuandong Li:
A declarative approach for Java code instrumentation. Softw. Qual. J. 23(1): 143-170 (2015) - [j5]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems. ACM Trans. Design Autom. Electr. Syst. 20(3): 43:1-43:32 (2015) - [c25]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Optimizing deterministic garbage collection in NAND flash storage systems. RTAS 2015: 14-23 - [c24]Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li:
An Open Framework for Semantic Code Queries on Heterogeneous Repositories. TASE 2015: 39-46 - 2014
- [c23]Xiao He, Tian Zhang, Zhiyi Ma, Weizhong Shao:
Randomized Model Generation for Performance Testing of Model Transformations. COMPSAC 2014: 11-20 - [c22]Yan Zhang, Xiangwei Liu, Jin Shi, Tian Zhang, Zhuzhong Qian:
Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems. IMIS 2014: 58-65 - 2013
- [j4]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives. Des. Autom. Embed. Syst. 17(3-4): 565-586 (2013) - [c21]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Optimizing translation information management in NAND flash memory storage systems. ASP-DAC 2013: 326-331 - 2012
- [c20]Xuelin Zhang, Tian Zhang, Xuandong Li:
Query by Drawing Examples of UML Model. APSEC Workshops 2012: 154-157 - [c19]Yan Zhang, Tian Zhang:
Hybrid Interface Automata. APSEC 2012: 624-633 - [c18]Yan Zhang, Yi Liu, Zhiyi Ma, Xuying Zhao, Xiaokun Zhang, Tian Zhang:
An Approach to Measure Understandability of Extended UML Based on Metamodel. ICCSA (4) 2012: 100-115 - [c17]Xiaopu Huang, Qingqing Sun, Jiangwei Li, Minxue Pan, Tian Zhang:
An MDE-based approach to the verification of SysML state machine diagram. Internetware 2012: 9:1-9:7 - [c16]Qingqing Sun, Xiaopu Huang, Jiangwei Li, Tian Zhang:
Timing Aspects Construction Using UML-MARTE Profile. ISCTCS 2012: 474-481 - [c15]Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang:
MDE-Based Verification of SysML State Machine Diagram by UPPAAL. ISCTCS 2012: 490-497 - [c14]Ying He, Yongjing Tao, Tian Zhang:
CppIns: A Source Query Language for Instrumentation. ISCTCS 2012: 498-505 - [c13]Xuelin Zhang, Huajie Chen, Tian Zhang:
An UML Model Query Method Based on Structure Pattern Matching. ISCTCS 2012: 506-513 - [c12]Jiangwei Li, Jizhou Zhao, Qingqing Sun, Xiaopu Huang, Yan Zhang, Tian Zhang:
Composition of AADL Components by Transformation to Interface Automata. ISCTCS 2012: 522-529 - [c11]Jizhou Zhao, Jiangwei Li, Yan Zhang, Tian Zhang:
A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components. ISCTCS 2012: 539-546 - 2011
- [j3]Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li:
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. 8(2): 7-10 (2011) - [c10]Yijun Yu, Thein Than Tun, Arosha K. Bandara, Tian Zhang, Bashar Nuseibeh:
From Model-Driven Software Development Processes to Problem Diagnoses at Runtime. [email protected]@Dagstuhl 2011: 188-207 - [c9]Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li:
An Instrumentation Tool for Program Dynamic Analysis in Java. SSIRI (Companion) 2011: 60-67
2000 – 2009
- 2008
- [j2]Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li:
An MDE-based method for bridging different design notations. Innov. Syst. Softw. Eng. 4(3): 203-213 (2008) - [c8]Tian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao:
A MDE Based Approach for Bridging Formal Models. TASE 2008: 113-116 - 2007
- [j1]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li:
A model-driven development framework for enterprise Web services. Inf. Syst. Frontiers 9(4): 391-409 (2007) - [c7]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li:
Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218 - 2006
- [c6]Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84 - [c5]Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225 - [c4]Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-based Component Behavior Filtration. SET 2006: 25-36 - 2005
- [c3]Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng:
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. EUC 2005: 395-404 - [c2]Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng:
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247 - [c1]Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions. FACS 2005: 349-361
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 20:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint