Zijiang Yang

133 papers A* 20A 13B 10C 11Journal 56Unranked 22
YearRankTypeTitle / Venue / Authors
2025 A* conf
Causal Contrastive Learning with Data Augmentations for Imitation-Based Planning.
ICRA
Haojie Xin, Xiaodong Zhang, Songyang Yan, Jun Sun, Zijiang Yang
2025 J jnl
On-Demand Scenario Generation for Testing Automated Driving Systems.
CoRR
Songyang Yan, Xiaodong Zhang, Kunkun Hao, Haojie Xin, Yonggang Luo, Jucheng Yang, Ming Fan, Chao Yang, Jun Sun, Zijiang Yang
2025 J jnl
On-Demand Scenario Generation for Testing Automated Driving Systems.
Proc. ACM Softw. Eng.
Songyang Yan, Xiaodong Zhang, Kunkun Hao, Haojie Xin, Yonggang Luo, JuCheng Yang, Ming Fan, Chao Yang, Jun Sun, Zijiang Yang
2025 J jnl
Toward the Fractal Dimension of Classes.
ACM Trans. Softw. Eng. Methodol.
Weifeng Pan, Wei Wu, Ming Hua, Dae-Kyoo Kim, Zijiang Yang, Yutao Ma
2024 J jnl
Adversarial Safety-Critical Scenario Generation Using Naturalistic Human Driving Priors.
IEEE Trans. Intell. Veh.
Kunkun Hao, Wen Cui, Yonggang Luo, Lecheng Xie, Yuqiao Bai, Jucheng Yang, Songyang Yan, Yuxi Pan, Zijiang Yang
2024 J jnl
Adversarial Safety-Critical Scenario Generation using Naturalistic Human Driving Priors.
CoRR
Kunkun Hao, Yonggang Luo, Wen Cui, Yuqiao Bai, Jucheng Yang, Songyang Yan, Yuxi Pan, Zijiang Yang
2024 J jnl
EASE: An Effort-aware Extension of Unsupervised Key Class Identification Approaches.
ACM Trans. Softw. Eng. Methodol.
Weifeng Pan, Marouane Kessentini, Ming Hua, Zijiang Yang
2024 A* conf
IconDM: Text-Guided Icon Set Expansion Using Diffusion Models.
ACM Multimedia
Jiawei Lin, Zhaoyun Jiang, Jiaqi Guo, Shizhao Sun, Ting Liu, Zijiang Yang, Jian-Guang Lou, Dongmei Zhang
2023 J jnl
Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation.
CoRR
Kunkun Hao, Lu Liu, Wen Cui, Jianxing Zhang, Songyang Yan, Yuxi Pan, Zijiang Yang
2023 A* conf
Identifying Key Classes for Initial Software Comprehension: Can We Do It Better?
ICSE
Weifeng Pan, Xin Du, Ming Hua, Dae-Kyoo Kim, Zijiang Yang
2023 A* conf
LayoutPrompter: Awaken the Design Ability of Large Language Models.
NeurIPS
Jiawei Lin, Jiaqi Guo, Shizhao Sun, Zijiang Yang, Jian-Guang Lou, Dongmei Zhang
2023 J jnl
Pride: Prioritizing Documentation Effort Based on a PageRank-Like Algorithm and Simple Filtering Rules.
IEEE Trans. Software Eng.
Weifeng Pan, Ming Hua, Dae-Kyoo Kim, Zijiang Yang
2023 B conf
Sound Predictive Fuzzing for Multi-threaded Programs.
COMPSAC
Yuqi Guo, Zheheng Liang, Shihao Zhu, Jinqiu Wang, Zijiang Yang, Wuqiang Shen, Jinbo Zhang, Yan Cai
2023 J jnl
Specification-Based Autonomous Driving System Testing.
IEEE Trans. Software Eng.
Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang
2022 J jnl
Comments on "Using $k$k-Core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance".
IEEE Trans. Software Eng.
Weifeng Pan, Ming Hua, Zijiang Yang, Tian Wang
2022 J jnl
ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs.
IEEE Trans. Reliab.
Yang Liu, Zisen Xu, Ming Fan, Yu Hao, Kai Chen, Hao Chen, Yan Cai, Zijiang Yang, Ting Liu
2022 A* conf
Explanation-Guided Fairness Testing through Genetic Algorithm.
ICSE
Ming Fan, Wenying Wei, Wuxia Jin, Zijiang Yang, Ting Liu
2022 J jnl
Explanation-Guided Fairness Testing through Genetic Algorithm.
CoRR
Ming Fan, Wenying Wei, Wuxia Jin, Zijiang Yang, Ting Liu
2022 A* conf
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles.
ASE
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
2022 J jnl
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles.
CoRR
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
2022 J jnl
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker.
CoRR
Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
2022 J jnl
UniLayout: Taming Unified Sequence-to-Sequence Transformers for Graphic Layout Generation.
CoRR
Zhaoyun Jiang, Huayu Deng, Zhongkai Wu, Jiaqi Guo, Shizhao Sun, Vuksan Mijovic, Zijiang Yang, Jian-Guang Lou, Dongmei Zhang
2021 — conf
Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL.
ACL/IJCNLP (1)
Jiaqi Guo, Ziliang Si, Yu Wang, Qian Liu, Ming Fan, Jian-Guang Lou, Zijiang Yang, Ting Liu
2021 — conf
Detecting concurrency vulnerabilities based on partial orders of memory and thread events.
ESEC/SIGSOFT FSE
Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, Zijiang Yang
2021 J jnl
ElementRank: Ranking Java Software Classes and Packages using a Multilayer Complex Network-Based Approach.
IEEE Trans. Software Eng.
Weifeng Pan, Ming Hua, Carl K. Chang, Zijiang Yang, Dae-Kyoo Kim
2021 J jnl
Explaining Regressions via Alignment Slicing and Mending.
IEEE Trans. Software Eng.
Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu
2021 J jnl
From Innovations to Prospects: What Is Hidden Behind Cryptocurrencies?
CoRR
Ang Jia, Ming Fan, Xi Xu, Di Cui, Wenying Wei, Zijiang Yang, Kai Ye, Ting Liu
2021 J jnl
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker.
IEEE Trans. Software Eng.
Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
2021 C conf
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.
ISoLA
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
2020 — conf
A Study on Testing Autonomous Driving Systems.
QRS Companion
Xudong Zhang, Yan Cai, Zijiang Yang
2020 J jnl
Automatic Buffer Overflow Warning Validation.
J. Comput. Sci. Technol.
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
2020 C conf
Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity.
QRS
Weisong Sun, Guangyao Xu, Zijiang Yang, Zhenyu Chen
2020 A conf
From Innovations to Prospects: What Is Hidden Behind Cryptocurrencies?
MSR
Ang Jia, Ming Fan, Xi Xu, Di Cui, Wenying Wei, Zijiang Yang, Kai Ye, Ting Liu
2020 — conf
ObjSim: efficient testing of cyber-physical systems.
TAV-CPS/IoT@ISSTA
Jun Sun, Zijiang Yang
2020 J jnl
Relation-based test case prioritization for regression testing.
J. Syst. Softw.
Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu
2020 J jnl
Scalable Attack on Graph Data by Injecting Vicious Nodes.
CoRR
Jihong Wang, Minnan Luo, Fnu Suya, Jundong Li, Zijiang Yang, Qinghua Zheng
2020 J jnl
Scalable attack on graph data by injecting vicious nodes.
Data Min. Knowl. Discov.
Jihong Wang, Minnan Luo, Fnu Suya, Jundong Li, Zijiang Yang, Qinghua Zheng
2020 J jnl
Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling.
IEEE Trans. Software Eng.
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Ting Liu
2019 A* conf
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.
ASE
Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang
2019 A conf
Engineering a Better Fuzzer with Synergically Integrated Optimizations.
ISSRE
Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun
2019 J jnl
Is deep learning better than traditional approaches in tag recommendation for software information sites?
Inf. Softw. Technol.
Pingyi Zhou, Jin Liu, Xiao Liu, Zijiang Yang, John C. Grundy
2019 A conf
Sara: self-replay augmented record and replay for Android in industrial cases.
ISSTA
Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, Ting Liu
2019 J jnl
Software defect prediction based on kernel PCA and weighted extreme learning machine.
Inf. Softw. Technol.
Zhou Xu, Jin Liu, Xiapu Luo, Zijiang Yang, Yifeng Zhang, Peipei Yuan, Yutian Tang, Tao Zhang
2019 C conf
sCompile: Critical Path Identification and Analysis for Smart Contracts.
ICFEM
Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang
2018 J jnl
Automated Localization for Unreproducible Builds.
CoRR
Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang Yang
2018 A* conf
Automated localization for unreproducible builds.
ICSE
Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang Yang
2018 J jnl
Debugging Multithreaded Programs as if They Were Sequential.
IEEE Access
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ting Liu
2018 J jnl
Eliminating Path Redundancy via Postconditioned Symbolic Execution.
IEEE Trans. Software Eng.
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
2018 J jnl
FastTagRec: fast tag recommendation for software information sites.
Autom. Softw. Eng.
Jin Liu, Pingyi Zhou, Zijiang Yang, Xiao Liu, John Grundy
2018 J jnl
Guest editorial: special issue on concurrent software quality.
Softw. Qual. J.
Zijiang Yang, Ting Liu, Daniel Xiapu Luo, Chao Wang
2018 J jnl
Localizing multiple software faults based on evolution algorithm.
J. Syst. Softw.
Yan Zheng, Zan Wang, Xiangyu Fan, Xiang Chen, Zijiang Yang
2018 J jnl
Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection.
IEEE Trans. Software Eng.
Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan, Zijiang Yang
2018 — conf
Test Case Prioritization Based on Method Call Sequences.
COMPSAC (1)
Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu
2018 J jnl
sCompile: Critical Path Identification and Analysis for Smart Contracts.
CoRR
Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Zijiang Yang
2017 — conf
AtexRace: across thread and execution sampling for in-house race detection.
ESEC/SIGSOFT FSE
Yu Guo, Yan Cai, Zijiang Yang
2017 A conf
Automated Testing of Definition-Use Data Flow for Multithreaded Programs.
ICST
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu
2017 J jnl
Dependence Guided Symbolic Execution.
IEEE Trans. Software Eng.
Haijun Wang, Ting Liu, Xiaohong Guan, Chao Shen, Qinghua Zheng, Zijiang Yang
2017 A conf
Learning from Imbalanced Data for Predicting the Number of Software Defects.
ISSRE
Xiao Yu, Jin Liu, Zijiang Yang, Xiangyang Jia, Qi Ling, Sizhe Ye
2017 — conf
Memory Distance Measurement for Concurrent Programs.
LCPC
Hao Li, Jialiang Chang, Zijiang Yang, Steve Carr
2017 A conf
Scalable tag recommendation for software information sites.
SANER
Pingyi Zhou, Jin Liu, Zijiang Yang, Guangyou Zhou
2017 A* conf
Systematic reduction of GUI test sequences.
ASE
Lin Cheng, Zijiang Yang, Chao Wang
2017 J jnl
The Bayesian Network based program dependence graph and its application to fault localization.
J. Syst. Softw.
Xiao Yu, Jin Liu, Zijiang Yang, Xiao Liu
2017 J jnl
What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing.
CoRR
He Jiang, Xiaochen Li, Zijiang Yang, Jifeng Xuan
2017 A* conf
What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing.
ICSE
He Jiang, Xiaochen Li, Zijiang Yang, Jifeng Xuan
2016 J jnl
A Multi-Source Approach for Bug Triage.
Int. J. Softw. Eng. Knowl. Eng.
Jin Liu, Yiqiuzi Tian, Xiao Yu, Zijiang Yang, Xiangyang Jia, Chuanxiang Ma, Zheng Xu
2016 — conf
A new thread-aware birthmark for plagiarism detection of multithreaded programs.
ICSE (Companion Volume)
Zhenzhou Tian, Ting Liu, Qinghua Zheng, Feifei Tong, Ming Fan, Zijiang Yang
2016 — conf
Debugging Multithreaded Programs as if They Were Sequential.
SATE
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ming Fan, Ting Liu
2016 J jnl
Exploiting thread-related system calls for plagiarism detection of multithreaded programs.
J. Syst. Softw.
Zhenzhou Tian, Ting Liu, Qinghua Zheng, Ming Fan, Eryue Zhuang, Zijiang Yang
2016 A* conf
GUICat: GUI testing as a service.
ASE
Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang
2016 J jnl
Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions.
IEEE Trans. Fuzzy Syst.
Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Minnan Luo, Yu Qu
2016 — ed.
Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016
SCTDCP@ASE
Zijiang Yang, Ting Liu, Daniel Xiapu Luo
2016 A* conf
Radius aware probabilistic testing of deadlocks with guarantees.
ASE
Yan Cai, Zijiang Yang
2016 A conf
The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison.
ISSRE
Zhou Xu, Jin Liu, Zijiang Yang, Gege An, Xiangyang Jia
2015 — conf
A Synergistic Analysis Method for Explaining Failed Regression Tests.
ICSE (1)
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
2015 — conf
Assertion guided symbolic execution of multithreaded programs.
ESEC/SIGSOFT FSE
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta
2015 J jnl
Explaining Software Failures by Cascade Fault Localization.
ACM Trans. Design Autom. Electr. Syst.
Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang
2015 J jnl
Exploring community structure of software Call Graph and its applications in class cohesion measurement.
J. Syst. Softw.
Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu, Lidan Wang, Yuqiao Hou, Zijiang Yang
2015 J jnl
Policy analysis for administrative role based access control without separate administration.
J. Comput. Secur.
Ping Yang, Mikhail I. Gofman, Scott D. Stoller, Zijiang Yang
2015 A conf
Postconditioned Symbolic Execution.
ICST
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
2015 J jnl
Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences.
IEEE Trans. Software Eng.
Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Eryue Zhuang, Zijiang Yang
2014 — conf
Directed test suite augmentation via exploiting program dependency.
CSTVA
Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang
2014 A conf
Plagiarism detection for multithreaded software based on thread-aware software birthmarks.
ICPC
Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Xiaodong Zhang, Zijiang Yang
2014 C conf
Reducing Test Cases with Causality Partitions.
SEKE
Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Xiangyang Li, Lechen Yu, Zijiang Yang
2013 B conf
A discrete region-based approach to improve the consistency of pair-wise comparison matrix.
FUZZ-IEEE
Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Jiahe Liu
2013 B conf
Policy Analysis for Administrative Role Based Access Control without Separate Administration.
DBSec
Ping Yang, Mikhail I. Gofman, Zijiang Yang
2013 B conf
Symbolic Analysis of Concurrency Errors in OpenMP Programs.
ICPP
Hongyi Ma, Steve Diersen, Liqiang Wang, Chunhua Liao, Daniel J. Quinlan, Zijiang Yang
2013 J jnl
Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments.
Int. J. Comput. Their Appl.
Zijiang Yang, Shiyong Lu, Ping Yang, Andrey Kashlev
2012 J jnl
Deterministic replay for message-passing-based concurrent programs.
ACM Trans. Design Autom. Electr. Syst.
Mohamed Elwakil, Zijiang Yang
2012 J jnl
Software structure evaluation based on the interaction and encapsulation of methods.
Sci. China Inf. Sci.
Qinghua Zheng, Zhijiang Ou, Ting Liu, Zijiang Yang, Yuqiao Hou, Chao Zheng
2011 — conf
Deterministic replay for MCAPI programs.
PADTAD
Mohamed Elwakil, Zijiang Yang
2011 — conf
Generating Data Race Witnesses by an SMT-Based Analysis.
NASA Formal Methods
Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah
2011 J jnl
HEAT: a combined approach for thread escape analysis.
Int. J. Syst. Assur. Eng. Manag.
Qichang Chen, Liqiang Wang, Zijiang Yang
2011 J jnl
Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows.
Int. J. Comput. Their Appl.
Zijiang Yang, Shiyong Lu, Ping Yang, Fahima Amin Bhuyan
2011 A* conf
Offline symbolic analysis to infer Total Store Order.
HPCA
Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang
2011 — conf
SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs.
Haifa Verification Conference
Qichang Chen, Liqiang Wang, Zijiang Yang
2010 B conf
CRI: Symbolic Debugger for MCAPI Applications.
ATVA
Mohamed Elwakil, Zijiang Yang, Liqiang Wang
2010 — conf
Debugging support tool for MCAPI applications.
PDATAD
Mohamed Elwakil, Zijiang Yang
2010 J jnl
Information flow analysis of scientific workflows.
J. Comput. Syst. Sci.
Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang
2010 C conf
Message Race Detection for Web Services by an SMT-Based Analysis.
ATC
Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen
2010 J jnl
Opportunistic resource utilization networks - A new paradigm for specialized ad hoc networks.
Comput. Electr. Eng.
Leszek Lilien, Ajay Gupta, Zill-E-Huma Kamal, Zijiang Yang
2010 C conf
Trace-Driven Verification of Multithreaded Programs.
ICFEM
Zijiang Yang, Karem A. Sakallah
2009 B conf
Dynamic Path Reduction for Software Model Checking.
IFM
Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu
2009 B conf
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.
FASE
Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller
2009 — conf
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis.
COMPSAC (1)
Qichang Chen, Liqiang Wang, Zijiang Yang
2009 J jnl
Model checking sequential software programs via mixed symbolic analysis.
ACM Trans. Design Autom. Electr. Syst.
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic
2009 A* conf
Offline symbolic analysis for multi-processor execution replay.
MICRO
Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira
2008 J jnl
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar
2008 J jnl
Efficient SAT-based bounded model checking for software verification.
Theor. Comput. Sci.
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar
2008 A conf
Peephole Partial Order Reduction.
TACAS
Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
2007 J jnl
Disjunctive image computation for software verification.
ACM Trans. Design Autom. Electr. Syst.
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2007 — conf
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines.
eScience
Ping Yang, Zijiang Yang, Shiyong Lu
2007 — conf
Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows.
AINA Workshops (2)
Zijiang Yang, Shiyong Lu, Ping Yang
2007 C conf
Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework.
IPCCC
Leszek Lilien, Ajay Gupta, Zijiang Yang
2007 C conf
The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks.
CollaborateCom
Zille Huma Kamal, Ajay Gupta, Leszek Lilien, Zijiang Yang
2007 A* conf
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.
CAV
Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic
2006 A conf
Disjunctive image computation for embedded software verification.
DATE
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2006 J jnl
Efficient distributed SAT and SAT-based distributed Bounded Model Checking.
Int. J. Softw. Tools Technol. Transf.
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
2006 C conf
Mixed symbolic representations for model checking software programs.
MEMOCODE
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic
2006 — conf
PDC: Pattern discovery with confidence in DNA sequences.
ACST
Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijiang Yang, Lily R. Liang
2006 C conf
Runtime Security Verification for Itinerary-Driven Mobile Agents.
DASC
Zijiang Yang, Shiyong Lu, Ping Yang
2006 B conf
Whodunit? Causal Analysis for Counterexamples.
ATVA
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta
2005 A* conf
F-Soft: Software Verification Platform.
CAV
Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar
2005 C conf
Model Checking C Programs Using F-SOFT.
ICCD
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang
2004 — conf
Efficient SAT-based Bounded Model Checking for Software Verification.
ISoLA (Preliminary proceedings)
Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang
2004 B conf
Variable Reuse for Efficient Image Computation.
FMCAD
Zijiang Yang, Rajeev Alur
2003 A* conf
Abstraction and BDDs Complement SAT-Based BMC in DiVer.
CAV
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
2003 — conf
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking.
CHARME
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
2003 A conf
Iterative Abstraction using SAT-based BMC with Proof Analysis.
ICCAD
Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar
2003 A* conf
Learning from BDDs in SAT-based bounded model checking.
DAC
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
2002 A* conf
Exploiting Behavioral Hierarchy for Efficient Model Checking.
CAV
Rajeev Alur, Michael McDougall, Zijiang Yang
2001 A* conf
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.
DAC
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar
2001 A conf
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.
ICCAD
Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik
2000 B conf
SAT-Based Image Computation with Application in Reachability Analysis.
FMCAD
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta