Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZijiang Yang 0006
Zijiang James Yang
Person information
- affiliation: Xi'an Jiaotong University, School of Computer Science, China
- affiliation: GuardStrike Inc., Xi'an, China
- affiliation (former): Western Michigan University, Kalamazoo, MI, USA
- affiliation (PhD): University of Pennsylvania, PA, USA
Other persons with the same name
- Zijiang Yang — disambiguation page
- Zijiang Yang 0001
![[0000-0001-6469-5217]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-6469-5217")
— York University, Toronto, ON, Canada - Zijiang Yang 0002 — Shandong University of Science and Technology, Qingdao, China
- Zijiang Yang 0003 — Dalian University of Technology, Dalian, China
- Zijiang Yang 0004 — LocNavi IoT (Guangzhou) Co., Ltd., Guangzhou, China
- Zijiang Yang 0005 — South China University of Technology, Guangzhou, China
- Zijiang Yang 0007 — University of Augsburg, Chair of Embedded Intelligence for Health Care & Wellbeing, Augsburg, Germany
- Zijiang Yang 0008 — Northwestern University, Department of Electrical and Computer Engineering, Evanston, IL, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j40]Weifeng Pan, Ming Hua, Dae-Kyoo Kim, Zijiang Yang:
Pride: Prioritizing Documentation Effort Based on a PageRank-Like Algorithm and Simple Filtering Rules. IEEE Trans. Software Eng. 49(3): 1118-1151 (2023)- [j39]Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang:
Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. 49(6): 3391-3410 (2023) - [c73]Zhaoyun Jiang, Jiaqi Guo, Shizhao Sun, Huayu Deng, Zhongkai Wu, Vuksan Mijovic, Zijiang James Yang, Jian-Guang Lou, Dongmei Zhang:
LayoutFormer++: Conditional Graphic Layout Generation via Constraint Serialization and Decoding Space Restriction. CVPR 2023: 18403-18412 - [c72]Weifeng Pan, Xin Du, Ming Hua, Dae-Kyoo Kim, Zijiang Yang:
Identifying Key Classes for Initial Software Comprehension: Can We Do It Better? ICSE 2023: 1878-1889 - [c71]Jiawei Lin, Jiaqi Guo, Shizhao Sun, Zijiang Yang, Jian-Guang Lou, Dongmei Zhang:
LayoutPrompter: Awaken the Design Ability of Large Language Models. NeurIPS 2023 - [i10]Jiawei Lin, Jiaqi Guo, Shizhao Sun, Zijiang James Yang, Jian-Guang Lou, Dongmei Zhang:
LayoutPrompter: Awaken the Design Ability of Large Language Models. CoRR abs/2311.06495 (2023) - 2022
- [j38]Yang Liu, Zisen Xu, Ming Fan, Yu Hao, Kai Chen, Hao Chen, Yan Cai, Zijiang Yang, Ting Liu:
ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. IEEE Trans. Reliab. 71(2): 1174-1188 (2022) - [j37]Weifeng Pan, Ming Hua, Zijiang Yang, Tian Wang:
Comments on "Using $k$k-Core Decomposition on Class Dependency Networks to Improve Bug Prediction Model's Practical Performance". IEEE Trans. Software Eng. 48(12): 5176-5187 (2022) - [c70]Ming Fan, Wenying Wei, Wuxia Jin, Zijiang Yang, Ting Liu:
Explanation-Guided Fairness Testing through Genetic Algorithm. ICSE 2022: 871-882 - [c69]Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE 2022: 62:1-62:12 - [i9]Ming Fan, Wenying Wei, Wuxia Jin, Zijiang Yang, Ting Liu:
Explanation-Guided Fairness Testing through Genetic Algorithm. CoRR abs/2205.08335 (2022) - [i8]Zhaoyun Jiang, Huayu Deng, Zhongkai Wu, Jiaqi Guo, Shizhao Sun, Vuksan Mijovic, Zijiang Yang, Jian-Guang Lou, Dongmei Zhang:
UniLayout: Taming Unified Sequence-to-Sequence Transformers for Graphic Layout Generation. CoRR abs/2208.08037 (2022) - [i7]Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR abs/2208.14656 (2022) - [i6]Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker. CoRR abs/2211.05441 (2022) - 2021
- [j36]Weifeng Pan, Ming Hua, Carl K. Chang, Zijiang Yang, Dae-Kyoo Kim:
ElementRank: Ranking Java Software Classes and Packages using a Multilayer Complex Network-Based Approach. IEEE Trans. Software Eng. 47(10): 2272-2295 (2021) - [j35]Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu:
Explaining Regressions via Alignment Slicing and Mending. IEEE Trans. Software Eng. 47(11): 2421-2437 (2021) - [j34]Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. 47(11): 2575-2589 (2021) - [c68]Jiaqi Guo, Ziliang Si, Yu Wang, Qian Liu, Ming Fan, Jian-Guang Lou, Zijiang Yang, Ting Liu:
Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL. ACL/IJCNLP (1) 2021: 2316-2331 - [c67]Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang:
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ISoLA 2021: 453-469 - [c66]Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, Zijiang Yang:
Detecting concurrency vulnerabilities based on partial orders of memory and thread events. ESEC/SIGSOFT FSE 2021: 280-291 - [i5]Ang Jia, Ming Fan, Xi Xu, Di Cui, Wenying Wei, Zijiang Yang, Kai Ye, Ting Liu:
From Innovations to Prospects: What Is Hidden Behind Cryptocurrencies? CoRR abs/2103.08924 (2021) - 2020
- [j33]Jihong Wang, Minnan Luo, Fnu Suya, Jundong Li, Zijiang Yang, Qinghua Zheng:
Scalable attack on graph data by injecting vicious nodes. Data Min. Knowl. Discov. 34(5): 1363-1389 (2020) - [j32]Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li:
Automatic Buffer Overflow Warning Validation. J. Comput. Sci. Technol. 35(6): 1406-1427 (2020) - [j31]Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu:
Relation-based test case prioritization for regression testing. J. Syst. Softw. 163: 110539 (2020) - [j30]Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Ting Liu:
Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling. IEEE Trans. Software Eng. 46(9): 916-931 (2020) - [c65]Jun Sun, Zijiang Yang:
ObjSim: efficient testing of cyber-physical systems. TAV-CPS/IoT@ISSTA 2020: 1-2 - [c64]Ang Jia, Ming Fan, Xi Xu, Di Cui, Wenying Wei, Zijiang Yang, Kai Ye, Ting Liu:
From Innovations to Prospects: What Is Hidden Behind Cryptocurrencies? MSR 2020: 288-299 - [c63]Xudong Zhang, Yan Cai, Zijiang Yang:
A Study on Testing Autonomous Driving Systems. QRS Companion 2020: 241-244 - [c62]Weisong Sun, Guangyao Xu, Zijiang Yang, Zhenyu Chen:
Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity. QRS 2020: 297-309 - [i4]Jihong Wang, Minnan Luo, Fnu Suya, Jundong Li, Zijiang Yang, Qinghua Zheng:
Scalable Attack on Graph Data by Injecting Vicious Nodes. CoRR abs/2004.13825 (2020)
2010 – 2019
- 2019
- [j29]Zhou Xu, Jin Liu, Xiapu Luo, Zijiang Yang, Yifeng Zhang, Peipei Yuan, Yutian Tang, Tao Zhang:
Software defect prediction based on kernel PCA and weighted extreme learning machine. Inf. Softw. Technol. 106: 182-200 (2019) - [j28]Pingyi Zhou, Jin Liu, Xiao Liu, Zijiang Yang, John C. Grundy:
Is deep learning better than traditional approaches in tag recommendation for software information sites? Inf. Softw. Technol. 109: 1-13 (2019) - [c61]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM 2019: 286-304 - [c60]Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun:
Engineering a Better Fuzzer with Synergically Integrated Optimizations. ISSRE 2019: 82-92 - [c59]Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, Ting Liu:
Sara: self-replay augmented record and replay for Android in industrial cases. ISSTA 2019: 90-100 - [c58]Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang:
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. ASE 2019: 1154-1157 - 2018
- [j27]Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ting Liu:
Debugging Multithreaded Programs as if They Were Sequential. IEEE Access 6: 40024-40040 (2018) - [j26]Jin Liu, Pingyi Zhou, Zijiang Yang, Xiao Liu, John Grundy:
FastTagRec: fast tag recommendation for software information sites. Autom. Softw. Eng. 25(4): 675-701 (2018) - [j25]Yan Zheng, Zan Wang, Xiangyu Fan, Xiang Chen, Zijiang Yang:
Localizing multiple software faults based on evolution algorithm. J. Syst. Softw. 139: 107-123 (2018) - [j24]Zijiang Yang, Ting Liu, Daniel Xiapu Luo, Chao Wang:
Guest editorial: special issue on concurrent software quality. Softw. Qual. J. 26(3): 851-853 (2018) - [j23]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao:
Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Trans. Software Eng. 44(1): 25-43 (2018) - [j22]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan, Zijiang Yang:
Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection. IEEE Trans. Software Eng. 44(5): 491-511 (2018) - [c57]Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu:
Test Case Prioritization Based on Method Call Sequences. COMPSAC (1) 2018: 251-256 - [c56]Zhilei Ren, He Jiang, Jifeng Xuan, Zijiang Yang:
Automated localization for unreproducible builds. ICSE 2018: 71-81 - [d1]Weifeng Pan, Zijiang Yang, Ming Hua, Carl K. Chang, Bi Chen:
Data used in PackageRank: Ranking Software Packages for Maintenance based on Multilayer Software Networks. IEEE DataPort, 2018
- [i3]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. CoRR abs/1808.00624 (2018) - 2017
- [j21]Xiao Yu, Jin Liu, Zijiang Yang, Xiao Liu:
The Bayesian Network based program dependence graph and its application to fault localization. J. Syst. Softw. 134: 44-53 (2017) - [j20]Haijun Wang, Ting Liu, Xiaohong Guan, Chao Shen, Qinghua Zheng, Zijiang Yang:
Dependence Guided Symbolic Execution. IEEE Trans. Software Eng. 43(3): 252-271 (2017) - [c55]He Jiang, Xiaochen Li, Zijiang Yang, Jifeng Xuan:
What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing. ICSE 2017: 712-723 - [c54]Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu:
Automated Testing of Definition-Use Data Flow for Multithreaded Programs. ICST 2017: 172-183 - [c53]Xiao Yu, Jin Liu, Zijiang Yang, Xiangyang Jia, Qi Ling, Sizhe Ye:
Learning from Imbalanced Data for Predicting the Number of Software Defects. ISSRE 2017: 78-89 - [c52]Lin Cheng, Zijiang Yang, Chao Wang:
Systematic reduction of GUI test sequences. ASE 2017: 849-860 - [c51]Hao Li, Jialiang Chang, Zijiang Yang, Steve Carr:
Memory Distance Measurement for Concurrent Programs. LCPC 2017: 49-64 - [c50]Yu Guo, Yan Cai, Zijiang Yang:
AtexRace: across thread and execution sampling for in-house race detection. ESEC/SIGSOFT FSE 2017: 315-325 - [c49]Pingyi Zhou, Jin Liu, Zijiang Yang, Guangyou Zhou:
Scalable tag recommendation for software information sites. SANER 2017: 272-282 - [i2]He Jiang, Xiaochen Li, Zijiang Yang, Jifeng Xuan:
What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing. CoRR abs/1703.00768 (2017) - [i1]Mehdi Mohammadi, Ala I. Al-Fuqaha, Zijiang James Yang:
A High-Level Rule-based Language for Software Defined Network Programming based on OpenFlow. CoRR abs/1712.04706 (2017) - 2016
- [j19]Jin Liu, Yiqiuzi Tian, Xiao Yu, Zijiang Yang, Xiangyang Jia, Chuanxiang Ma, Zheng Xu:
A Multi-Source Approach for Bug Triage. Int. J. Softw. Eng. Knowl. Eng. 26(9-10): 1593-1604 (2016) - [j18]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Ming Fan, Eryue Zhuang, Zijiang Yang:
Exploiting thread-related system calls for plagiarism detection of multithreaded programs. J. Syst. Softw. 119: 136-148 (2016) - [j17]Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Minnan Luo, Yu Qu:
Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions. IEEE Trans. Fuzzy Syst. 24(3): 600-614 (2016) - [c48]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Feifei Tong, Ming Fan, Zijiang Yang:
A new thread-aware birthmark for plagiarism detection of multithreaded programs. ICSE (Companion Volume) 2016: 734-736 - [c47]Xiao Yu, Jin Liu, Zijiang James Yang, Xiao Liu, Xiaofei Yin, Shijie Yi:
Bayesian Network Based Program Dependence Graph for Fault Localization. ISSRE Workshops 2016: 181-188 - [c46]Zhou Xu, Jin Liu, Zijiang Yang, Gege An, Xiangyang Jia:
The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison. ISSRE 2016: 309-320 - [c45]Yan Cai, Zijiang Yang:
Radius aware probabilistic testing of deadlocks with guarantees. ASE 2016: 356-367 - [c44]Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang:
GUICat: GUI testing as a service. ASE 2016: 858-863 - [c43]Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ming Fan, Ting Liu:
Debugging Multithreaded Programs as if They Were Sequential. SATE 2016: 78-83 - [e1]Zijiang Yang, Ting Liu, Daniel Xiapu Luo:
Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016. ACM 2016, ISBN 978-1-4503-4510-1 [contents] - 2015
- [j16]Ping Yang, Mikhail I. Gofman, Scott D. Stoller, Zijiang Yang:
Policy analysis for administrative role based access control without separate administration. J. Comput. Secur. 23(1): 1-29 (2015) - [j15]Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu, Lidan Wang, Yuqiao Hou, Zijiang Yang:
Exploring community structure of software Call Graph and its applications in class cohesion measurement. J. Syst. Softw. 108: 193-210 (2015) - [j14]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang:
Explaining Software Failures by Cascade Fault Localization. ACM Trans. Design Autom. Electr. Syst. 20(3): 41:1-41:28 (2015) - [j13]Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Eryue Zhuang, Zijiang Yang:
Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences. IEEE Trans. Software Eng. 41(12): 1217-1235 (2015) - [c42]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang:
A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) 2015: 257-267 - [c41]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao:
Postconditioned Symbolic Execution. ICST 2015: 1-10 - [c40]Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta:
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE 2015: 854-865 - 2014
- [c39]Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang:
Directed test suite augmentation via exploiting program dependency. CSTVA 2014: 1-6 - [c38]Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Xiaodong Zhang, Zijiang Yang:
Plagiarism detection for multithreaded software based on thread-aware software birthmarks. ICPC 2014: 304-313 - [c37]Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Xiangyang Li, Lechen Yu, Zijiang Yang:
Reducing Test Cases with Causality Partitions. SEKE 2014: 223-228 - 2013
- [j12]Zijiang Yang, Shiyong Lu, Ping Yang, Andrey Kashlev:
Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments. Int. J. Comput. Their Appl. 20(2): 65-77 (2013) - [c36]Ping Yang, Mikhail I. Gofman, Zijiang Yang:
Policy Analysis for Administrative Role Based Access Control without Separate Administration. DBSec 2013: 49-64 - [c35]Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Jiahe Liu:
A discrete region-based approach to improve the consistency of pair-wise comparison matrix. FUZZ-IEEE 2013: 1-7 - [c34]Hongyi Ma, Steve Diersen, Liqiang Wang, Chunhua Liao, Daniel J. Quinlan, Zijiang Yang:
Symbolic Analysis of Concurrency Errors in OpenMP Programs. ICPP 2013: 510-516 - 2012
- [j11]Qinghua Zheng, Zhijiang Ou, Ting Liu, Zijiang Yang, Yuqiao Hou, Chao Zheng:
Software structure evaluation based on the interaction and encapsulation of methods. Sci. China Inf. Sci. 55(12): 2816-2825 (2012) - [j10]Mohamed Elwakil, Zijiang Yang:
Deterministic replay for message-passing-based concurrent programs. ACM Trans. Design Autom. Electr. Syst. 17(3): 22:1-22:30 (2012) - 2011
- [j9]Zijiang Yang, Shiyong Lu, Ping Yang, Fahima Amin Bhuyan:
Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows. Int. J. Comput. Their Appl. 18(3): 148-159 (2011) - [j8]Qichang Chen, Liqiang Wang, Zijiang Yang:
HEAT: a combined approach for thread escape analysis. Int. J. Syst. Assur. Eng. Manag. 2(2): 135-143 (2011) - [c33]Qichang Chen, Liqiang Wang, Zijiang Yang:
SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. Haifa Verification Conference 2011: 115-129 - [c32]Mohamed Elwakil, Zijiang Yang:
Deterministic replay for MCAPI programs. PADTAD 2011: 6-14 - [c31]Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah:
Generating Data Race Witnesses by an SMT-Based Analysis. NASA Formal Methods 2011: 313-327 - 2010
- [j7]Leszek Lilien, Ajay Gupta, Zill-E-Huma Kamal, Zijiang Yang:
Opportunistic resource utilization networks - A new paradigm for specialized ad hoc networks. Comput. Electr. Eng. 36(2): 328-340 (2010) - [j6]Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang:
Information flow analysis of scientific workflows. J. Comput. Syst. Sci. 76(6): 390-402 (2010) - [c30]Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen:
Message Race Detection for Web Services by an SMT-Based Analysis. ATC 2010: 182-194 - [c29]Mohamed Elwakil, Zijiang Yang, Liqiang Wang:
CRI: Symbolic Debugger for MCAPI Applications. ATVA 2010: 353-358 - [c28]Zijiang Yang, Karem A. Sakallah:
Trace-Driven Verification of Multithreaded Programs. ICFEM 2010: 404-419 - [c27]Mohamed Elwakil, Zijiang Yang:
Debugging support tool for MCAPI applications. PDATAD 2010: 20-25
2000 – 2009
- 2009
- [j5]Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
Model checking sequential software programs via mixed symbolic analysis. ACM Trans. Design Autom. Electr. Syst. 14(1): 10:1-10:26 (2009) - [c26]Qichang Chen, Liqiang Wang, Zijiang Yang:
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. COMPSAC (1) 2009: 142-147 - [c25]Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. FASE 2009: 425-439 - [c24]Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu:
Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336 - [c23]Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Cristiano Pereira:
Offline symbolic analysis for multi-processor execution replay. MICRO 2009: 564-575 - 2008
- [j4]Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar:
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(8): 1513-1517 (2008) - [j3]Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar:
Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. 404(3): 256-274 (2008) - [c22]Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta:
Peephole Partial Order Reduction. TACAS 2008: 382-396 - 2007
- [j2]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): 10 (2007) - [c21]Zijiang Yang, Shiyong Lu, Ping Yang:
Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511 - [c20]Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic:
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365 - [c19]Zille Huma Kamal, Ajay Gupta, Leszek Lilien, Zijiang Yang:
The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks. CollaborateCom 2007: 150-159 - [c18]Ping Yang, Zijiang Yang, Shiyong Lu:
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience 2007: 619-626 - [c17]Leszek Lilien, Ajay Gupta, Zijiang Yang:
Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework. IPCCC 2007: 588-593 - 2006
- [j1]Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar:
Efficient distributed SAT and SAT-based distributed Bounded Model Checking. Int. J. Softw. Tools Technol. Transf. 8(4-5): 387-396 (2006) - [c16]Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijiang Yang, Lily R. Liang:
PDC: Pattern discovery with confidence in DNA sequences. ACST 2006: 345-350 - [c15]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95 - [c14]Zijiang Yang, Shiyong Lu, Ping Yang:
Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186 - [c13]Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta:
Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210 - [c12]Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26 - 2005
- [c11]Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar:
F-Soft: Software Verification Platform. CAV 2005: 301-306 - [c10]Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang:
Model Checking C Programs Using F-SOFT. ICCD 2005: 297-308 - 2004
- [c9]Zijiang Yang, Rajeev Alur:
Variable Reuse for Efficient Image Computation. FMCAD 2004: 430-444 - [c8]Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang:
Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) 2004: 157-164 - 2003
- [c7]Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209 - [c6]Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar:
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. CHARME 2003: 334-347 - [c5]Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829 - [c4]Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar:
Iterative Abstraction using SAT-based BMC with Proof Analysis. ICCAD 2003: 416-423 - 2001
- [c3]Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar:
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. DAC 2001: 536-541 - [c2]Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik:
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD 2001: 286-292 - 2000
- [c1]Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta:
SAT-Based Image Computation with Application in Reachability Analysis. FMCAD 2000: 354-371
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
