Tian Zhang

Orcid: 0000-0003-0104-2731

Affiliations:

Nanjing University, National Key Laboratory for Novel Software Technology, China

According to our database¹, Tian Zhang authored at least 72 papers between 2005 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Empirically revisiting and enhancing automatic classification of bug and non-bug issues.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., October, 2024

Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., March, 2024

Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Program Repair With Repeated Learning.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., February, 2023

Preference-wise Testing of Android Apps via Test Amplification.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2023

Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Restore: Retrospective Fault Localization Enhancing Automated Program Repair.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

GUI-Guided Test Script Repair for Mobile Apps.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Functional Scenario Classification for Android Applications using GNNs.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

DeepLabel: Automated Issue Classification for Issue Tracking Systems.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

NEGAR: Network Embedding Guided Architecture Recovery for Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Documentation-based functional constraint generation for library methods.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

GUIDER: GUI structure and vision co-guided test script repair for Android apps.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Effective testing of Android apps using extended IFML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Enhancing example-based code search with functional semantics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Reinforcement learning based curiosity-driven testing of Android applications.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Automatically Detecting Exception Handling Defects in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

A Feature Table approach to decomposing monolithic applications into microservices.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

Template-based model generation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow).

[BibT_eX]

[DOI]

计算机科学, 2019

A Bug or a Suggestion? An Automatic Way to Label Issues.

[BibT_eX]

[DOI]

CoRR, 2019

Preference-wise testing for Android applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Extracting Mapping Relations for Mobile User Interface Transformation.

[BibT_eX]

[DOI]

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

GUI-guided repair of mobile test scripts.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Model-based Construction and Verification of Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2018

[Research Paper] Semantics-Based Code Search Using Input/Output Examples.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Static extraction of IFML models for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

A Documentation-based Constraint Generation Method for Java APIs.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components).

[BibT_eX]

[DOI]

计算机科学, 2017

一种基于UML关系的Java代码库构造方法 (Method of Java Code Repository Construction Based on UML Relationship).

[BibT_eX]

[DOI]

计算机科学, 2017

2016

An MDE performance testing framework based on random model generation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

2015

Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2015

A declarative approach for Java code instrumentation.

[BibT_eX]

[DOI]

Softw. Qual. J., 2015

Modeling and checking for Cyber-Physical System based on hybrid interface automata.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2015

An Open Framework for Semantic Code Queries on Heterogeneous Repositories.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Optimizing deterministic garbage collection in NAND flash storage systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

2014

Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2014

Randomized Model Generation for Performance Testing of Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2013

Optimizing translation information management in NAND flash memory storage systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

An UML Model Query Method Based on Structure Pattern Matching.

[BibT_eX]

[DOI]

Xuelin Zhang

Huajie Chen

Tian Zhang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Timing Aspects Construction Using UML-MARTE Profile.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Composition of AADL Components by Transformation to Interface Automata.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

MDE-Based Verification of SysML State Machine Diagram by UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

CppIns: A Source Query Language for Instrumentation.

[BibT_eX]

[DOI]

Ying He

Yongjing Tao

Tian Zhang

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

An MDE-based approach to the verification of SysML state machine diagram.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

An Approach to Measure Understandability of Extended UML Based on Metamodel.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Query by Drawing Examples of UML Model.

[BibT_eX]

[DOI]

Xuelin Zhang

Tian Zhang

Xuandong Li

Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

Hybrid Interface Automata.

[BibT_eX]

[DOI]

Yan Zhang

Tian Zhang

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

An Instrumentation Tool for Program Dynamic Analysis in Java.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

From Model-Driven Software Development Processes to Problem Diagnoses at Runtime.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2008

An MDE-based method for bridging different design notations.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

A MDE Based Approach for Bridging Formal Models.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

A model-driven development framework for enterprise Web services.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2007

Towards a Model Driven Approach to Automatic BPEL Generation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

Scenario-based Component Behavior Filtration.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Scenario-Based Component Behavior Derivation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Deriving Available Behavior All Out from Incompatible Component Compositions.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 2005

Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.

[BibT_eX]

[DOI]

Proceedings of the Embedded and Ubiquitous Computing, 2005

Tian Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...