Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. - Jun Hu; Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Xuandong Li; Guoliang Zheng (EUC, 2005)

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. - Jun Hu; Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Linzhang Wang; Xuandong Li; Guoliang Zheng (ICPP Workshops, 2005)

Deriving Available Behavior All Out from Incompatible Component Compositions. - Yan Zhang 007; Jun Hu; Xiaofeng Yu; Tian Zhang 001; Xuandong Li; Guoliang Zheng (FACS, 2005)

Scenario-Based Component Behavior Derivation. - Yan Zhang 007; Jun Hu; Xiaofeng Yu; Tian Zhang 001; Xuandong Li; Guoliang Zheng (ICFEM, 2006)

Scenario-based Component Behavior Filtration. - Yan Zhang 007; Xiaofeng Yu; Tian Zhang 001; Xuandong Li; Guoliang Zheng (SET, 2006)

Towards a Model Driven Approach to Automatic BPEL Generation. - Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Linzhang Wang; Jianhua Zhao; Guoliang Zheng; Xuandong Li (ECMDA-FA, 2007)

A model-driven development framework for enterprise Web services. - Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Linzhang Wang; Jun Hu; Jianhua Zhao; Xuandong Li (Inf. Syst. Frontiers, 2007)

A MDE Based Approach for Bridging Formal Models. - Tian Zhang 001; Frédéric Jouault; Jean Bézivin; Jianhua Zhao (TASE, 2008)

An MDE-based method for bridging different design notations. - Tian Zhang 001; Frédéric Jouault; Jean Bézivin; Xuandong Li (Innov. Syst. Softw. Eng., 2008)

From Model-Driven Software Development Processes to Problem Diagnoses at Runtime. - Yijun Yu; Thein Than Tun; Arosha K. Bandara; Tian Zhang 001; Bashar Nuseibeh (Models@run.time@Dagstuhl, 2011)

An Instrumentation Tool for Program Dynamic Analysis in Java. - Huajie Chen; Tian Zhang 001; Lei Bu; Xuandong Li (SSIRI (Companion), 2011)

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. - Lei Bu; Qixin Wang; Xin Chen 027; Linzhang Wang; Tian Zhang 001; Jianhua Zhao; Xuandong Li (SIGBED Rev., 2011)

Hybrid Interface Automata. - Yan Zhang 007; Tian Zhang 001 (APSEC, 2012)

Query by Drawing Examples of UML Model. - Xuelin Zhang; Tian Zhang 001; Xuandong Li (APSEC Workshops, 2012)

An Approach to Measure Understandability of Extended UML Based on Metamodel. - Yan Zhang 007; Yi Liu; Zhiyi Ma; Xuying Zhao; Xiaokun Zhang; Tian Zhang 001 (ICCSA (4), 2012)

An MDE-based approach to the verification of SysML state machine diagram. - Xiaopu Huang; Qingqing Sun 003; Jiangwei Li; Minxue Pan; Tian Zhang 001 (Internetware, 2012)

CppIns: A Source Query Language for Instrumentation. - Ying He; Yongjing Tao; Tian Zhang 001 (ISCTCS, 2012)

MDE-Based Verification of SysML State Machine Diagram by UPPAAL. - Xiaopu Huang; Qingqing Sun 003; Jiangwei Li; Tian Zhang 001 (ISCTCS, 2012)

Composition of AADL Components by Transformation to Interface Automata. - Jiangwei Li; Jizhou Zhao; Qingqing Sun 003; Xiaopu Huang; Yan Zhang 007; Tian Zhang 001 (ISCTCS, 2012)

Timing Aspects Construction Using UML-MARTE Profile. - Qingqing Sun 003; Xiaopu Huang; Jiangwei Li; Tian Zhang 001 (ISCTCS, 2012)

An UML Model Query Method Based on Structure Pattern Matching. - Xuelin Zhang; Huajie Chen; Tian Zhang 001 (ISCTCS, 2012)

A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components. - Jizhou Zhao; Jiangwei Li; Yan Zhang 007; Tian Zhang 001 (ISCTCS, 2012)

Optimizing translation information management in NAND flash memory storage systems. - Qi Zhang; Xuandong Li; Linzhang Wang; Tian Zhang 001; Yi Wang 003; Zili Shao (ASP-DAC, 2013)

Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives. - Qi Zhang; Xuandong Li; Linzhang Wang; Tian Zhang 001; Yi Wang 003; Zili Shao (Des. Autom. Embed. Syst., 2013)

Randomized Model Generation for Performance Testing of Model Transformations. - Xiao He 005; Tian Zhang 001; Zhiyi Ma; Weizhong Shao (COMPSAC, 2014)

Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems. - Yan Zhang 007; Xiangwei Liu; Jin Shi; Tian Zhang 001; Zhuzhong Qian (IMIS, 2014)

Optimizing deterministic garbage collection in NAND flash storage systems. - Qi Zhang; Xuandong Li; Linzhang Wang; Tian Zhang 001; Yi Wang 003; Zili Shao (RTAS, 2015)

An Open Framework for Semantic Code Queries on Heterogeneous Repositories. - Tian Zhang 001; Minxue Pan; Jizhou Zhao; Yijun Yu; Xuandong Li (TASE, 2015)

Modeling and checking for Cyber-Physical System based on hybrid interface automata. - Yan Zhang 007; Jin Shi; Tian Zhang 001; Xiangwei Liu; Zhuzhong Qian (Pervasive Mob. Comput., 2015)

A declarative approach for Java code instrumentation. - Tian Zhang 001; Xiaomei Zheng; Yan Zhang 007; Jianhua Zhao; Xuandong Li (Softw. Qual. J., 2015)

Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems. - Qi Zhang; Xuandong Li; Linzhang Wang; Tian Zhang 001; Yi Wang 003; Zili Shao (ACM Trans. Design Autom. Electr. Syst., 2015)

Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. - Xiao He 005; Wenfeng Li; Tian Zhang 001; Yi Liu (TASE, 2016)

An MDE performance testing framework based on random model generation. - Xiao He 005; Tian Zhang 001; Changjun Hu; Zhiyi Ma; Weizhong Shao (J. Syst. Softw., 2016)

一种基于UML关系的Java代码库构造方法 (Method of Java Code Repository Construction Based on UML Relationship). - Renhe Jiang; Xiaomei Zheng; Xiaoqian Zhu; Minxue Pan; Tian Zhang 001 (计算机科学, 2017)

一种基于文档的移动平台间UI控件对应方法 (Document Based Matching Method for Mobile UI Components). - Tongtong Xu; Qutao Liu; Xiaomei Zheng; Minxue Pan; Tian Zhang 001 (计算机科学, 2017)

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. - Ruihua Ji; Zhong Li; Shouyu Chen; Minxue Pan; Tian Zhang 001; Shaukat Ali 001; Tao Yue 002; Xuandong Li (ICST, 2018)

A Documentation-based Constraint Generation Method for Java APIs. - Zejun Zhang 004; Shaobo Wu; Renhe Jiang; Minxue Pan; Tian Zhang 001 (Internetware, 2018)

Static extraction of IFML models for Android apps. - An Huang; Minxue Pan; Tian Zhang 001; Xuandong Li (MoDELS (Companion), 2018)

[Research Paper] Semantics-Based Code Search Using Input/Output Examples. - Renhe Jiang; Zhengzhao Chen; Zejun Zhang 004; Yu Pei 001; Minxue Pan; Tian Zhang 001 (SCAM, 2018)

Model-based Construction and Verification of Cyber-Physical Systems. - Lei Bu; Tian Zhang 001; Xin Chen 027; Linzhang Wang; Jianhua Zhao; Xuandong Li (ACM SIGSOFT Softw. Eng. Notes, 2018)

Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading. - Yufei Yang; Wenbo Luo; Yu Pei 001; Minxue Pan; Tian Zhang 001 (COMPSAC (1), 2019)

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. - Minxue Pan; Shouyu Chen; Yu Pei 001; Tian Zhang 001; Xuandong Li (ICSE, 2019)

GUI-guided repair of mobile test scripts. - Minxue Pan; Tongtong Xu; Yu Pei 001; Zhong Li; Tian Zhang 001; Xuandong Li (ICSE (Companion Volume), 2019)

Extracting Mapping Relations for Mobile User Interface Transformation. - Ruihua Ji; Junyu Pei; Wenhua Yang 001; Juan Zhai; Minxue Pan; Tian Zhang 001 (Internetware, 2019)

Preference-wise testing for Android applications. - Yifei Lu; Minxue Pan; Juan Zhai; Tian Zhang 001; Xuandong Li (ESEC/SIGSOFT FSE, 2019)

A Bug or a Suggestion? An Automatic Way to Label Issues. - Yuxiang Zhu; Minxue Pan; Yu Pei 001; Tian Zhang 001 (CoRR, 2019)

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow). - Zhengzhao Chen; Renhe Jiang; Minxue Pan; Tian Zhang 001; Xuandong Li (计算机科学, 2019)

Template-based model generation. - Xiao He 005; Tian Zhang 001; Minxue Pan; Zhiyi Ma; Changjun Hu (Softw. Syst. Model., 2019)

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications. - Longlong Lu; Wenhua Yang 001; Minxue Pan; Tian Zhang 001 (Internetware, 2020)

A Feature Table approach to decomposing monolithic applications into microservices. - Yuyang Wei; Yijun Yu; Minxue Pan; Tian Zhang 001 (Internetware, 2020)

Automatically Detecting Exception Handling Defects in Android Applications. - Linna Xie; Lu Lu; Shunjie Ding; Yu Pei 001; Minxue Pan; Tian Zhang 001 (Internetware, 2020)

Reinforcement learning based curiosity-driven testing of Android applications. - Minxue Pan; An Huang; Guoxin Wang; Tian Zhang 001; Xuandong Li (ISSTA, 2020)

Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. - Zejun Zhang 004; Minxue Pan; Tian Zhang 001; Xinyu Zhou; Xuandong Li (ICPC, 2020)

Enhancing example-based code search with functional semantics. - Zhengzhao Chen; Renhe Jiang; Zejun Zhang 004; Yu Pei 001; Minxue Pan; Tian Zhang 001; Xuandong Li (J. Syst. Softw., 2020)

Effective testing of Android apps using extended IFML models. - Minxue Pan; Yifei Lu; Yu Pei 001; Tian Zhang 001; Juan Zhai; Xuandong Li (J. Syst. Softw., 2020)

Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. - Zhong Li; Minxue Pan; Tian Zhang 001; Xuandong Li (ICML, 2021)

GUIDER: GUI structure and vision co-guided test script repair for Android apps. - Tongtong Xu; Minxue Pan; Yu Pei 001; Guiyin Li; Xia Zeng; Tian Zhang 001; Yuetang Deng; Xuandong Li (ISSTA, 2021)

Documentation-based functional constraint generation for library methods. - Renhe Jiang; Zhengzhao Chen; Yu Pei 001; Minxue Pan; Tian Zhang 001; Xuandong Li (Softw. Test. Verification Reliab., 2021)

NEGAR: Network Embedding Guided Architecture Recovery for Software Systems. - Jiayi Chen; Zhixing Wang; Yuchen Jiang; Jun Pang 001; Tian Zhang 001; Minxue Pan; Jianwen Sun (APSEC, 2022)

DeepLabel: Automated Issue Classification for Issue Tracking Systems. - Zhong Li; Minxue Pan; Yu Pei 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (Internetware, 2022)

Functional Scenario Classification for Android Applications using GNNs. - Guiyin Li; Fengyi Zhu; Jun Pang 001; Tian Zhang 001; Minxue Pan; Xuandong Li (Internetware, 2022)

Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. - Zhong Li; Minxue Pan; Yu Pei 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (ASE, 2022)

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. - Longlong Lu; Minxue Pan; Tian Zhang 001; Xuandong Li (Softw. Syst. Model., 2022)

GUI-Guided Test Script Repair for Mobile Apps. - Minxue Pan; Tongtong Xu; Yu Pei 001; Zhong Li; Tian Zhang 001; Xuandong Li (IEEE Trans. Software Eng., 2022)

Restore: Retrospective Fault Localization Enhancing Automated Program Repair. - Tongtong Xu; Liushan Chen; Yu Pei 001; Tian Zhang 001; Minxue Pan; Carlo A. Furia (IEEE Trans. Software Eng., 2022)

Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. - Tingwei Zhu; Zhong Li; Minxue Pan; Chaoxuan Shi; Tian Zhang 001; Yu Pei 001; Xuandong Li (ICSE Companion, 2023)

Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models. - Chaoxuan Shi; Tingwei Zhu; Tian Zhang 001; Jun Pang 001; Minxue Pan (Internetware, 2023)

Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet? - Ruihua Ji; Tingwei Zhu; Xiaoqing Zhu; Chunyang Chen 001; Minxue Pan; Tian Zhang 001 (ASE, 2023)

Preference-wise Testing of Android Apps via Test Amplification. - Minxue Pan; Yifei Lu; Yu Pei 001; Tian Zhang 001; Xuandong Li (ACM Trans. Softw. Eng. Methodol., 2023)

Program Repair With Repeated Learning. - Liushan Chen; Yu Pei 001; Minxue Pan; Tian Zhang 001; Qixin Wang; Carlo A. Furia (IEEE Trans. Software Eng., 2023)

Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring. - Linna Xie; Chongmin Li; Yu Pei 001; Tian Zhang 001; Minxue Pan (APR, 2024)

Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. - Shaoheng Cao; Minxue Pan; Yu Pei 001; Wenhua Yang 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (ICSE, 2024)

Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. - Yuanhong Lan; Yifei Lu; Zhong Li; Minxue Pan; Wenhua Yang 001; Tian Zhang 001; Xuandong Li (ICSE, 2024)

Effective Unit Test Generation for Android Apps. - Guojun Ma; Yu Pei 001; Liushan Chen; Chenqing Gan; Hao Zhang; Hao Liang; Tian Zhang 001 (ICSME, 2024)

An Empirical Study of Automatic Program Repair Techniques for Injection Vulnerabilities. - Tingwei Zhu; Tongtong Xu; Kui Liu 001; Jiayuan Zhou; Xing Hu 008; Xin Xia 001; Tian Zhang 001; David Lo 001 (ICSME, 2024)

Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking. - Ruihua Ji; Zhengxuan Qian; Zhong Li; Xiaoqing Zhu; Yu Pei 001; Minxue Pan; Tian Zhang 001 (Internetware, 2024)

Distance-Aware Test Input Selection for Deep Neural Networks. - Zhong Li; Zhengfeng Xu; Ruihua Ji; Minxue Pan; Tian Zhang 001; Linzhang Wang; Xuandong Li (ISSTA, 2024)

Silent Taint-Style Vulnerability Fixes Identification. - Zhongzhen Wen; Jiayuan Zhou; Minxue Pan; Shaohua Wang 002; Xing Hu 008; Tongtong Xu; Tian Zhang 001; Xuandong Li (ISSTA, 2024)

BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments. - Linna Xie; Chongmin Li; Yu Pei 001; Tian Zhang 001; Minxue Pan (ISSTA, 2024)

Exploring and Improving Code Completion for Test Code. - Tingwei Zhu; Zhongxin Liu 002; Tongtong Xu; Ze Tang 002; Tian Zhang 001; Minxue Pan; Xin Xia 001 (ICPC, 2024)

AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models. - Zhong Li; Chong Zhang; Minxue Pan; Tian Zhang 001; Xuandong Li (ASE, 2024)

Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization. - Tingwei Zhu; Zhong Li; Minxue Pan; Chaoxuan Shi; Tian Zhang 001; Yu Pei 001; Xuandong Li (ACM Trans. Softw. Eng. Methodol., 2024)

Empirically revisiting and enhancing automatic classification of bug and non-bug issues. - Zhong Li; Minxue Pan; Yu Pei 001; Tian Zhang 001; Linzhang Wang; Xuandong Li (Frontiers Comput. Sci., 2024)