An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. - Yuting Chen 001; Shaoying Liu (APSEC, 2004)

An Investigation of the Approach to Specification-Based Program Review through Case Studies. - Fumiko Nagoya; Shaoying Liu; Yuting Chen 001 (ICECCS, 2004)

An Approach to Integration Testing Based on Data Flow Specifications. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ICTAC, 2004)

A Review Approach to Detecting Structural Consistency Violations in Programs. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ACIS-ICIS, 2005)

A Tool and Case Study for Specification-Based Program Review. - Fumiko Nagoya; Shaoying Liu; Yuting Chen 001 (COMPSAC (1), 2005)

A Framework for SOFL-Based Program Review. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ICECCS, 2005)

Design of a Tool for Specification-Based Program Review. - Fumiko Nagoya; Shaoying Liu; Yuting Chen 001 (ICECCS, 2005)

An Automated Approach to Specification-Based Program Inspection. - Shaoying Liu; Fumiko Nagoya; Yuting Chen 001; Masashi Goya; John A. McDermid (ICFEM, 2005)

An Empirical Study on a Specification-Based Program Review Approach. - Fumiko Nagoya; Yuting Chen 001; Shaoying Liu (DepCoS-RELCOMEX, 2006)

A Tool-Supported Review Approach to Detecting Structural Consistency Violations. - Yuting Chen 001; Shaoying Liu; Fumiko Nagoya (ICECCS, 2006)

A Method Combining Review and Testing for Verifying Software Systems. - Yuting Chen 001; Shaoying Liu; W. Eric Wong (BMEI (2), 2008)

A Systematic Approach for Integrating Fault Trees into System Statecharts. - Omar el Ariss; Dianxiang Xu; W. Eric Wong; Yuting Chen 001; Yann-Hang Lee (COMPSAC, 2008)

A Review Approach to Detecting Violations of Consistency between Specification and Program Structures. - Yuting Chen 001; Shaoying Liu; W. Eric Wong (Int. J. Softw. Eng. Knowl. Eng., 2008)

A relation-based method combining functional and structural testing for test case generation. - Shaoying Liu; Yuting Chen 001 (J. Syst. Softw., 2008)

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

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

An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. - Yuting Chen 001; Shaoying Liu; Linzhang Wang (QSIC, 2010)

A Rigorous Method for Inspection of Model-Based Formal Specifications. - Shaoying Liu; John A. McDermid; Yuting Chen 001 (IEEE Trans. Reliab., 2010)

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)

Compressed C4.5 Models for Software Defect Prediction. - Jun Wang; Beijun Shen; Yuting Chen 001 (QSIC, 2012)

Formal Specification-Based Inspection for Verification of Programs. - Shaoying Liu; Yuting Chen 001; Fumiko Nagoya; John A. McDermid (IEEE Trans. Software Eng., 2012)

Platform independent analysis of probabilities on execution paths of multithreaded programs. - Yuting Chen 001 (ICIS, 2013)

Anticrasher: Predicting and preventing impending crashes on runtime at user end. - Anil Kumar Karna; Yuting Chen 001 (ICACCI, 2013)

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)

Checking Internal Consistency of SOFL Specification: A Hybrid Approach. - Yuting Chen 001 (SOFL+MSVL, 2013)

Platform Independent Analysis of Probabilities on Multithreaded Programs. - Yuting Chen 001 (Int. J. Softw. Innov., 2013)

Automated Breakpoint Generation for Debugging. - Cheng Zhang; Juyuan Yang; Dacong Yan; Shengqian Yang; Yuting Chen 001 (J. Softw., 2013)

Mining Developer Mailing List to Predict Software Defects. - Yu Zhang; Beijun Shen; Yuting Chen 001 (APSEC (1), 2014)

A Scenario-Based Approach to Predicting Software Defects Using Compressed C4.5 Model. - Biwen Li; Beijun Shen; Jun Wang; Yuting Chen 001; Tao Zhang; Jinshuang Wang (COMPSAC, 2014)

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

Incremental Points-to Analysis for Java via Edit Propagation. - Yuting Chen 001; Qiuwei Shi; Weikai Miao (SOFL+MSVL, 2014)

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

TBIL: A Tagging-Based Approach to Identity Linkage Across Software Communities. - Wenkai Mo; Beijun Shen; Yuting Chen 001; Jiangang Zhu (APSEC, 2015)

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)

Towards Effective Developer Recommendation in Software Crowdsourcing. - Shixiong Zhao; Beijun Shen; Yuting Chen 001; Hao Zhong 001 (SEKE, 2015)

Guided differential testing of certificate validation in SSL/TLS implementations. - Yuting Chen 001; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2015)

Heterogeneous Cross-Company Effort Estimation through Transfer Learning. - Shensi Tong; Qing He; Yuting Chen 001; Ye Yang; Beijun Shen (APSEC, 2016)

GRETA: Graph-Based Tag Assignment for GitHub Repositories. - Xuyang Cai; Jiangang Zhu; Beijun Shen; Yuting Chen 001 (COMPSAC, 2016)

Software Defect Prediction Using Semi-Supervised Learning with Change Burst Information. - Qing He; Beijun Shen; Yuting Chen 001 (COMPSAC, 2016)

SatiIndicator: Leveraging User Reviews to Evaluate User Satisfaction of SourceForge Projects. - Zhenzheng Qian; Beijun Shen; Wenkai Mo; Yuting Chen 001 (COMPSAC, 2016)

Multi-perspective change impact analysis using linked data of software engineering. - Chengcheng Wan 001; Zece Zhu; Yuchen Zhang; Yuting Chen 001 (Internetware, 2016)

Multicast routing tree for sequenced packet transmission in software-defined networks. - Peng Yu; Renke Wu; Haojie Zhou; Haibo Yu 001; Yuting Chen 001; Hao Zhong 001 (Internetware, 2016)

Rule-directed code clone synchronization. - Xiao Cheng 006; Hao Zhong 001; Yuting Chen 001; Zhenjiang Hu; Jianjun Zhao 001 (ICPC, 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)

Evaluating quality-in-use of FLOSS through analyzing user reviews. - Zhenzheng Qian; Chengcheng Wan 001; Yuting Chen 001 (SNPD, 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)

CRSearcher: Searching Code Database for Repairing Bugs. - Yingyi Wang; Yuting Chen 001; Beijun Shen; Hao Zhong 001 (Internetware, 2017)

Cold-Start Developer Recommendation in Software Crowdsourcing: A Topic Sampling Approach. - Yu Yang; Wenkai Mo; Beijun Shen; Yuting Chen 001 (SEKE, 2017)

Guided, stochastic model-based GUI testing of Android apps. - Ting Su 001; Guozhu Meng; Yuting Chen 001; Ke Wu; Weiming Yang; Yao Yao; Geguang Pu; Yang Liu 003; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2017)

A Survey on Data-Flow Testing. - Ting Su 001; Ke Wu; Weikai Miao; Geguang Pu; Jifeng He 001; Yuting Chen 001; Zhendong Su 001 (ACM Comput. Surv., 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)

SPMP: A JavaScript Support for Shared Persistent Memory on Node.js. - Qipeng Zhang; Tianyou Li; Pan Deng; Yuting Chen 001; Linpeng Huang; Andy Rudoff (ICA3PP (2), 2018)

JSNVM: Supporting Data Persistence in JavaScript Using Non-Volatile Memory. - Hao Xu; Yanmin Zhu 006; Yuting Chen 001; Linpeng Huang; Tianyou Li; Pan Deng (ICPADS, 2018)

LibraryGuru: API recommendation for Android developers. - Weizhao Yuan; Hoang H. Nguyen; Lingxiao Jiang; Yuting Chen 001 (ICSE (Companion Volume), 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)

Reinforcement Learning of Code Search Sessions. - Wei Li 254; Shuhan Yan; Beijun Shen; Yuting Chen 001 (APSEC, 2019)

An Adaptive Approach to Recommending Obfuscation Rules for Java Bytecode Obfuscators. - Yanru Peng; Yuting Chen 001; Beijun Shen (COMPSAC (1), 2019)

A Frequency-Aware Spatio-Temporal Network for Traffic Flow Prediction. - Shunfeng Peng; Yanyan Shen; Yanmin Zhu 006; Yuting Chen 001 (DASFAA (2), 2019)

Deep differential testing of JVM implementations. - Yuting Chen 001; Ting Su 001; Zhendong Su 001 (ICSE, 2019)

CocoQa: Question Answering for Coding Conventions Over Knowledge Graphs. - Tianjiao Du; Junming Cao; Qinyue Wu; Wei Li 254; Beijun Shen; Yuting Chen 001 (ASE, 2019)

Constructing a Knowledge Base of Coding Conventions from Online Resources. - Junming Cao; Tianjiao Du; Beijun Shen; Wei Li 254; Qinyue Wu; Yuting Chen 001 (SEKE, 2019)

Generating SQL Statements from Natural Language Queries: A Multitask Learning Approach (S). - Chunqi Chen; Yunxiang Xiong; Beijun Shen; Yuting Chen 001 (SEKE, 2019)

Enhancing Semantic Search of Crowdsourcing IT Services using Knowledge Graph. - Duankang Fu; Shufan Zhou; Beijun Shen; Yuting Chen 001 (SEKE, 2019)

CrowDevBot: A Task-Oriented Conversational Bot for Software Crowdsourcing Platform (S). - Zeyu Ni; Beijun Shen; Yuting Chen 001; Zhangyuan Meng; Junming Cao (SEKE, 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)

JDap: Supporting in-memory data persistence in javascript using Intel's PMDK. - Litong You; Hao Xu; Qipeng Zhang; Tianyou Li; Chen Li 009; Yuting Chen 001; Linpeng Huang (J. Syst. Archit., 2019)

Learning Code-Query Interaction for Enhancing Code Searches. - Wei Li 254; Haozhe Qin; Shuhan Yan; Beijun Shen; Yuting Chen 001 (ICSME, 2020)

Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs. - Jiayu Zhu; Chengcheng Wan 001; Pengbo Nie; Yuting Chen 001; Zhendong Su 001 (ICSME, 2020)

Learning to Recommend Trigger-Action Rules for End-User Development - A Knowledge Graph Based Approach. - Qinyue Wu; Beijun Shen; Yuting Chen 001 (ICSR, 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)

Are the Code Snippets What We Are Searching for? A Benchmark and an Empirical Study on Code Search with Natural-Language Queries. - Shuhan Yan; Hang Yu; Yuting Chen 001; Beijun Shen; Lingxiao Jiang (SANER, 2020)

Semantic Service Search in IT Crowdsourcing Platform: A Knowledge Graph-Based Approach. - Qinyue Wu; Duankang Fu; Beijun Shen; Yuting Chen 001 (Int. J. Softw. Eng. Knowl. Eng., 2020)

Feedback2Code: A Deep Learning Approach to Identifying User-Feedback-Related Source Code Files. - Shuhan Yan; Tianjiao Du; Beijun Shen; Yuting Chen 001; Zhilei Ren (Int. J. Softw. Eng. Knowl. Eng., 2020)

Learning to Match Workers and Tasks via a Multi-View Graph Attention Network. - Nan Cui; Chunqi Chen; Beijun Shen; Yuting Chen 001 (COMPSAC, 2021)

ApproxiFuzzer: Fuzzing towards Deep Code Snippets in Java Programs. - Xintian Yu; Enze Ma; Pengbo Nie; Beijun Shen; Yuting Chen 001; Ziyi Lin (COMPSAC, 2021)

JPDHeap: A JVM Heap Design for PM-DRAM Memories. - Litong You; Tianxiao Gu; Shengan Zheng; Jianmei Guo; Sanhong Li; Yuting Chen 001; Linpeng Huang (DAC, 2021)

Reno: An RDMA-Enabled, Non-Volatile Memory-Optimized Key-Value Store. - Rulin Huang; Kaixin Huang; Jingyu Wang; Yuting Chen 001 (ICPADS, 2021)

Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems. - Dangwei Wu; Beijun Shen; Yuting Chen 001; He Jiang 001; Lei Qiao 002 (ISSRE, 2021)

ConLAR: Learning to Allocate Resources to Docker Containers under Time-Varying Workloads. - Diwei Chen; Beijun Shen; Yuting Chen 001 (QRS, 2021)

TDMatcher: A topic-based approach to task-developer matching with predictive intelligence for recommendation. - Yiyang Fu; Benjun Shen; Yuting Chen 001; Linpeng Huang (Appl. Soft Comput., 2021)

An Empirical Study on Tensor Shape Faults in Deep Learning Systems. - Dangwei Wu; Beijun Shen; Yuting Chen 001 (CoRR, 2021)

Context-Aware Conversational Recommendation of Trigger-Action Rules in IoT Programming. - Mingxin Zhao; Qinyue Wu; Enze Ma; Beijun Shen; Yuting Chen 001 (Int. J. Softw. Eng. Knowl. Eng., 2021)

DeFiHap: Detecting and Fixing HiveQL Anti-Patterns. - Yuetian Mao; Shuai Yuan; Nan Cui; Tianjiao Du; Beijun Shen; Yuting Chen 001 (Proc. VLDB Endow., 2021)

Hierarchical memory-constrained operator scheduling of neural architecture search networks. - Zihan Wang; Chengcheng Wan 001; Yuting Chen 001; Ziyi Lin; He Jiang 001; Lei Qiao 002 (DAC, 2022)

Zebra: An Efficient, RDMA-Enabled Distributed Persistent Memory File System. - Jingyu Wang; Shengan Zheng; Ziyi Lin; Yuting Chen 001; Linpeng Huang (DASFAA (1), 2022)

Multi-UAV Collaborative Path Planning using Hierarchical Reinforcement Learning and Simulated Annealing. - Yuting Chen 001; Dongcheng Li 001; W. Eric Wong; Zhao Man; Dengfeng Mo (Int. J. Perform. Eng., 2022)

Automatically repairing tensor shape faults in deep learning programs. - Dangwei Wu; Beijun Shen; Yuting Chen 001; He Jiang 001; Lei Qiao 002 (Inf. Softw. Technol., 2022)

LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM. - Zhide Zhou; He Jiang 001; Zhilei Ren; Yuting Chen 001; Lei Qiao 002 (IEEE Trans. Reliab., 2022)

DFairNAS: A Dataflow Fairness Approach to Training NAS Neural Networks. - Lingtong Meng; Yuting Chen 001 (CISP-BMEI, 2023)

Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX. - Xinyuan Miao; Ziyi Lin; Shaojun Wang; Lei Yu; Sanhong Li; Zihan Wang; Pengbo Nie; Yuting Chen 001; Beijun Shen; He Jiang 001 (ICSE, 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)

InfeRE: Step-by-Step Regex Generation via Chain of Inference. - Shuai Zhang; Xiaodong Gu 002; Yuting Chen 001; Beijun Shen (ASE, 2023)

Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. - Pengbo Nie; Chengcheng Wan 001; Jiayu Zhu; Ziyi Lin; Yuting Chen 001; Zhendong Su 001 (ACM Trans. Softw. Eng. Methodol., 2023)

DuReSE: Rewriting Incomplete Utterances via Neural Sequence Editing. - Wenhui Jiang; Xiaodong Gu 002; Yuting Chen 001; Beijun Shen (Neural Process. Lett., 2023)

A Holistic Functionalization Approach to Optimizing Imperative Tensor Programs in Deep Learning. - Jinming Ma; Xiuhong Li; Zihan Wang; Xingcheng Zhang; Shengen Yan; Yuting Chen 001; Yueqian Zhang; Minxi Jin; Lijuan Jiang; Yun Liang 001; Chao Yang 002; Dahua Lin (DAC, 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)

Few-shot code translation via task-adapted prompt learning. - Xuan Li; Shuai Yuan; Xiaodong Gu 002; Yuting Chen 001; Beijun Shen (J. Syst. Softw., 2024)

What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs. - Dong Liu 025; He Jiang 001; Shikai Guo; Yuting Chen 001; Lei Qiao 002 (IEEE Trans. Reliab., 2024)

Constructing exception handling chains for testing Java virtual machine implementations. - Bochuan Chen; Xiao Guo; Yuting Chen 001; Xiaofeng Yu; Lei Bu (J. Softw. Evol. Process., 2024)