Linzhang Wang
发表
Wei Xu,
Mingsong Chen,
Jianhua Zhao,
2009,
Comput. J..
Guanling Chen,
You Li,
Linzhang Wang,
2014,
SEKE.
Yuanfang Cai,
Xuandong Li,
Linzhang Wang,
2012,
Internetware.
Linzhang Wang,
Chi Zhang,
Yu Wang,
2020,
Internetware.
Linzhang Wang,
Xuandong Li,
Yang Liu,
2018,
Proceedings of the Tenth Asia-Pacific Symposium on Internetware.
Z. Su,
Linzhang Wang,
Xuandong Li,
2013,
OOPSLA.
Linzhang Wang,
Jianhua Zhao,
Xuandong Li,
2012
.
Qi Zhang,
Zili Shao,
Xuandong Li,
2015,
TODE.
Yu Wang,
Zhendong Su,
Xuandong Li,
2018
.
Linzhang Wang,
Chi Zhang,
Yu Wang,
2022,
ArXiv.
Zhan-Qi Cui,
Xuan-Dong Li,
Linzhang Wang,
2011
.
Linzhang Wang,
Yu Wang,
Ke Wang,
2021,
2102.04625.
Linzhang Wang,
Xuandong Li,
Yang Liu,
2018,
Proceedings of the Tenth Asia-Pacific Symposium on Internetware.
Linzhang Wang,
Xuandong Li,
Yu Pei,
2022,
ASE.
Linzhang Wang,
Wanwangying Ma,
Lin Chen,
2023,
IEEE Transactions on Software Engineering.
Yu Wang,
Linzhang Wang,
Ke Wang,
2020,
Proc. ACM Program. Lang..
Xuandong Li,
Xi Liu,
Linzhang Wang,
2013,
Int. J. Softw. Eng. Knowl. Eng..
Dianxiang Xu,
Xuandong Li,
Linzhang Wang,
2009,
SAC '09.
Xuandong Li,
Linzhang Wang,
Fengjuan Gao,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Jun Yang,
Youtao Zhang,
Linzhang Wang,
2015,
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Linzhang Wang,
Xuandong Li,
Xin Chen,
2022,
Internetware.
Jianhua Zhao,
Xuandong Li,
Lu Yang,
2010,
2010 15th IEEE International Conference on Engineering of Complex Computer Systems.
Guoqing Xu,
Linzhang Wang,
Yuanjun Chen,
2013,
ISSTA.
Peng Liu,
Linzhang Wang,
Le Guan,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Guoliang Zheng,
Xuandong Li,
Linzhang Wang,
2004,
11th Asia-Pacific Software Engineering Conference.
Tingting Yu,
Jianhua Zhao,
Yu Wang,
2017,
ISSTA.
Zhendong Su,
You Li,
Xuandong Li,
2013,
OOPSLA.
Xin Chen,
Lei Bu,
Xuandong Li,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Xin Chen,
Qixin Wang,
Jianhua Zhao,
2011,
SIGBED.
Dianxiang Xu,
Weifeng Xu,
Linzhang Wang,
2015,
IEEE Transactions on Reliability.
Xuandong Li,
Linzhang Wang,
Subrota K. Mondal,
2018,
2018 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Xiao Li,
Yan Wang,
Xuandong Li,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Zhiqiang Zuo,
Wensheng Dou,
Linzhang Wang,
2021,
ACM Trans. Comput. Syst..
Rong Gu,
Linzhang Wang,
Xuandong Li,
2021,
IEEE Transactions on Parallel and Distributed Systems.
Rong Gu,
Zhiqiang Zuo,
Linzhang Wang,
2019,
2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Kai Wang,
Yifei Wang,
Xuandong Li,
2019,
EuroSys.
Tao Ye,
Xuandong Li,
Lingming Zhang,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software
Yu Wang,
Linzhang Wang,
Xuandong Li,
2020,
IEEE Transactions on Software Engineering.
Dianxiang Xu,
W. Eric Wong,
Linzhang Wang,
2007,
Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007).
Shaoying Liu,
Yuting Chen,
Linzhang Wang,
2010,
2010 10th International Conference on Quality Software.
Yu Wang,
Linzhang Wang,
Lingyun Situ,
2021,
International Journal of Software and Informatics.
You Li,
Lei Bu,
Xuandong Li,
2008,
2008 Formal Methods in Computer-Aided Design.
Yu Wang,
Ke Wang,
Linzhang Wang,
2019,
ArXiv.
Zhiqiang Zuo,
Linzhang Wang,
Yue Li,
2021,
PLDI.
Linzhang Wang,
Xuandong Li,
Yu Wang,
2021,
Int. J. Softw. Informatics.
Jianhua Zhao,
Lei Bu,
Xuandong Li,
2018,
SOEN.
Xuandong Li,
Linzhang Wang,
Lei Yu,
2013,
Internetware.
Linzhang Wang,
Xuandong Li,
Yu Pei,
2022,
Internetware.
Linzhang Wang,
Mingsong Chen,
Xuandong Li,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Linzhang Wang,
Xuandong Li,
Guoqing Harry Xu,
2019,
Proceedings of the Fourteenth EuroSys Conference 2019.
Jianhua Zhao,
Lei Bu,
Xuandong Li,
2012,
Softw. Test. Verification Reliab..
Xin Chen,
Zhou Zhou,
Xuandong Li,
2011,
IET Softw..
Guoliang Zheng,
Jianhua Zhao,
Bin Lei,
2006,
Ada-Europe.
Guoliang Zheng,
Jianhua Zhao,
Xuandong Li,
2007,
ECMDA-FA.
Le Guan,
Linzhang Wang,
Xuandong Li,
2023,
IEEE Internet of Things Journal.
Bing Mao,
Xuandong Li,
Linzhang Wang,
2018,
Internetware.
Yang Liu,
Liang Zou,
Bing Mao,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Jianhua Zhao,
Linzhang Wang,
Jiantao He,
2013,
2013 IEEE Seventh International Conference on Software Security and Reliability Companion.
Yuanfang Cai,
Hanfei Wang,
Linzhang Wang,
2013,
QoSA '13.
Jianhua Zhao,
Xuandong Li,
Linzhang Wang,
2012,
2012 28th IEEE International Conference on Software Maintenance (ICSM).
Hanfei Wang,
Xuandong Li,
Linzhang Wang,
2012,
EAST '12.
Xin Chen,
Jianhua Zhao,
Xuandong Li,
2009,
2009 IEEE 17th International Conference on Program Comprehension.
Bin Lei,
Xuandong Li,
Linzhang Wang,
2008,
2008 1st International Conference on Software Testing, Verification, and Validation.