SAT-Based Image Computation with Application in Reachability Analysis. - Aarti Gupta; Zijiang Yang 006; Pranav Ashar; Anubhav Gupta 001 (FMCAD, 2000)

Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. - Aarti Gupta; Anubhav Gupta 001; Zijiang Yang 006; Pranav Ashar (DAC, 2001)

Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. - Aarti Gupta; Zijiang Yang 006; Pranav Ashar; Lintao Zhang; Sharad Malik (ICCAD, 2001)

Exploiting Behavioral Hierarchy for Efficient Model Checking. - Rajeev Alur; Michael McDougall; Zijiang Yang 006 (CAV, 2002)

Abstraction and BDDs Complement SAT-Based BMC in DiVer. - Aarti Gupta; Malay K. Ganai; Chao Wang 001; Zijiang Yang 006; Pranav Ashar (CAV, 2003)

Learning from BDDs in SAT-based bounded model checking. - Aarti Gupta; Malay K. Ganai; Chao Wang 001; Zijiang Yang 006; Pranav Ashar (DAC, 2003)

Iterative Abstraction using SAT-based BMC with Proof Analysis. - Aarti Gupta; Malay K. Ganai; Zijiang Yang 006; Pranav Ashar (ICCAD, 2003)

Variable Reuse for Efficient Image Computation. - Zijiang Yang 006; Rajeev Alur (FMCAD, 2004)

F-Soft: Software Verification Platform. - Franjo Ivancic; Zijiang Yang 006; Malay K. Ganai; Aarti Gupta; Ilya Shlyakhter; Pranav Ashar (CAV, 2005)

Model Checking C Programs Using F-SOFT. - Franjo Ivancic; Ilya Shlyakhter; Aarti Gupta; Malay K. Ganai; Vineet Kahlon; Chao Wang 001; Zijiang Yang 006 (ICCD, 2005)

PDC: Pattern discovery with confidence in DNA sequences. - Yi Lu 015; Shiyong Lu; Farshad Fotouhi; Yan Sun; Zijiang Yang 006; Lily R. Liang (ACST, 2006)

Whodunit? Causal Analysis for Counterexamples. - Chao Wang 001; Zijiang Yang 006; Franjo Ivancic; Aarti Gupta (ATVA, 2006)

Runtime Security Verification for Itinerary-Driven Mobile Agents. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002 (DASC, 2006)

Disjunctive image computation for embedded software verification. - Chao Wang 001; Zijiang Yang 006; Franjo Ivancic; Aarti Gupta (DATE, 2006)

Mixed symbolic representations for model checking software programs. - Zijiang Yang 006; Chao Wang 001; Aarti Gupta; Franjo Ivancic (MEMOCODE, 2006)

Efficient distributed SAT and SAT-based distributed Bounded Model Checking. - Malay K. Ganai; Aarti Gupta; Zijiang Yang 006; Pranav Ashar (Int. J. Softw. Tools Technol. Transf., 2006)

Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002 (AINA Workshops (2), 2007)

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. - Chao Wang 001; Zijiang Yang 006; Aarti Gupta; Franjo Ivancic (CAV, 2007)

The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks. - Zille Huma Kamal; Ajay Gupta 001; Leszek Lilien; Zijiang Yang 006 (CollaborateCom, 2007)

Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. - Ping Yang 002; Zijiang Yang 006; Shiyong Lu (eScience, 2007)

Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework. - Leszek Lilien; Ajay Gupta 001; Zijiang Yang 006 (IPCCC, 2007)

Disjunctive image computation for software verification. - Chao Wang 001; Zijiang Yang 006; Franjo Ivancic; Aarti Gupta (ACM Trans. Design Autom. Electr. Syst., 2007)

Peephole Partial Order Reduction. - Chao Wang 001; Zijiang Yang 006; Vineet Kahlon; Aarti Gupta (TACAS, 2008)

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. - Aleksandr Zaks; Zijiang Yang 006; Ilya Shlyakhter; Franjo Ivancic; Srihari Cadambi; Malay K. Ganai; Aarti Gupta; Pranav Ashar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Efficient SAT-based bounded model checking for software verification. - Franjo Ivancic; Zijiang Yang 006; Malay K. Ganai; Aarti Gupta; Pranav Ashar (Theor. Comput. Sci., 2008)

HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. - Qichang Chen; Liqiang Wang; Zijiang Yang 006 (COMPSAC (1), 2009)

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. - Qichang Chen; Liqiang Wang; Zijiang Yang 006; Scott D. Stoller (FASE, 2009)

Dynamic Path Reduction for Software Model Checking. - Zijiang Yang 006; Bashar Al-Rawi; Karem A. Sakallah; Xiaowan Huang; Scott A. Smolka; Radu Grosu (IFM, 2009)

Offline symbolic analysis for multi-processor execution replay. - Dongyoon Lee; Mahmoud Said; Satish Narayanasamy; Zijiang Yang 006; Cristiano Pereira (MICRO, 2009)

Model checking sequential software programs via mixed symbolic analysis. - Zijiang Yang 006; Chao Wang 001; Aarti Gupta; Franjo Ivancic (ACM Trans. Design Autom. Electr. Syst., 2009)

Message Race Detection for Web Services by an SMT-Based Analysis. - Mohamed Elwakil; Zijiang Yang 006; Liqiang Wang; Qichang Chen (ATC, 2010)

CRI: Symbolic Debugger for MCAPI Applications. - Mohamed Elwakil; Zijiang Yang 006; Liqiang Wang (ATVA, 2010)

Trace-Driven Verification of Multithreaded Programs. - Zijiang Yang 006; Karem A. Sakallah (ICFEM, 2010)

Debugging support tool for MCAPI applications. - Mohamed Elwakil; Zijiang Yang 006 (PDATAD, 2010)

Opportunistic resource utilization networks - A new paradigm for specialized ad hoc networks. - Leszek Lilien; Ajay Gupta 001; Zill-E-Huma Kamal; Zijiang Yang 006 (Comput. Electr. Eng., 2010)

Information flow analysis of scientific workflows. - Ping Yang 002; Shiyong Lu; Mikhail I. Gofman; Zijiang Yang 006 (J. Comput. Syst. Sci., 2010)

Offline symbolic analysis to infer Total Store Order. - Dongyoon Lee; Mahmoud Said; Satish Narayanasamy; Zijiang Yang 006 (HPCA, 2011)

SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. - Qichang Chen; Liqiang Wang; Zijiang Yang 006 (Haifa Verification Conference, 2011)

Deterministic replay for MCAPI programs. - Mohamed Elwakil; Zijiang Yang 006 (PADTAD, 2011)

Generating Data Race Witnesses by an SMT-Based Analysis. - Mahmoud Said; Chao Wang 001; Zijiang Yang 006; Karem A. Sakallah (NASA Formal Methods, 2011)

Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002; Fahima Amin Bhuyan (Int. J. Comput. Their Appl., 2011)

HEAT: a combined approach for thread escape analysis. - Qichang Chen; Liqiang Wang; Zijiang Yang 006 (Int. J. Syst. Assur. Eng. Manag., 2011)

Software structure evaluation based on the interaction and encapsulation of methods. - Qinghua Zheng; Zhijiang Ou; Ting Liu 002; Zijiang Yang 006; Yuqiao Hou; Chao Zheng (Sci. China Inf. Sci., 2012)

Deterministic replay for message-passing-based concurrent programs. - Mohamed Elwakil; Zijiang Yang 006 (ACM Trans. Design Autom. Electr. Syst., 2012)

Policy Analysis for Administrative Role Based Access Control without Separate Administration. - Ping Yang 002; Mikhail I. Gofman; Zijiang Yang 006 (DBSec, 2013)

A discrete region-based approach to improve the consistency of pair-wise comparison matrix. - Hengshan Zhang; Qinghua Zheng; Ting Liu 002; Zijiang Yang 006; Jiahe Liu (FUZZ-IEEE, 2013)

Symbolic Analysis of Concurrency Errors in OpenMP Programs. - Hongyi Ma; Steve Diersen; Liqiang Wang; Chunhua Liao; Daniel J. Quinlan; Zijiang Yang 006 (ICPP, 2013)

Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments. - Zijiang Yang 006; Shiyong Lu; Ping Yang 002; Andrey Kashlev (Int. J. Comput. Their Appl., 2013)

Directed test suite augmentation via exploiting program dependency. - Haijun Wang 002; Xiaohong Guan; Qinghua Zheng; Ting Liu 002; Chao Shen 001; Zijiang Yang 006 (CSTVA, 2014)

Plagiarism detection for multithreaded software based on thread-aware software birthmarks. - Zhenzhou Tian; Qinghua Zheng; Ting Liu 002; Ming Fan 002; Xiaodong Zhang 014; Zijiang Yang 006 (ICPC, 2014)

Reducing Test Cases with Causality Partitions. - Haijun Wang 002; Xiaohong Guan; Qinghua Zheng; Ting Liu 002; Xiangyang Li; Lechen Yu; Zijiang Yang 006 (SEKE, 2014)

A Synergistic Analysis Method for Explaining Failed Regression Tests. - Qiuping Yi; Zijiang Yang 006; Jian Liu 008; Chen Zhao; Chao Wang 001 (ICSE (1), 2015)

Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (ICST, 2015)

Assertion guided symbolic execution of multithreaded programs. - Shengjian Guo; Markus Kusano; Chao Wang 001; Zijiang Yang 006; Aarti Gupta (ESEC/SIGSOFT FSE, 2015)

Policy analysis for administrative role based access control without separate administration. - Ping Yang 002; Mikhail I. Gofman; Scott D. Stoller; Zijiang Yang 006 (J. Comput. Secur., 2015)

Exploring community structure of software Call Graph and its applications in class cohesion measurement. - Yu Qu; Xiaohong Guan; Qinghua Zheng; Ting Liu 002; Lidan Wang; Yuqiao Hou; Zijiang Yang 006 (J. Syst. Softw., 2015)

Explaining Software Failures by Cascade Fault Localization. - Qiuping Yi; Zijiang Yang 006; Jian Liu 008; Chen Zhao; Chao Wang 001 (ACM Trans. Design Autom. Electr. Syst., 2015)

Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences. - Zhenzhou Tian; Qinghua Zheng; Ting Liu 002; Ming Fan 002; Eryue Zhuang; Zijiang Yang 006 (IEEE Trans. Software Eng., 2015)

A new thread-aware birthmark for plagiarism detection of multithreaded programs. - Zhenzhou Tian; Ting Liu 002; Qinghua Zheng; Feifei Tong; Ming Fan 002; Zijiang Yang 006 (ICSE (Companion Volume), 2016)

The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison. - Zhou Xu 003; Jin Liu 016; Zijiang Yang 006; Gege An; Xiangyang Jia (ISSRE, 2016)

Bayesian Network Based Program Dependence Graph for Fault Localization. - Xiao Yu 008; Jin Liu 016; Zijiang James Yang; Xiao Liu 004; Xiaofei Yin; Shijie Yi (ISSRE Workshops, 2016)

Radius aware probabilistic testing of deadlocks with guarantees. - Yan Cai 001; Zijiang Yang 006 (ASE, 2016)

GUICat: GUI testing as a service. - Lin Cheng; Jialiang Chang; Zijiang Yang 006; Chao Wang 001 (ASE, 2016)

Debugging Multithreaded Programs as if They Were Sequential. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Yu Hao 006; Pei Liu; Lechen Yu; Ming Fan 002; Ting Liu 002 (SATE, 2016)

A Multi-Source Approach for Bug Triage. - Jin Liu 016; Yiqiuzi Tian; Xiao Yu 008; Zijiang Yang 006; Xiangyang Jia; Chuanxiang Ma; Zheng Xu 001 (Int. J. Softw. Eng. Knowl. Eng., 2016)

Exploiting thread-related system calls for plagiarism detection of multithreaded programs. - Zhenzhou Tian; Ting Liu 002; Qinghua Zheng; Ming Fan 002; Eryue Zhuang; Zijiang Yang 006 (J. Syst. Softw., 2016)

Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions. - Hengshan Zhang; Qinghua Zheng; Ting Liu 002; Zijiang Yang 006; Minnan Luo; Yu Qu (IEEE Trans. Fuzzy Syst., 2016)

What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing. - He Jiang 001; Xiaochen Li; Zijiang Yang 006; Jifeng Xuan (ICSE, 2017)

Automated Testing of Definition-Use Data Flow for Multithreaded Programs. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Pei Liu; Jialiang Chang; Yu Hao 006; Ting Liu 002 (ICST, 2017)

Learning from Imbalanced Data for Predicting the Number of Software Defects. - Xiao Yu 008; Jin Liu 016; Zijiang Yang 006; Xiangyang Jia; Qi Ling; Sizhe Ye (ISSRE, 2017)

Systematic reduction of GUI test sequences. - Lin Cheng; Zijiang Yang 006; Chao Wang 001 (ASE, 2017)

Memory Distance Measurement for Concurrent Programs. - Hao Li; Jialiang Chang; Zijiang Yang 006; Steve Carr 001 (LCPC, 2017)

AtexRace: across thread and execution sampling for in-house race detection. - Yu Guo; Yan Cai 001; Zijiang Yang 006 (ESEC/SIGSOFT FSE, 2017)

Scalable tag recommendation for software information sites. - Pingyi Zhou; Jin Liu 016; Zijiang Yang 006; Guangyou Zhou (SANER, 2017)

A High-Level Rule-based Language for Software Defined Network Programming based on OpenFlow. - Mehdi Mohammadi; Ala I. Al-Fuqaha; Zijiang James Yang (CoRR, 2017)

The Bayesian Network based program dependence graph and its application to fault localization. - Xiao Yu 008; Jin Liu 016; Zijiang Yang 006; Xiao Liu 004 (J. Syst. Softw., 2017)

Dependence Guided Symbolic Execution. - Haijun Wang 002; Ting Liu 002; Xiaohong Guan; Chao Shen 001; Qinghua Zheng; Zijiang Yang 006 (IEEE Trans. Software Eng., 2017)

Test Case Prioritization Based on Method Call Sequences. - Jianlei Chi; Yu Qu; Qinghua Zheng; Zijiang Yang 006; Wuxia Jin; Di Cui; Ting Liu 002 (COMPSAC (1), 2018)

Automated localization for unreproducible builds. - Zhilei Ren; He Jiang 001; Jifeng Xuan; Zijiang Yang 006 (ICSE, 2018)

Debugging Multithreaded Programs as if They Were Sequential. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Yu Hao 006; Pei Liu; Lechen Yu; Ting Liu 002 (IEEE Access, 2018)

FastTagRec: fast tag recommendation for software information sites. - Jin Liu 016; Pingyi Zhou; Zijiang Yang 006; Xiao Liu 004; John Grundy 001 (Autom. Softw. Eng., 2018)

sCompile: Critical Path Identification and Analysis for Smart Contracts. - Jialiang Chang; Bo Gao; Hao Xiao; Jun Sun 001; Zijiang Yang 006 (CoRR, 2018)

Localizing multiple software faults based on evolution algorithm. - Yan Zheng 002; Zan Wang; Xiangyu Fan; Xiang Chen 005; Zijiang Yang 006 (J. Syst. Softw., 2018)

Guest editorial: special issue on concurrent software quality. - Zijiang Yang 006; Ting Liu 002; Daniel Xiapu Luo; Chao Wang 001 (Softw. Qual. J., 2018)

Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection. - Zhenzhou Tian; Ting Liu 002; Qinghua Zheng; Eryue Zhuang; Ming Fan 002; Zijiang Yang 006 (IEEE Trans. Software Eng., 2018)

Eliminating Path Redundancy via Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (IEEE Trans. Software Eng., 2018)

Data used in PackageRank: Ranking Software Packages for Maintenance based on Multilayer Software Networks. - Weifeng Pan 001; Zijiang Yang 006; Ming Hua 003; Carl K. Chang; Bi Chen (IEEE DataPort, 2018)

sCompile: Critical Path Identification and Analysis for Smart Contracts. - Jialiang Chang; Bo Gao; Hao Xiao; Jun Sun 001; Yan Cai 001; Zijiang Yang 006 (ICFEM, 2019)

Engineering a Better Fuzzer with Synergically Integrated Optimizations. - Jie Liang 006; Yuanliang Chen; Mingzhe Wang; Yu Jiang 001; Zijiang Yang 006; Chengnian Sun; Xun Jiao; Jiaguang Sun 001 (ISSRE, 2019)

Sara: self-replay augmented record and replay for Android in industrial cases. - Jiaqi Guo; Shuyue Li; Jian-Guang Lou; Zijiang Yang 006; Ting Liu 002 (ISSTA, 2019)

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. - Ruijie Meng; Biyun Zhu; Hao Yun; Haicheng Li; Yan Cai 001; Zijiang Yang 006 (ASE, 2019)

Software defect prediction based on kernel PCA and weighted extreme learning machine. - Zhou Xu 003; Jin Liu 016; Xiapu Luo; Zijiang Yang 006; Yifeng Zhang; Peipei Yuan; Yutian Tang; Tao Zhang 001 (Inf. Softw. Technol., 2019)

Is deep learning better than traditional approaches in tag recommendation for software information sites? - Pingyi Zhou; Jin Liu 016; Xiao Liu 004; Zijiang Yang 006; John C. Grundy (Inf. Softw. Technol., 2019)

ObjSim: efficient testing of cyber-physical systems. - Jun Sun 001; Zijiang Yang 006 (TAV-CPS/IoT@ISSTA, 2020)

From Innovations to Prospects: What Is Hidden Behind Cryptocurrencies? - Ang Jia; Ming Fan 002; Xi Xu; Di Cui; Wenying Wei; Zijiang Yang 006; Kai Ye 001; Ting Liu 002 (MSR, 2020)

Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity. - Weisong Sun; Guangyao Xu; Zijiang Yang 006; Zhenyu Chen 001 (QRS, 2020)

A Study on Testing Autonomous Driving Systems. - Xudong Zhang 007; Yan Cai 001; Zijiang Yang 006 (QRS Companion, 2020)

Scalable attack on graph data by injecting vicious nodes. - Jihong Wang 003; Minnan Luo; Fnu Suya; Jundong Li; Zijiang Yang 006; Qinghua Zheng (Data Min. Knowl. Discov., 2020)

Automatic Buffer Overflow Warning Validation. - Fengjuan Gao; Yu Wang 093; Linzhang Wang; Zijiang Yang 006; Xuandong Li (J. Comput. Sci. Technol., 2020)

Relation-based test case prioritization for regression testing. - Jianlei Chi; Yu Qu; Qinghua Zheng; Zijiang Yang 006; Wuxia Jin; Di Cui; Ting Liu 002 (J. Syst. Softw., 2020)

Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Yu Hao 006; Pei Liu; Ting Liu 002 (IEEE Trans. Software Eng., 2020)

Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL. - Jiaqi Guo; Ziliang Si; Yu Wang 093; Qian Liu; Ming Fan 002; Jian-Guang Lou; Zijiang Yang 006; Ting Liu 002 (ACL/IJCNLP (1), 2021)

sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. - Bo Gao; Ling Shi; Jiaying Li 001; Jialiang Chang; Jun Sun 001; Zijiang Yang 006 (ISoLA, 2021)

Detecting concurrency vulnerabilities based on partial orders of memory and thread events. - Kunpeng Yu; Chenxu Wang 001; Yan Cai 001; Xiapu Luo; Zijiang Yang 006 (ESEC/SIGSOFT FSE, 2021)

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. - Jian Gao 008; Yu Jiang 001; Zhe Liu 001; Xin Yang; Cong Wang 020; Xun Jiao; Zijiang Yang 006; Jiaguang Sun 001 (IEEE Trans. Software Eng., 2021)

ElementRank: Ranking Java Software Classes and Packages using a Multilayer Complex Network-Based Approach. - Weifeng Pan 001; Ming Hua 003; Carl K. Chang; Zijiang Yang 006; Dae-Kyoo Kim (IEEE Trans. Software Eng., 2021)

Explaining Regressions via Alignment Slicing and Mending. - Haijun Wang 002; Yun Lin 001; Zijiang Yang 006; Jun Sun 001; Yang Liu 003; Jin Song Dong; Qinghua Zheng; Ting Liu 002 (IEEE Trans. Software Eng., 2021)

Explanation-Guided Fairness Testing through Genetic Algorithm. - Ming Fan 002; Wenying Wei; Wuxia Jin; Zijiang Yang 006; Ting Liu 002 (ICSE, 2022)

LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Jun Sun 001; Yuqi Chen 001; Zijiang Yang 006 (ASE, 2022)

UniLayout: Taming Unified Sequence-to-Sequence Transformers for Graphic Layout Generation. - Zhaoyun Jiang; Huayu Deng; Zhongkai Wu; Jiaqi Guo; Shizhao Sun; Vuksan Mijovic; Zijiang Yang 006; Jian-Guang Lou; Dongmei Zhang 001 (CoRR, 2022)

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. - Yang Liu 090; Zisen Xu; Ming Fan 002; Yu Hao 006; Kai Chen 012; Hao Chen 003; Yan Cai 001; Zijiang Yang 006; Ting Liu 002 (IEEE Trans. Reliab., 2022)

Comments on "Using $k$k-Core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance". - Weifeng Pan 001; Ming Hua 003; Zijiang Yang 006; Tian Wang 001 (IEEE Trans. Software Eng., 2022)

Sound Predictive Fuzzing for Multi-threaded Programs. - Yuqi Guo 002; Zheheng Liang; Shihao Zhu; Jinqiu Wang; Zijiang Yang 006; Wuqiang Shen; Jinbo Zhang; Yan Cai 001 (COMPSAC, 2023)

LayoutFormer++: Conditional Graphic Layout Generation via Constraint Serialization and Decoding Space Restriction. - Zhaoyun Jiang; Jiaqi Guo; Shizhao Sun; Huayu Deng; Zhongkai Wu; Vuksan Mijovic; Zijiang James Yang; Jian-Guang Lou; Dongmei Zhang 001 (CVPR, 2023)

Identifying Key Classes for Initial Software Comprehension: Can We Do It Better? - Weifeng Pan 001; Xin Du; Ming Hua 003; Dae-Kyoo Kim; Zijiang Yang 006 (ICSE, 2023)

LayoutPrompter: Awaken the Design Ability of Large Language Models. - Jiawei Lin; Jiaqi Guo; Shizhao Sun; Zijiang Yang 006; Jian-Guang Lou; Dongmei Zhang 001 (NeurIPS, 2023)

Pride: Prioritizing Documentation Effort Based on a PageRank-Like Algorithm and Simple Filtering Rules. - Weifeng Pan 001; Ming Hua 003; Dae-Kyoo Kim; Zijiang Yang 006 (IEEE Trans. Software Eng., 2023)

Specification-Based Autonomous Driving System Testing. - Yuan Zhou 005; Yang Sun 008; Yun Tang 003; Yuqi Chen 001; Jun Sun 001; Christopher M. Poskitt; Yang Liu 003; Zijiang Yang 006 (IEEE Trans. Software Eng., 2023)

IconDM: Text-Guided Icon Set Expansion Using Diffusion Models. - Jiawei Lin; Zhaoyun Jiang; Jiaqi Guo; Shizhao Sun; Ting Liu 002; Zijiang Yang 006; Jian-Guang Lou; Dongmei Zhang 001 (ACM Multimedia, 2024)

EASE: An Effort-aware Extension of Unsupervised Key Class Identification Approaches. - Weifeng Pan 001; Marouane Kessentini; Ming Hua 003; Zijiang Yang 006 (ACM Trans. Softw. Eng. Methodol., 2024)

Adversarial Safety-Critical Scenario Generation Using Naturalistic Human Driving Priors. - Kunkun Hao; Wen Cui; Yonggang Luo; Lecheng Xie; Yuqiao Bai; Jucheng Yang; Songyang Yan; Yuxi Pan; Zijiang Yang 006 (IEEE Trans. Intell. Veh., 2024)

Unleashing the Power of Visual Foundation Models for Generalizable Semantic Segmentation. - PeiYuan Tang; Xiaodong Zhang 036; Chunze Yang; Haoran Yuan; Jun Sun 001; Danfeng Shan; Zijiang James Yang (AAAI, 2025)

Domain Connection based Unsupervised Domain Adaptation for Semantic Segmentation. - Chunze Yang; Xiaodong Zhang 036; PeiYuan Tang; Haoran Yuan; Haojie Xin; Zijiang James Yang (ICASSP, 2025)

On-Demand Scenario Generation for Testing Automated Driving Systems. - Songyang Yan; Xiaodong Zhang 014; Kunkun Hao; Haojie Xin; Yonggang Luo; Jucheng Yang 001; Ming Fan 002; Chao Yang 025; Jun Sun 001; Zijiang Yang 006 (Proc. ACM Softw. Eng., 2025)

Toward the Fractal Dimension of Classes. - Weifeng Pan 001; Wei Wu; Ming Hua 003; Dae-Kyoo Kim; Zijiang Yang 006; Yutao Ma (ACM Trans. Softw. Eng. Methodol., 2025)

On-Demand Scenario Generation for Testing Automated Driving Systems. - Songyang Yan; Xiaodong Zhang 036; Kunkun Hao; Haojie Xin; Yonggang Luo; Jucheng Yang; Ming Fan 002; Chao Yang 025; Jun Sun 001; Zijiang Yang 006 (CoRR, 2025)