Ji Wang - RankMe

255 papers A* 28A 14B 22C 28Misc 15Journal 90Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution). FASE Guofeng Zhang, Zhenbang Chen, Ji Wang
2026	J	`jnl`	S CoRR Lianjing Wang, Yufeng Zhang, Kenli Li, Zhenbang Chen, Xu Zhou, Pengfei Wang, Guangning Song, Ji Wang
2025	—	`conf`	AISE v2.0: Combining Loop Transformations - (Competition Contribution). TACAS (3) Yao Lin, Zhenbang Chen, Ji Wang
2025	Misc	`conf`	Automated Exposure Mapping for Networked Interference. ICASSP Yunxin Mao, Haotian Wang, Yishuai Cai, Minglong Li, Ji Wang, Wenjing Yang
2025	C	`conf`	BCCIC3: Batch Clause Construction Enhanced Generalization in IC3. ICFEM Yi Chen, Xinyi Gong, Liangze Yin, Ji Wang, Ting Wang
2025	J	`jnl`	BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks. Neural Networks Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Wanrong Huang
2025	A*	`conf`	BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots. IJCAI Xinglin Chen, Yishuai Cai, Minglong Li, Yunxin Mao, Zhou Yang, Wenjing Yang, Weixia Xu, Ji Wang
2025	A*	`conf`	EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework. ICSE Ziji Wu, Yu Huang, Peishan Huang, Shanghua Wen, Minglong Li, Ji Wang
2025	A	`conf`	Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. IPDPS Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang, Chun Huang, Deheng Yang
2025	A*	`conf`	HBTP: Heuristic Behavior Tree Planning with Large Language Model Reasoning. ICRA Yishuai Cai, Xinglin Chen, Yunxin Mao, Minglong Li, Shaowu Yang, Wenjing Yang, Ji Wang
2025	J	`jnl`	Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation. Proc. ACM Softw. Eng. Liangze Yin, Yiwei Li, Kun Chen, Wei Dong, Ji Wang
2025	Misc	`conf`	KABON: Knowledge Aggregation with Vision-Language Model for Black-Box Open-Set Domain Adaptation. ICASSP Zhixin Zeng, Yusen Zhang, Ji Wang
2025	—	`conf`	Learning Subject to Constraints via Abstract Gradient Descent. NeuS Shiwen Yu, Wanwei Liu, Zengyu Liu, Liqian Chen, Ting Wang, Naijun Zhan, Ji Wang
2025	A*	`conf`	MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration. AAAI Yishuai Cai, Xinglin Chen, Zhongxuan Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Ji Wang
2025	J	`jnl`	MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration. CoRR Yishuai Cai, Xinglin Chen, Zhongxuan Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Ji Wang
2025	C	`conf`	Neural-Symbolic System Control Adjustment Based on Runtime Verification. ICFEM Hongxu Zhu, Wanwei Liu, Ji Wang
2025	J	`jnl`	Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. Proc. ACM Softw. Eng. Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, Ji Wang
2025	J	`jnl`	QSF: Multi-objective Optimization Based Efficient Solving for Floating-Point Constraints. Proc. ACM Softw. Eng. Xu Yang, Zhenbang Chen, Wei Dong, Ji Wang
2025	Misc	`conf`	Robust CLIP-Guided Deep Thinking: A Two-Stage Optimization Strategy for Enhancing Adversarial Robustness and Reliability in LVLMs. ICASSP Yize Sui, Wanrong Huang, Wenjing Yang, Chaofan Zhao, Jing Ren, Ji Wang
2025	—	`conf`	Symbolic Execution Based Automatic Performance Optimization for MPI Programs. SIGSOFT FSE Companion Zheng Bian, Zhenbang Chen, Ji Wang
2025	J	`jnl`	Symbolic execution of floating-point programs: How far are we? J. Syst. Softw. Xu Yang, Guofeng Zhang, Ziqi Shuai, Zhenbang Chen, Ji Wang
2025	B	`conf`	UR4NNV: Neural Network Verification, Under-approximation Reachability Works! IJCNN Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2024	J	`jnl`	A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems. CoRR Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
2024	J	`jnl`	Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
2024	Misc	`conf`	Diversifying Cross-Domain Few-Shot Learning via Multimodal Image Editing. ICASSP Zhipeng Lin, Wenjing Yang, Long Lan, Mingyang Geng, Haotian Wang, Haoang Chi, Xueqiong Li, Ji Wang
2024	J	`jnl`	Efficient Behavior Tree Planning with Commonsense Pruning and Heuristic. CoRR Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Zhou Yang, Shanghua Wen, Wenjing Yang, Weixia Xu, Ji Wang
2024	B	`conf`	FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
2024	J	`jnl`	FPCC: Detecting Floating-Point Errors via Chain Conditions. Proc. ACM Program. Lang. Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang
2024	A*	`conf`	Hybrid Regression Test Selection by Integrating File and Method Dependences. ASE Guofeng Zhang, LuYao Liu, Zhenbang Chen, Ji Wang
2024	—	`conf`	Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. SIGSOFT FSE Companion LuYao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang
2024	A*	`conf`	Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions. IJCAI Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Weixia Xu, Ji Wang
2024	J	`jnl`	Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions. CoRR Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Weixia Xu, Ji Wang
2024	J	`jnl`	Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
2024	—	`conf`	LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱. Internetware Xingpeng Liu, Hengzhu Liu, Xiaodong Yi, Ji Wang
2024	J	`jnl`	Neural Solving Uninterpreted Predicates with Abstract Gradient Descent. ACM Trans. Softw. Eng. Methodol. Shiwen Yu, Zengyu Liu, Ting Wang, Ji Wang
2024	J	`jnl`	Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
2024	J	`jnl`	Qualitative and Quantitative Model Checking Against Recurrent Neural Networks. J. Comput. Sci. Technol. Zhen Liang, Wan-Wei Liu, Fu Song, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
2024	J	`jnl`	Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2024	A*	`conf`	Scaling Few-Shot Learning for the Open World. AAAI Zhipeng Lin, Wenjing Yang, Haotian Wang, Haoang Chi, Long Lan, Ji Wang
2024	C	`conf`	Sound Floating-Point Neural Network Verification with MILP. APSEC Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou, Ji Wang
2024	A	`conf`	Synthesizing Boxes Preconditions for Deep Neural Networks. ISSTA Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang
2024	J	`jnl`	UR4NNV: Neural Network Verification, Under-approximation Reachability Works! CoRR Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2024	J	`jnl`	Verification of message-passing uninterpreted programs. Sci. Comput. Program. Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
2024	J	`jnl`	Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2023	Misc	`conf`	An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang
2023	—	`conf`	An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
2023	J	`jnl`	An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. CoRR Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
2023	—	`conf`	CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
2023	Misc	`conf`	Formal Verification Based Synthesis for Behavior Trees. SETTA Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
2023	—	`conf`	Input Validation for Neural Networks via Local Robustness Verification. QRS Companion Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
2023	A	`conf`	Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. ISSTA Shiwen Yu, Ting Wang, Ji Wang
2023	A*	`conf`	On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions. NeurIPS Yufeng Zhang, Jialu Pan, Li Ken Li, Wanwei Liu, Zhenbang Chen, Xinwang Liu, Ji Wang
2023	J	`jnl`	Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao
2023	J	`jnl`	Repairing Deep Neural Networks Based on Behavior Imitation. CoRR Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang
2023	—	`conf`	Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. CDC Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue
2023	Misc	`conf`	Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
2023	J	`jnl`	Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang
2023	A*	`conf`	Symbolic Verification of Fuzzy Logic Models. ASE Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang
2023	J	`jnl`	Towards robust neural networks via a global and monotonically decreasing robustness training strategy. Frontiers Inf. Technol. Electron. Eng. Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
2023	C	`conf`	Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
2023	J	`jnl`	Verifying Safety of Neural Networks from Topological Perspectives. CoRR Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2022	Misc	`conf`	Collaborative Verification of Uninterpreted Programs. TASE Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang
2022	J	`jnl`	Data Augmentation by Program Transformation. J. Syst. Softw. Shiwen Yu, Ting Wang, Ji Wang
2022	J	`jnl`	Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2022	B	`conf`	Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. FASE Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang
2022	A*	`conf`	Multi-Intention-Aware Configuration Selection for Performance Tuning. ICSE Haochen He, Zhouyang Jia, Shanshan Li, Yue Yu, Chenglong Zhou, Qing Liao, Ji Wang, Xiangke Liao
2022	C	`conf`	NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. APSEC Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang
2022	J	`jnl`	Reach-avoid Verification Based on Convex Optimization. CoRR Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2022	J	`jnl`	Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
2022	C	`conf`	Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. APSEC Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang
2021	Misc	`conf`	An Abstract Domain to Infer Linear Absolute Value Equalities. TASE Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang
2021	A	`conf`	Challenges and opportunities: an in-depth empirical study on configuration error injection testing. ISSTA Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, Xiangke Liao
2021	A*	`conf`	Dec-SGTS: Decentralized Sub-Goal Tree Search for Multi-Agent Coordination. AAAI Minglong Li, Zhongxuan Cai, Wenjing Yang, Lixia Wu, Yinghui Xu, Ji Wang
2021	J	`jnl`	Deep Understanding of Runtime Configuration Intention. Int. J. Softw. Eng. Knowl. Eng. Chenglong Zhou, Haoran Liu, Yuanliang Zhang, Zhipeng Xue, Qing Liao, Jinjing Zhao, Ji Wang
2021	A*	`conf`	DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures. ICSE Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu, Ji Wang, Xiangke Liao
2021	J	`jnl`	DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures. CoRR Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu, Ji Wang, Xiangke Liao
2021	B	`conf`	Dynamic Scene Deblurring Using Enhanced Feature Fusion and Multi - Distillation Mechanism. IJCNN Qianyi Zhang, Zhixin Zeng, Yiming Liu, Kang Tang, Ji Wang
2021	J	`jnl`	Editorial. Formal Aspects Comput. Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock
2021	A	`conf`	Grammar-agnostic symbolic execution by token symbolization. ISSTA Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
2021	A	`conf`	Making Rigorous Linear Programming Practical for Program Analysis. CP Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang
2021	A	`conf`	MulCode: A Multi-task Learning Approach for Source Code Understanding. SANER Deze Wang, Yue Yu, Shanshan Li, Wei Dong, Ji Wang, Qing Liao
2021	J	`jnl`	On the Properties of Kullback-Leibler Divergence Between Gaussians. CoRR Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang
2021	J	`jnl`	Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. Kim G. Larsen, Oleg Sokolsky, Ji Wang
2021	A	`conf`	Static Bound Analysis of Dynamically Allocated Resources for C Programs. ISSRE Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang
2021	A	`conf`	Synthesize solving strategy for symbolic execution. ISSTA Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
2021	B	`conf`	Trace Abstraction-Based Verification for Uninterpreted Programs. FM Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang
2021	A	`conf`	Type and interval aware array constraint solving for symbolic execution. ISSTA Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
2020	A*	`conf`	CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs. ASE Haochen He, Zhouyang Jia, Shanshan Li, Erci Xu, Tingting Yu, Yue Yu, Ji Wang, Xiangke Liao
2020	A*	`conf`	Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. ASE Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang
2020	J	`jnl`	Guiding log revisions by learning from software evolution history. Empir. Softw. Eng. Shanshan Li, Xu Niu, Zhouyang Jia, Xiangke Liao, Ji Wang, Tao Li
2020	J	`jnl`	Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2020	J	`jnl`	Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. Zhiming Liu, Ji Wang
2020	J	`jnl`	Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang
2020	J	`jnl`	Keyphrase Extraction with Dynamic Graph Convolutional Networks and Diversified Inference. CoRR Haoyu Zhang, Dingkun Long, Guangwei Xu, Pengjun Xie, Fei Huang, Ji Wang
2020	J	`jnl`	Learning Capsules for SAR Target Recognition. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Yunrui Guo, Zongxu Pan, Meiming Wang, Ji Wang, Wenjing Yang
2020	A*	`conf`	Learning with Noise: Improving Distantly-Supervised Fine-grained Entity Typing via Automatic Relabeling. IJCAI Haoyu Zhang, Dingkun Long, Guangwei Xu, Muhua Zhu, Pengjun Xie, Fei Huang, Ji Wang
2020	—	`conf`	MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang
2020	J	`jnl`	Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. Frontiers Inf. Technol. Electron. Eng. Weijiang Hong, Yijun Liu, Zhenbang Chen, Wei Dong, Ji Wang
2020	A*	`conf`	Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ASE Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang
2020	J	`jnl`	On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2020	J	`jnl`	Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
2020	A*	`conf`	Pairwise Similarity Regularization for Adversarial Domain Adaptation. ACM Multimedia Haotian Wang, Wenjing Yang, Ji Wang, Ruxin Wang, Long Lan, Mingyang Geng
2020	B	`conf`	Progressive Unsupervised Domain Adaptation for Image-based Person Re-Identification. ICPR Mingliang Yang, Jing Zhao, Da Huang, Ji Wang
2020	J	`jnl`	Software testing without the oracle correctness assumption. Frontiers Comput. Sci. Tun Li, Wanwei Liu, Xinrui Guo, Ji Wang
2020	A*	`conf`	Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. ASE Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang
2020	Misc	`conf`	Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang
2020	A*	`conf`	Symbolic verification of message passing interface programs. ICSE Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
2020	J	`jnl`	Verifying ReLU Neural Networks from a Model Checking Perspective. J. Comput. Sci. Technol. Wan-Wei Liu, Fu Song, Tanghaoran Zhang, Ji Wang
2019	—	`conf`	Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. SOFL+MSVL Yanjun Wen, Ji Wang
2019	—	`conf`	Automatically detecting missing cleanup for ungraceful exits. ESEC/SIGSOFT FSE Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang
2019	—	`conf`	Complex Question Decomposition for Semantic Parsing. ACL (1) Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang
2019	A*	`conf`	Detecting Error-Handling Bugs without Error Specification Input. ASE Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang, Xiaodong Liu, Yunhuai Liu
2019	J	`jnl`	Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
2019	A*	`conf`	Integrating Decision Sharing with Prediction in Decentralized Planning for Multi-Agent Coordination under Uncertainty. IJCAI Minglong Li, Wenjing Yang, Zhongxuan Cai, Shaowu Yang, Ji Wang
2019	A*	`conf`	Parallel refinement for multi-threaded program verification. ICSE Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2019	B	`conf`	Pretraining-Based Natural Language Generation for Text Summarization. CoNLL Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang
2019	J	`jnl`	Pretraining-Based Natural Language Generation for Text Summarization. CoRR Haoyu Zhang, Yeyun Gong, Yu Yan, Nan Duan, Jianjun Xu, Ji Wang, Ming Gong, Ming Zhou
2019	J	`jnl`	Rademacher dropout: An adaptive dropout for deep neural network via optimizing generalization gap. Neurocomputing Haotian Wang, Wenjing Yang, Zhenyu Zhao, Tingjin Luo, Ji Wang, Yuhua Tang
2019	J	`jnl`	Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong
2019	B	`conf`	Verifying Numerical Programs via Iterative Abstract Testing. SAS Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
2018	J	`jnl`	A Data Set for User Request Trace-Oriented Monitoring and its Applications. IEEE Trans. Serv. Comput. Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2018	J	`jnl`	A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. Liangze Yin, Wei Dong, Fei He, Ji Wang
2018	—	`ch.`	Analyzing Interrupt Handlers via Interprocedural Summaries. Symposium on Real-Time and Hybrid Systems Xueguang Wu, Liqian Chen, Ji Wang
2018	J	`jnl`	Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
2018	J	`jnl`	Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
2018	A	`conf`	Logtracker: learning log revision behaviors proactively from software evolution history. ICPC Shanshan Li, Xu Niu, Zhouyang Jia, Ji Wang, Haochen He, Teng Wang
2018	A*	`conf`	Scheduling constraint based abstraction refinement for weak memory models. ASE Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2018	A*	`conf`	Symbolic verification of regular properties. ICSE Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
2018	—	`book`	Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Symposium on Real-Time and Hybrid Systems Cliff B. Jones, Ji Wang, Naijun Zhan
2018	—	`conf`	YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
2017	B	`conf`	Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang
2017	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings SETTA Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
2017	—	`conf`	RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
2017	J	`jnl`	Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
2016	J	`jnl`	Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
2015	A*	`conf`	A Simple Probabilistic Extension of Modal Mu-calculus. IJCAI Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
2015	J	`jnl`	A Simple Probabilistic Extension of Modal Mu-calculus. CoRR Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
2015	—	`conf`	MPISE: Symbolic Execution of MPI Programs. HASE Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
2015	—	`conf`	Poster: Segmentation Based Online Performance Problem Diagnosis. ICSE (2) Jingwen Zhou, Zhenbang Chen, Ji Wang
2015	—	`conf`	Poster: Symbolic Execution of MPI Programs. ICSE (2) Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
2015	—	`conf`	Regular Property Guided Dynamic Symbolic Execution. ICSE (1) Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
2015	J	`jnl`	基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 Banghu Yin, Liqian Chen, Ji Wang
2014	—	`conf`	A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong
2014	J	`jnl`	A topology-aware method for scientific application deployment on cloud. Int. J. Web Grid Serv. Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2014	B	`conf`	An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
2014	—	`conf`	An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. NSAD Xueguang Wu, Liqian Chen, Ji Wang
2014	J	`jnl`	Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2014	J	`jnl`	MPISE: Symbolic Execution of MPI Programs. CoRR Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang
2014	—	`conf`	MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems. SOSE Jingwen Zhou, Zhenbang Chen, Haibo Mi, Ji Wang
2014	J	`jnl`	Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang
2014	J	`jnl`	Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
2014	—	`conf`	Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
2014	—	`conf`	Towards an Open Data Set for Trace-Oriented Monitoring. IEEE CLOUD Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2014	C	`conf`	Trace Bench: An Open Data Set for Trace-Oriented Monitoring. CloudCom Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2013	—	`conf`	An Operational Semantics for Model Checking Long Running Transactions. WS-FM Hengbiao Yu, Zhenbang Chen, Ji Wang
2013	J	`jnl`	Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. J. Appl. Math. Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang
2013	J	`jnl`	Counterexample-Preserving Reduction for Symbolic Model Checking CoRR Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2013	C	`conf`	Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
2013	—	`conf`	Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
2013	J	`jnl`	Internet-based Virtual Computing Environment: Beyond the data center as a computer. Future Gener. Comput. Syst. Xicheng Lu, Huaimin Wang, Ji Wang, Jie Xu, Dongsheng Li
2013	Misc	`conf`	Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
2012	J	`jnl`	A logistic regression model for Semantic Web service matchmaking. Sci. China Inf. Sci. Dengping Wei, Ting Wang, Ji Wang
2012	J	`jnl`	A spectral clustering-based optimal deployment method for scientific application in cloud computing. Int. J. Web Grid Serv. Pei Fan, Ji Wang, Zhenbang Chen, Zibin Zheng, Michael R. Lyu
2012	J	`jnl`	Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. Zhenbang Chen, Zhiming Liu, Ji Wang
2012	—	`conf`	Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. QSIC Longming Dong, Ji Wang, Liqian Chen
2012	C	`conf`	Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. APSEC Longming Dong, Ji Wang, Liqian Chen
2012	B	`conf`	Online Optimization of VM Deployment in IaaS Cloud. ICPADS Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng
2012	J	`jnl`	S2PF: speculative symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes Yufeng Zhang, Zhenbang Chen, Ji Wang
2012	J	`jnl`	Speculative Symbolic Execution CoRR Yufeng Zhang, Zhenbang Chen, Ji Wang
2012	A	`conf`	Speculative Symbolic Execution. ISSRE Yufeng Zhang, Zhenbang Chen, Ji Wang
2012	—	`conf`	Topology-Aware Deployment of Scientific Applications in Cloud Computing. IEEE CLOUD Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu
2011	J	`jnl`	A Programming Language Approach to Internet-Based Virtual Computing Environment. J. Comput. Sci. Technol. Ji Wang, Rui Shen, Huaimin Wang
2011	A*	`conf`	A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere. IJCAI Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li
2011	A*	`conf`	A bipartite graph based social network splicing method for person name disambiguation. SIGIR Jintao Tang, Qin Lu, Ting Wang, Ji Wang, Wenjie Li
2011	B	`conf`	Failure-Divergence Refinement of Compensating Communicating Processes. FM Zhenbang Chen, Zhiming Liu, Ji Wang
2011	J	`jnl`	Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. W. Eric Wong, Ji Wang, Fei-Ching Kuo
2011	J	`jnl`	Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010). Softw. Pract. Exp. Ji Wang, Wing Kwong Chan, Fei-Ching Kuo
2011	A	`conf`	Linear Absolute Value Relation Analysis. ESOP Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2011	J	`jnl`	Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst. Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei
2011	J	`jnl`	SAWSDL Service Discovery Based on Fine-Grained Data Semantics. IEICE Trans. Inf. Syst. Dengping Wei, Ting Wang, Ji Wang
2011	J	`jnl`	SAWSDL-iMatcher: A customizable and effective Semantic Web Service matchmaker. J. Web Semant. Dengping Wei, Ting Wang, Ji Wang, Abraham Bernstein
2011	—	`conf`	Toward Optimal Deployment of Communication-Intensive Cloud Applications. IEEE CLOUD Pei Fan, Ji Wang, Zibin Zheng, Michael R. Lyu
2011	—	`conf`	Using complex network features for fast clustering in the web. WWW (Companion Volume) Jintao Tang, Ting Wang, Ji Wang, Qin Lu, Wenjie Li
2010	B	`conf`	An Abstract Domain to Discover Interval Linear Equalities. VMCAI Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2010	—	`ed.`	Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010 QSIC Ji Wang, W. K. Chan, Fei-Ching Kuo
2010	J	`jnl`	Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs. Comput. J. Xuejun Yang, Ji Wang, Xiaodong Yi
2010	B	`conf`	Towards Building Efficient Content-Based Publish/Subscribe Systems over Structured P2P Overlays. ICPP Shengdong Zhang, Ji Wang, Rui Shen, Jie Xu
2009	—	`conf`	A framework for constructing peer-to-peer overlay networks in Java. PPPJ Rui Shen, Ji Wang, Shengdong Zhang, Siqi Shen, Pei Fan
2009	J	`jnl`	A tighter analysis of Piterman's Büchi determinization. Inf. Process. Lett. Wanwei Liu, Ji Wang
2009	J	`jnl`	Automated Worst-Case Execution Time Analysis Based on Program Modes. Comput. J. Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi
2009	J	`jnl`	Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu
2009	—	`conf`	Efficient social network approximate analysis on blogosphere based on network structure characteristics. SNAKDD Jintao Tang, Ting Wang, Ji Wang, Dengping Wei
2009	B	`conf`	Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
2009	B	`conf`	Mobility of Internet-Based Virtual Computing Environment. ICPADS Siqi Shen, Ji Wang, Rui Shen, Shengdong Zhang, Pei Fan
2009	J	`jnl`	Symbolic model checking APSL. Frontiers Comput. Sci. China Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang
2008	J	`jnl`	An adaptive casteship mechanism for developing multi-agent systems. Int. J. Comput. Appl. Technol. Xinjun Mao, Lijun Shan, Hong Zhu, Ji Wang
2008	B	`conf`	Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian
2008	C	`conf`	Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA Xiaodong Ma, Ji Wang, Wei Dong
2008	Misc	`conf`	Extracting Semantic Constraint from Description Text for Semantic Web Service Discovery. ISWC Dengping Wei, Ting Wang, Ji Wang, Yaodong Chen
2008	—	`conf`	Information Flow Detection and Tracking on Web2.0 BLOGS Based on Social Networks. ICYCS Jintao Tang, Ting Wang, Ji Wang
2008	Misc	`conf`	Symbolic Model Checking APSL. TASE Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma
2007	C	`conf`	Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
2007	C	`conf`	Compositional Verification of UML Dynamic Models. APSEC Wei Dong, Ji Wang, Zhichang Qi, Ni Rong
2007	B	`conf`	Engineering Adaptive Multi-Agent Systems with ODAM Methodology. PRIMA Xinjun Mao, Jianming Zhao, Ji Wang
2007	B	`conf`	Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. PAKDD Shulin Wang, Ji Wang, Huowang Chen, Shutao Li
2007	J	`jnl`	Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
2007	J	`jnl`	Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2007	—	`conf`	Shape Analysis by Refining on Abstract Evaluation Path. TTSS Xiaodong Ma, Ji Wang, Wei Dong
2006	—	`conf`	A Contract-based Approach to Specifying and Verifying Safety Critical Systems. FESCA@ETAPS Wei Dong, Zhenbang Chen, Ji Wang
2006	—	`conf`	An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
2006	—	`conf`	Automated WCET Analysis Based on Program Modes. AST@ICSE Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi
2006	B	`conf`	Automatic Extraction of Hierarchical Relations from Text. ESWC Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cunningham, Ji Wang
2006	—	`conf`	Developing Multi-Agent Systems with Dynamic Binding Mechanism. IAT Jianming Zhao, Xinjun Mao, Ji Wang
2006	J	`jnl`	Internet-based virtual computing environment (iVCE): Concepts and architecture. Sci. China Ser. F Inf. Sci. Xicheng Lu, Huaimin Wang, Ji Wang
2006	—	`conf`	Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2006	C	`conf`	Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. CIS Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li
2006	Misc	`conf`	Representing Wholes by Structure. ICCS Yang Yu, Ji Wang, Ting Wang, Huowang Chen
2006	C	`conf`	SVM-Based Tumor Classification with Gene Expression Data. ADMA Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang
2006	J	`jnl`	Slicing Execution for Model Checking C Programs. Int. J. Softw. Eng. Knowl. Eng. Xiaodong Yi, Ji Wang, Xuejun Yang
2006	C	`conf`	Stateful Dynamic Partial-Order Reduction. ICFEM Xiaodong Yi, Ji Wang, Xuejun Yang
2006	—	`conf`	The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis. ISDA (2) Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang
2006	C	`conf`	The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE Xinjun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang
2006	—	`conf`	Towards Formal Interfaces for Web Services with Transactions. SITIS Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
2006	C	`conf`	Towards a Framework for Scalable Model Checking of Concurrent C Programs. ISoLA Ji Wang, Xiaodong Yi, Xuejun Yang
2006	—	`conf`	Verifying Choreographic Descriptions of Web Services Based on CSP. SCW Wing Lok Yeung, Ji Wang, Wei Dong
2005	C	`conf`	2/3 Alternating Simulation Between Interface Automata. ICFEM Yanjun Wen, Ji Wang, Zhi-Chang Qi
2005	—	`conf`	Agent Oriented Programming Based on SLABS. COMPSAC (1) Ji Wang, Rui Shen, Hong Zhu
2005	—	`conf`	Caste-Centric Agent-Oriented Programming. QSIC Ji Wang, Rui Shen, Hong Zhu
2005	—	`conf`	Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi
2005	—	`conf`	Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) Wei Dong, Ji Wang
2005	C	`conf`	Improvements Towards Formalizing UML State Diagrams in CSP. APSEC Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2005	—	`conf`	Modeling Organization Structure of Multi-Agent System. IAT Xinjun Mao, Ji Wang, Jiajia Chen
2005	A	`conf`	Towards an agent oriented programming language with caste and scenario mechanisms. AAMAS Ji Wang, Rui Shen, Hong Zhu
2005	—	`conf`	Verification of C Programs using Slicing Execution. QSIC Xiaodong Yi, Ji Wang, Xuejun Yang
2004	—	`conf`	A Framework to Specify and Evaluate Coordination in MAS with Logic. IAT Xinjun Mao, Ji Wang, Eric S. K. Yu
2004	—	`conf`	Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC Yan Jiong, Ji Wang, Huowang Chen
2004	C	`conf`	Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE Xin Wang, Ji Wang, Zhi-Chang Qi
2004	C	`conf`	Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM Yanjun Wen, Ji Wang, Zhi-Chang Qi
2004	—	`conf`	MetaData Pro: Ontology-Based Metadata Processing for Web Resources. WISE Workshops Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen
2004	A*	`conf`	Property-Oriented Test Generation from UML Statecharts. ASE Shuhao Li, Ji Wang, Zhi-Chang Qi
2004	C	`conf`	Property-Oriented Testing of Real-Time Systems. APSEC Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
2004	C	`conf`	Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC Yanjun Wen, Ji Wang, Zhi-Chang Qi
2004	C	`conf`	Scenario Mechanism in Agent-Oriented Programming. APSEC Rui Shen, Ji Wang, Hong Zhu
2004	C	`conf`	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA Jiong Yan, Ji Wang, Huowang Chen
2003	—	`conf`	Deriving Software Statistical Testing Model from UML Model. QSIC Yan Jiong, Ji Wang, Huowang Chen
2003	J	`jnl`	Improved Method to Generate Path-Wise Test Data. J. Comput. Sci. Technol. Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu
2002	C	`conf`	Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM Ji Wang, Wei Dong, Zhichang Qi
2001	C	`conf`	Model Checking UML Statecharts. APSEC Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi
2001	C	`conf`	On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. APSEC Jinhui Shan, Ji Wang, Zhichang Qi
1998	J	`jnl`	Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi
1995	—	`conf`	A Formal Description of Hybrid Systems. Hybrid Systems Chaochen Zhou, Ji Wang, Anders P. Ravn
1994	—	`conf`	Formal Design of Hybrid Systems. FTRTFT Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya
1993	B	`conf`	A formal technique to analyze real-time systems. COMPSAC Ji Wang, Huowang Chen
1992	—	`conf`	Temporal Reasoning About Real Time Reactive Systems. IWAR Ji Wang, Huowang Chen