Yiji Zhang

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 3

Top Topics

Formal Verification

Fault Localization

Traffic Signal Control

Top Venues

J. Syst. Softw.

Publications

Tianyu Wang, Teng Liang, Jun Li, Weibin Zhang, Yiji Zhang, Yan Lin
Adaptive Traffic Signal Control Using Distributed MARL and Federated Learning. ICCT (2020)
Yiji Zhang, Lenore D. Zuck
Formal Verification of Optimizing Compilers. ICDCIT (2018)
Yiji Zhang, Raúl A. Santelices
Prioritized static slicing and its application to fault localization. J. Syst. Softw. 114 (2016)
Raúl A. Santelices, Yiji Zhang, Haipeng Cai, Siyuan Jiang
Change-Effects Analysis for Evolving Software. Adv. Comput. 93 (2014)
Haipeng Cai, Siyuan Jiang, Raúl A. Santelices, Ying-Jie Zhang, Yiji Zhang
SENSA: Sensitivity Analysis for Quantitative Change-Impact Prediction. SCAM (2014)
Raúl A. Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, Ying-Jie Zhang
Quantitative program slicing: separating statements by relevance. ICSE (2013)
Raúl A. Santelices, Yiji Zhang, Haipeng Cai, Siyuan Jiang
DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on Soot. SOAP@PLDI (2013)
Yiji Zhang, Raúl A. Santelices
Predicting Data Dependences for Slice Inspection Prioritization. ISSRE Workshops (2012)