Publications
Browse our latest research papers and academic publications
2026
- FSE Companion 2026Ke Gong, Jian Zhang
Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
ICSE 2026Jun Liu*, Yuanyuan Xie*, Jiwei Yan, Jinhao Huang, Jun Yan, Jian Zhang
2025
A Chopping-Based Approach for Debloating Android Applications
ICSME 2025Hengqin Yang, Jiwei Yan, Jun Yan, Jian Zhang, Bin LiangA Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian ZhangConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian ZhangIceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers
SIGSOFT FSE Companion 2025Yu Xiao, Xutong Ma, Zhilin Li, Jun YanStriCT-Bj:A String Constraint Benchmark from Real Java Programs
SANER 2025Chi Zhang, Jian Zhang
2024
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems
TASE 2024Siqi Wang, Changwen Li, Tiantian Sun, Fuqi Jia, Rongjie Yan, Jun YanDetecting Element Accessing Bugs in C++ Sequence Containers
ASE 2024Zhilin Li, Xutong Ma, Mengze Hu, Jun YanDMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates
ISSTA 2024Baoquan Cui, Jiwei Yan, Jian ZhangFix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
ISSRE 2024Jun Liu, Jiwei Yan, Yuanyuan Xie, Jun Yan, Jian ZhangPanda: A Concurrent Scheduler for Compiler-Based Tools
ISSTA 2024Xutong Ma, Jiwei Yan, Jun Yan, Jian ZhangParallel Verification for -Equivalence of Neural Network Quantization
SAIV 2024Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark Barrett
2023
Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian ZhangDetecting Exception Handling Bugs in C++ Programs
ICSE 2023Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan QiuDetecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
ASE 2023Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian ZhangDetection of Java Basic Thread Misuses Based on Static Event Analysis
ASE 2023Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian ZhangICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps
ASE 2023Shixin Zhang, Shanna Li, Xi Deng, Jiwei Yan, Jun YanACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian ZhangInvestigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian ZhangLocating Framework-specific Crashing Faults with Compact and Explainable Candidate Set
ICSE 2023Jiwei Yan, Miaomiao Wang, Yepang Liu, Jun Yan, Long ZhangNRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian ZhangOperand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
ICSE 2023Suyue Guo, Xinyu Wan, Wei You, Bin Liang, Wenchang Shi, Yiwei Zhang, Jianjun Huang, Jian ZhangPSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian ZhangQuantifying Robustness to Adversarial Word Substitutions
ECML/PKDD 2023Yuting Yang, Pei Huang, Juao Cao, Feifei Ma, Jian Zhang, Jintao LiRuntime Monitoring DNN-Based Perception
RV 2023Chih-Hong Cheng, Michael Luttenberger, Rongjie YanScope-based Compiler Differential Testing
QRS 2023Rong Qu, Jiangang Huang, Long Zhang, Tianlu Qiao, Jian ZhangSimulation-Based Validation for Autonomous Driving Systems
ISSTA 2023Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian ZhangSuggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.
NeurIPS 2023Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian ZhangVariable-strength combinatorial testing of exported activities based on misexposure prediction
J. Syst. Softw. 2023Xi Deng, Jiwei Yan, Shixin Zhang, Jun Yan, Jian Zhang
2022
A Comprehensive Evaluation of Android ICC Resolution Techniques
ASE 2022Jiwei Yan, Shixin Zhang, Yepang Liu, Xi Deng, Jun Yan, Jian ZhangAdversarial Input Detection Based on Critical Transformation Robustness
ISSRE 2022Jing Su, Zhen Zhang, Peng Wu, Xuran Li, Jian ZhangAllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao YinAUGER: automatically generating review comments with pre-training models
ESEC/SIGSOFT FSE 2022Lingwei Li, Li Yang, Huaxi Jiang, Jun Yan, Tiejian Luo, Zihan Hua, Geng Liang, Chun ZuoComOpT: Combination and Optimization for Testing Autonomous Driving Systems
ICRA 2022Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie YanExcePy: A Python Benchmark for Bugs with Python Built-in Types
SANER 2022Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian ZhangHunting bugs with accelerated optimal graph vertex matching
ISSTA 2022Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, Jian ZhangICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications
ICSE-Companion 2022Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian ZhangImproving Simulated Annealing for Clique Partitioning Problems
J. Artif. Intell. Res. 2022Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei MaLayer-Specific Repair of Neural Network Classifiers
Lecture Notes in Computer Science 2022Shuo Sun, Jun Yan, Rongjie Yan- Sci. China Inf. Sci. 2022Yupeng Zhou, Mingjie Fan, Feifei Ma, Minghao Yin
String Test Data Generation for Java Programs
ISSRE 2022Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan, Jian ZhangTest case prioritization with neuron valuation based pattern
Sci. Comput. Program. 2022Rongjie Yan, Yuhang Chen, Hongyu Gao, Jun YanWord Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang𝜀 -weakened robustness of deep neural networks
ISSTA 2022Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
2021
Are the Scala Checks Effective? Evaluating Checks with Real-world Projects
QRS 2021Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian ZhangContinuous Safety Verification of Neural Networks
DATE 2021Chih-Hong Cheng, Rongjie YanDetecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
ASE 2021Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan QiuDynamic Detection of AsyncTask Related Defects
QRS 2021Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian ZhangEfficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
SAT 2021Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian ZhangEfficient testing of GUI applications by event sequence reduction
Sci. Comput. Program. 2021Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian ZhangInvestigating the Existence of Costas Latin Squares via Satisfiability Testing
SAT 2021Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian ZhangMonitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
IROS 2021Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie YanStability evaluation for text localization systems via metamorphic testing
J. Syst. Softw. 2021Rongjie Yan, Siqi Wang, Yixuan Yan, Hongyu Gao, Jun YanTesting Autonomous Systems with Believed Equivalence Refinement
AITest 2021Chih-Hong Cheng, Rongjie Yan
2020
- Appl. Soft Comput. 2020Yupeng Zhou, Mingjie Fan, Feifei Ma, Xin Xu, Minghao Yin
Combinatorial Testing of Browsers’ Support for Multimedia
IEEE Trans. Reliab. 2020Xi Deng, Zhiqiang Zhang, Rundong Li, Jun Yan, Jian ZhangContention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs.
ICAPS 2020Rongjie Yan, Yupeng Zhou, Anyu Cai, Changwen Li, Yige Yan, Minghao YinGTFuzz: Guard Token Directed Grey-Box Fuzzing
PRDC 2020Rundong Li, HongLiang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang- IEEE Trans. Reliab. 2020Long Zhang, Zijie Li, Yang Feng, Zhenyu Zhang, Wing Kwong Chan, Jian Zhang, Yuming Zhou
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian ZhangMultiple-entry testing of Android applications by constructing activity launching contexts
ICSE 2020Jiwei Yan, Hao Liu, Linjie Pan, Jun Yan, Jian Zhang, Bin LiangNeuron Activation Frequency Based Test Case Prioritization
TASE 2020Kai Zhang, Yongtai Zhang, Liwei Zhang, Hongyu Gao, Rongjie Yan, Jun Yan- QRS 2020Zijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse
SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed
ESEC/SIGSOFT FSE 2020Pan Bian, Bin Liang, Jianjun Huang, Wenchang Shi, Xidong Wang, Jian ZhangStatic asynchronous component misuse detection for Android applications
ESEC/SIGSOFT FSE 2020Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang
2019
ACFNet: Attentional Class Feature Network for Semantic Segmentation
ICCV 2019Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui DingAdaptive Random Testing for XSS Vulnerability
APSEC 2019Chengcheng Lv, Long Zhang, Fanping Zeng, Jian ZhangAnalyses for specific defects in android applications: a survey
Frontiers Comput. Sci. 2019Tianyong Wu, Xi Deng, Jun Yan, Jian ZhangAndroid Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
APLAS 2019Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan- ISSTA 2019Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian ZhangDroidLeaks: a comprehensive database of resource leaks in Android apps
Empir. Softw. Eng. 2019Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang- IEEE Access 2019Kai Huang, Xiaowen Jiang, Haitian Jiang, Xiaomeng Zhang, Min Yu, Rongjie Yan, Xiaolang Yan
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
ISSAC 2019Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian ZhangOn some matching problems under the color-spanning model
Theor. Comput. Sci. 2019Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai ZhuReorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis
QRS 2019Xutong Ma, Jiwei Yan, Jun Yan, Jian ZhangSMT-based Multi-objective Optimization for Scheduling of MPSoC Applications
TASE 2019Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun YanSolving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian ZhangSPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
ASE 2019Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian ZhangTesting the Message Flow of Android Auto Apps
SANER 2019Yu Zhang, Xi Deng, Jun Yan, Hang Su, Hongyu GaoUnderstanding Ineffective Events and Reducing Test Sequences for Android Applications
TASE 2019Ping Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang
2018
A Community-Division Based Algorithm for Finding Relations Among Linear Constraints
KSEM 2018Minghao Liu, Feifei Ma, Jun YanA New Probabilistic Algorithm for Approximate Model Counting
PRUV@IJCAR 2018Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma- CAV 2018Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
Characterizing and identifying misexposed activities in Android applications
ASE 2018Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, Jian ZhangChecking Activity Transition Systems with Back Transitions Against Assertions
ICFEM 2018Cunjing Ge, Jiwei Yan, Jun Yan, Jian ZhangComputing and estimating the volume of the solution space of SMT(LA) constraints
Theor. Comput. Sci. 2018Cunjing Ge, Feifei Ma, Peng Zhang, Jian ZhangDesign Verification and Validation for Reliable Safety-Critical Autonomous Control Systems
ICECCS 2018Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang- IEEE Access 2018Kai Huang, Xiaowen Jiang, Xiaomeng Zhang, Rongjie Yan, Ke Wang, Dongliang Xiong, Xiaolang Yan
- Electronics 2018Xiaowen Jiang, Kai Huang, Xiaomeng Zhang, Rongjie Yan, Ke Wang, Dongliang Xiong, Xiaolang Yan
Formal Collision Avoidance Analysis for Rigorous Building of Autonomous Marine Vehicles
Embedded Systems Technology 2018Rongjie Yan, Xiangtong Yao, Junjie Yang, Kai Huang- IEEE Trans. Reliab. 2018Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang
Generating minimal test set satisfying MC/DC criterion via SAT based approach
SAC 2018Ling Yang, Jun Yan, Jian ZhangInvestigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR 2018Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao ZhangLAND: a user-friendly and customizable test generation tool for Android apps
ISSTA 2018Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian ZhangLightweight energy consumption analysis and prediction for Android applications
Sci. Comput. Program. 2018Yan Hu, Jiwei Yan, Dong Yan, Qiong Lu, Jun YanOn the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model
CoRR 2018Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai ZhuResource-Aware Design for Reliable Autonomous Applications with Multiple Periods
FM 2018Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai HuangVolCE: An Efficient Tool for Solving #SMT(LA) Problems.
PRUV@IJCAR 2018Cunjing Ge, Feifei Ma, Jian Zhang
2017
- ICTAI 2017Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin, Min Yu, Feifei Ma, Kai Huang
A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization
J. Syst. Softw. 2017Long Zhang, Lanfei Yan, Zhenyu Zhang, Jian Zhang, W.K. Chan, Zheng ZhengCombinatorial Testing on Implementations of HTML5 Support
ICST Workshops 2017Xi Deng, Tianyong Wu, Jun Yan, Jian ZhangComprehensive Static Analysis for Configurable Software via Combinatorial Instantiation
COMPSAC 2017Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian ZhangDetecting Energy Bugs in Android Apps Using Static Analysis
ICFEM 2017Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun YanInsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications
SANER 2017Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan, Jian ZhangIntegrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
CP 2017Linjie Pan, Jiwei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian ZhangOn the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.
FAW 2017Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai ZhuWeak QMV algebras and some ring-like structures
Soft Comput. 2017Xian Lu, Yun Shang, Ru-qian Lu, Jian Zhang, Feifei MaWidget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps
QRS 2017Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang
2016
A deployable sampling strategy for data race detection
SIGSOFT FSE 2016Yan Cai, Jian Zhang, Lingwei Cao, Jian LiuComponent-based verification using incremental design and invariants
Softw. Syst. Model. 2016Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan- ISSRE 2016Jierui Liu, Tianyong Wu, Jun Yan, Jian Zhang
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic
PRICAI 2016Hai Liu, Feifei Ma, Jian ZhangLight-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
IEEE Trans. Software Eng. 2016Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan, Jian ZhangLightweight Method-Level Energy Consumption Estimation for Android Applications
TASE 2016Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang- CP 2016Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Jiwei Jin, Hai Liu, Jian Zhang
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
Clust. Comput. 2016Yan Hu, Jun Yan, Kim-Kwang Raymond ChooRelda2: an effective static analysis tool for resource leak detection in Android apps
ASE 2016Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, Jian ZhangThe Floating-Point Extension of Symbolic Execution Engine for Bug Detection
APSEC 2016Xingming Wu, Zhenbo Xu, Dong Yan, Tianyong Wu, Jun Yan, Jian Zhang
2015
A Fast and Practical Method to Estimate Volumes of Convex Polytopes
FAW 2015Cunjing Ge, Feifei MaAutomatic Detection of Parameter Shielding for Test Case Generation
SEKE 2015Jingjian Lin, Jun Yan, Jifeng XuanBoundary value analysis in automatic white-box test generation
ISSRE 2015Zhiqiang Zhang, Tianyong Wu, Jian ZhangCommunication Optimizations for Multithreaded Code Generation from Simulink Models
ACM Trans. Embed. Comput. Syst. 2015Kai Huang, Min Yu, Rongjie Yan, Xiaomeng Zhang, Xiaolang Yan, Lisane Brisolara, Ahmed Amine Jerraya, Jiong FengFormal consistency checking over specifications in natural languages.
DATE 2015Rongjie Yan, Chih-Hong Cheng, Yesheng ChaiMelton: a practical and precise memory leak detection tool for C programs
Frontiers Comput. Sci. 2015Zhenbo Xu, Jian Zhang, Zhongxing XuSMT Solving for the Theory of Ordering Constraints
LCPC 2015Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang- ETRI Journal 2015Kai Huang, Siwen Xiu, Min Yu, Xiaomeng Zhang, Rongjie Yan, Xiaolang Yan, Zhili Liu
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
FM 2015Xue-Yang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
2014
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution
SERE 2014Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun ZhaoAutomatic Generation of Combinatorial Test Data
Springer Briefs in Computer Science 2014Jian Zhang, Zhiqiang Zhang, Feifei MaAutomatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion
SERE 2014Tianyong Wu, Jun Yan, Jian ZhangCanalyze: a static bug-finding tool for C programs
ISSTA 2014Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng WangChoreography Scenario-Based Test Data Generation
TASE 2014Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao QinGenerating combinatorial test suite using combinatorial optimization
J. Syst. Softw. 2014Zhiqiang Zhang, Jun Yan, Yong Zhao, Jian ZhangILP Based Multithreaded Code Generation for Simulink Model
IEICE Trans. Inf. Syst. 2014Kai HUANG, Min YU, Xiaomeng ZHANG, Dandan ZHENG, Siwen XIU, Rongjie YAN, Kai HUANG, Zhili LIU, Xiaolang YANModeling and Verifying of CPS Component Services Based on Hybrid Automata
International Journal of Multimedia and Ubiquitous Engineering 2014Jianning Zhang, Guanquan Zhang, Rongjie Yan, Yi Zhu, Xingjun Qi
2013
A Search Strategy Guided by Uncovered Branches for Concolic Testing
QSIC 2013Qixing Dong, Jun Yan, Jian Zhang, Fanping ZengCascade: A Test Generation Tool for Combinatorial Testing
ICST Workshops 2013Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian ZhangCharacterizing and detecting resource leaks in Android applications
ASE 2013Chaorong Guo, Jian Zhang, Jun Yan, Zhiqiang Zhang, Yanli ZhangCommunication Pipelining for Code Generation from Simulink Models
TrustCom/ISPA/IUCC 2013Rongjie Yan, Kai Huang, Min Yu, Xiaomeng ZhangFinding orthogonal latin squares using finite model searching tools
Sci. China Inf. Sci. 2013FeiFei Ma, Jian Zhang- J. Zhejiang Univ. Sci. C 2013Kai Huang, De Ma, Rong-jie Yan, Hai-tong Ge, Xiao-lang Yan
MACE4 and SEM: A Comparison of Finite Model Generators
Automated Reasoning and Mathematics 2013Hantao Zhang, Jian ZhangPerformance Estimation Using Symbolic Data
Theories of Programming and Formal Methods 2013Jian ZhangProfile directed systematic testing of concurrent programs
AST 2013Yan Hu, Jun Yan, Jian Zhang, He JiangSolving Nonlinear SMT Problems Based on an Efficient Lazy Method
Journal of Internet Technology 2013Xiaohui Ji, Feifei MaTowards Conformance Testing of Choreography Based on Scenario
TASE 2013Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang
2012
A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines
TASE 2012Tianyong Wu, Jun Yan, Jian ZhangAn Efficient Lazy SMT Solver for Nonlinear Numerical Constraints
WETICE 2012Xiaohui Ji, Feifei MaFaulty Interaction Identification via Constraint Solving and Optimization
SAT 2012Jian Zhang, Feifei Ma, Zhiqiang ZhangIntegrating Standard Dependency Schemes in QCSP Solvers
J. Comput. Sci. Technol. 2012Ji-Wei Jin, Fei-Fei Ma, Jian ZhangSolving Generalized Optimization Problems Subject to SMT Constraints
FAW-AAIM 2012Feifei Ma, Jun Yan, Jian Zhang
2011
Characterizing failure-causing parameter interactions by adaptive testing
ISSTA 2011Zhiqiang Zhang, Jian ZhangMemory Leak Detection Based on Memory State Transition Graph
APSEC 2011Zhenbo Xu, Jian Zhang, Zhongxing XuModel Construction and Priority Synthesis for Simple Interaction Systems
NASA Formal Methods 2011Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald RuessProgram analysis: from qualitative analysis to quantitative analysis (NIER track)
ICSE 2011Sheng Liu, Jian ZhangSearching for Doubly Self-orthogonal Latin Squares
CP 2011Runming Lu, Sheng Liu, Jian ZhangTuple density: a new metric for combinatorial test suites (NIER track)
ICSE 2011Baiqiang Chen, Jian Zhang
2010
A Memory Model for Static Analysis of C Programs
ISoLA 2010Zhongxing Xu, Ted Kremenek, Jian ZhangAutomatic Bug Triage using Semi-Supervised Text Classification.
SEKE 2010Jifeng Xuan, He Jiang, Zhilei Ren, Jun Yan, Zhongxuan LuoCombinatorial Testing with Shielding Parameters
APSEC 2010Baiqiang Chen, Jun Yan, Jian ZhangConstraint solving techniques for software testing and analysis
ICSE 2010Feifei MaJUTA: An Automated Unit Testing Framework for JavaJUTA: 一个Java自动化单元测试工具
Journal of Computer Research and Development 2010Jun Yan, Tao Guo, Hui Ruan, Jifeng Xuan
2009
Combinatorial Testing: Principles and Methods组合测试：原理与方法
Journal of Software 2009Jun Yan, Jian ZhangInfinite Loop Detection Based on Path Analysis基于路径分析的死循环检测
Chinese Journal of Computers 2009Hui Ruan, Jun Yan, Jian ZhangSolving Global Unconstrained Optimization Problems by Symmetry-Breaking
ACIS-ICIS 2009Xiaohui Ji, Feifei Ma, Jian ZhangVolume Computation for Boolean Combination of Linear Arithmetic Constraints
CADE 2009Feifei Ma, Sheng Liu, Jian Zhang
2008
A backtracking search tool for constructing combinatorial test suites
J. Syst. Softw. 2008Jun Yan, Jian ZhangAn efficient method to generate feasible paths for basis path testing
Inf. Process. Lett. 2008Jun Yan, Jian ZhangFinding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints
PRICAI 2008Feifei Ma, Jian ZhangPath and Context Sensitive Inter-procedural Memory Leak Detection
QSIC 2008Zhongxing Xu, Jian ZhangPath-based verification for composition of semantic web services
SAC 2008Yuxiang Shi, Jun Yan, Zhongjie Li, Jun ZhuTest Data Generation for C Programs with String-Handling Functions
TASE 2008Hui Ruan, Jian Zhang, Jun Yan
2007
Computer Search for Large Sets of Idempotent Quasigroups
ASCM 2007Feifei Ma, Jian ZhangImprovements for the Symbolic Verification of Timed Automata
FORTE 2007Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan PengVolume Computation Using a Direct Monte Carlo Method
COCOON 2007Sheng Liu, Jian Zhang, Binhai Zhu
2006
A Powerful Technique to Eliminate Isomorphism in Finite Model Search
IJCAR 2006Xiangxue Jia, Jian ZhangA Test Data Generation Tool for Unit Testing of C Programs
QSIC 2006Zhongxing Xu, Jian ZhangBacktracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing
COMPSAC 2006Jun Yan, Jian ZhangBPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
ISSRE 2006Jun Yan, Zhongjie Li, Yuan Yuan, Wei Sun, Jian ZhangFinding Relations Among Linear Constraints
AISC 2006Jun Yan, Jian Zhang, Zhongxing XuSAT Based Automated Test Case Generation for MUMCUT Coverage
ISSRE Supplementary 2006Yan Jun, Jian Zhang
2005
Computer Search for Counterexamples to Wilkie’s Identity
CADE 2005Jian ZhangConstraint Solving and Symbolic Execution
VSTTE 2005Jian ZhangPredicate-Oriented Isomorphism Elimination in Model Finding.
IJCAI 2005Xiangxue Jia, Jian Zhang
2004
Extending Finite Model Searching with Congruence Closure Computation
AISC 2004Jian Zhang, Hantao ZhangImproving First-order Model Searching by Propositional Reasoning and Lemma Learning.
SAT 2004Zhuo Huang, Hantao Zhang, Jian ZhangPath-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.
SEFM 2004Jian Zhang, Chen Xu, Xiaoliang WangQuantitative Analysis of Symbolic Execution
COMPSAC 2004Jian Zhang
2002
Automated test case generation for the stress testing of multimedia systems
Softw. Pract. Exp. 2002Jian Zhang, S. C. CheungParallel Execution of Stochastic Search Procedures on Reduced SAT Instances
PRICAI 2002Wenhui Zhang, Zhuo Huang, Jian Zhang
2001
A CONSTRAINT SOLVER AND ITS APPLICATION TO PATH FEASIBILITY ANALYSIS
Int. J. Softw. Eng. Knowl. Eng. 2001Jian Zhang, Xiaoxu WangA path-based approach to the detection of infinite looping
APAQS 2001Jian ZhangAutomatic generation of database instances for white-box testing
COMPSAC 2001Jian Zhang, Chen Xu, S.-C. CheungAutomatic symmetry breaking method combined with SAT
SAC 2001Jian Zhang
2000
1999
Stress Testing of Distributed Multimedia Software Systems.
FORTE 1999Jian Zhang, Shing-Chi Cheung, Samuel T. ChansonSystem Description: MCS: Model-Based Conjecture Searching
CADE 1999Jian Zhang
1997
Finite model generation and formal specification development
TOOLS 1997Jian Zhang
1996
Combining Local Search and Backtracking Techniques for Constraint Satisfaction.
AAAI/IAAI, Vol. 1 1996Jian Zhang, Hantao ZhangConstructing finite algebras with FALCON
J. Autom. Reason. 1996Jian ZhangSystem description generating models by SEM
CADE 1996Jian Zhang, Hantao Zhang
1995
Constraint propagation in model generation
CP 1995Jian Zhang, Hantao ZhangSEM: a System for Enumerating Models.
IJCAI 1995Jian Zhang, Hantao Zhang
1994
Problems on the generation of finite models
CADE 1994Jian Zhang