default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wei Dong 0006
@article{DBLP:journals/isci/LiuLDXZD25,
author = {Jiaxin Liu and
Yiwei Li and
Jianhua Dai and
Rongjia Xu and
Yating Zhang and
Wei Dong},
title = {Iterative program synthesis with code knowledge},
journal = {Inf. Sci.},
volume = {712},
pages = {122156},
year = {2025},
url = {https://doi.org/10.1016/j.ins.2025.122156},
doi = {10.1016/J.INS.2025.122156},
timestamp = {Mon, 11 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LiuLDXZD25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LiuZLMD25,
author = {Jiaxin Liu and
Yating Zhang and
Yiwei Li and
Tiecheng Ma and
Wei Dong},
title = {{CIPAC:} {A} framework of automated software construction based on
collective intelligence},
journal = {J. Syst. Softw.},
volume = {222},
pages = {112335},
year = {2025},
url = {https://doi.org/10.1016/j.jss.2025.112335},
doi = {10.1016/J.JSS.2025.112335},
timestamp = {Mon, 11 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/LiuZLMD25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmse/YangCDW25,
author = {Xu Yang and
Zhenbang Chen and
Wei Dong and
Ji Wang},
title = {{QSF:} Multi-objective Optimization Based Efficient Solving for Floating-Point
Constraints},
journal = {Proc. {ACM} Softw. Eng.},
volume = {2},
number = {{FSE}},
pages = {511--532},
year = {2025},
url = {https://doi.org/10.1145/3715739},
doi = {10.1145/3715739},
timestamp = {Sun, 10 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmse/YangCDW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmse/LiLJZLCDL25,
author = {Xingpei Li and
Yan Lei and
Zhouyang Jia and
Yuanliang Zhang and
Haoran Liu and
Liqian Chen and
Wei Dong and
Shan{-}shan Li},
title = {Bridging Operator Semantic Inconsistencies: {A} Source-Level Cross-Framework
Model Conversion Approach},
journal = {Proc. {ACM} Softw. Eng.},
volume = {2},
number = {{FSE}},
pages = {2030--2052},
year = {2025},
url = {https://doi.org/10.1145/3729361},
doi = {10.1145/3729361},
timestamp = {Sun, 10 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmse/LiLJZLCDL25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmse/YinLCDW25,
author = {Liangze Yin and
Yiwei Li and
Kun Chen and
Wei Dong and
Ji Wang},
title = {Incremental Verification of Concurrent Programs through Refinement
Constraint Adaptation},
journal = {Proc. {ACM} Softw. Eng.},
volume = {2},
number = {{ISSTA}},
pages = {2251--2272},
year = {2025},
url = {https://doi.org/10.1145/3728976},
doi = {10.1145/3728976},
timestamp = {Sun, 10 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmse/YinLCDW25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saner/LiuZWLD25,
author = {Jiaxin Liu and
Yating Zhang and
Deze Wang and
Yiwei Li and
Wei Dong},
title = {{THINK:} Tackling {API} Hallucinations in LLMs via Injecting Knowledge},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2025, Montreal, QC, Canada, March 4-7, 2025},
pages = {229--240},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/SANER64311.2025.00029},
doi = {10.1109/SANER64311.2025.00029},
timestamp = {Mon, 11 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saner/LiuZWLD25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/YangSDDZ24,
author = {Dong Yang and
Hao Shi and
Wei Dong and
Yanqi Dong and
Yong Zhang},
editor = {Hong Mei and
Jian Lv and
Abdelsalam Helal and
Xiaoxing Ma and
Shing{-}Chi Cheung and
Jie Zhang and
Tao Zhang},
title = {Synthesizing Controller for Unsynthesizable Specification Based on
Criticality Levels},
booktitle = {Proceedings of the 15th Asia-Pacific Symposium on Internetware, Internetware
2024, Macau, SAR, China, July 24-26, 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3671016.3674815},
doi = {10.1145/3671016.3674815},
timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/internetware/YangSDDZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/LiuDMDY24,
author = {Sirui Liu and
Wei Dong and
Tiecheng Ma and
Yanqi Dong and
Dong Yang},
editor = {Jonathan P. Bowen and
Cl{\'{a}}udio Gomes and
Zhiming Liu},
title = {Automating Component-Based Embedded Software Construction via Formal
Synthesis and LLMs},
booktitle = {Engineering Trustworthy Software Systems - 6th International School,
{SETSS} 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {15584},
pages = {155--170},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-96-4656-2\_7},
doi = {10.1007/978-981-96-4656-2\_7},
timestamp = {Sat, 31 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/LiuDMDY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2411-07741,
author = {Dong Yang and
Wei Dong and
Wei Lu and
Yanqi Dong and
Sirui Liu},
title = {Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial
System Based on Reactive Synthesis},
journal = {CoRR},
volume = {abs/2411.07741},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2411.07741},
doi = {10.48550/ARXIV.2411.07741},
eprinttype = {arXiv},
eprint = {2411.07741},
timestamp = {Wed, 01 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2411-07741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ZengYLXWGBDL23,
author = {Chen Zeng and
Yue Yu and
Shanshan Li and
Xin Xia and
Zhiming Wang and
Mingyang Geng and
Linxiao Bai and
Wei Dong and
Xiangke Liao},
title = {deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {2},
pages = {34:1--34:27},
year = {2023},
url = {https://doi.org/10.1145/3546066},
doi = {10.1145/3546066},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/ZengYLXWGBDL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GuoTLLLYLCDZ23,
author = {Zhaoqiang Guo and
Tingting Tan and
Shiran Liu and
Xutong Liu and
Wei Lai and
Yibiao Yang and
Yanhui Li and
Lin Chen and
Wei Dong and
Yuming Zhou},
title = {Mitigating False Positive Static Analysis Warnings: Progress, Challenges,
and Opportunities},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {12},
pages = {5154--5188},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3329667},
doi = {10.1109/TSE.2023.3329667},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/GuoTLLLYLCDZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangCLLPDL23,
author = {Deze Wang and
Boxing Chen and
Shanshan Li and
Wei Luo and
Shaoliang Peng and
Wei Dong and
Xiangke Liao},
title = {One Adapter for All Programming Languages? Adapter Tuning for Code
Search and Summarization},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {5--16},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00013},
doi = {10.1109/ICSE48619.2023.00013},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WangCLLPDL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/XuYMYD23,
author = {Peng Xu and
Liangze Yin and
Jiantong Ma and
Dong Yang and
Wei Dong},
editor = {Hong Mei and
Jian Lv and
Zhi Jin and
Xuandong Li and
Xiaohu Yang and
Xin Xia},
title = {{FAEG:} Feature-Driven Automatic Exploit Generation},
booktitle = {Proceedings of the 14th Asia-Pacific Symposium on Internetware, Internetware
2023, Hangzhou, China, August 4-6, 2023},
pages = {165--173},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609437.3609461},
doi = {10.1145/3609437.3609461},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/internetware/XuYMYD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MaYLJMXDL23,
author = {Yingwei Ma and
Yue Yu and
Shanshan Li and
Zhouyang Jia and
Jun Ma and
Rulin Xu and
Wei Dong and
Xiangke Liao},
editor = {Tao Zhang and
Xin Xia and
Nicole Novielli},
title = {MulCS: Towards a Unified Deep Representation for Multilingual Code
Search},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2023, Taipa, Macao, March 21-24, 2023},
pages = {120--131},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SANER56733.2023.00021},
doi = {10.1109/SANER56733.2023.00021},
timestamp = {Fri, 24 Nov 2023 12:46:34 +0100},
biburl = {https://dblp.org/rec/conf/wcre/MaYLJMXDL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-15822,
author = {Deze Wang and
Boxing Chen and
Shanshan Li and
Wei Luo and
Shaoliang Peng and
Wei Dong and
Xiangke Liao},
title = {One Adapter for All Programming Languages? Adapter Tuning for Code
Search and Summarization},
journal = {CoRR},
volume = {abs/2303.15822},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.15822},
doi = {10.48550/ARXIV.2303.15822},
eprinttype = {arXiv},
eprint = {2303.15822},
timestamp = {Sat, 03 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-15822.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ZhaoLLDL22,
author = {Wei Zhao and
Rui Li and
Wanwei Liu and
Wei Dong and
Zhiming Liu},
title = {Probabilistic synthesis against {GR(1)} winning condition},
journal = {Frontiers Comput. Sci.},
volume = {16},
number = {3},
pages = {162203},
year = {2022},
url = {https://doi.org/10.1007/s11704-020-0076-z},
doi = {10.1007/S11704-020-0076-Z},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/ZhaoLLDL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GuWLZYD22,
author = {Lian Gu and
Zihui Wang and
Jiaxin Liu and
Yating Zhang and
Dong Yang and
Wei Dong},
title = {Extension-Compression Learning: {A} deep learning code search method
that simulates reading habits},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {195--200},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00032},
doi = {10.1109/ICECCS54210.2022.00032},
timestamp = {Thu, 12 May 2022 09:47:03 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/GuWLZYD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangJLYX0L22,
author = {Deze Wang and
Zhouyang Jia and
Shanshan Li and
Yue Yu and
Yun Xiong and
Wei Dong and
Xiangke Liao},
title = {Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {287--298},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510062},
doi = {10.1145/3510003.3510062},
timestamp = {Sun, 19 Jan 2025 13:14:40 +0100},
biburl = {https://dblp.org/rec/conf/icse/WangJLYX0L22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2022,
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0},
doi = {10.1007/978-3-031-21213-0},
isbn = {978-3-031-21212-3},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LiJGDDL21,
author = {Yongjun Li and
Wenli Ji and
Xing Gao and
Yao Deng and
Wei Dong and
Dongxu Li},
title = {Matching user accounts with spatio-temporal awareness across social
networks},
journal = {Inf. Sci.},
volume = {570},
pages = {1--15},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2021.04.030},
doi = {10.1016/J.INS.2021.04.030},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LiJGDDL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/DuYFD21,
author = {Xiang Du and
Liangze Yin and
Haining Feng and
Wei Dong},
title = {Program Verification Enhanced Precise Analysis of Interrupt-Driven
Program Vulnerabilities},
booktitle = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei,
Taiwan, December 6-9, 2021},
pages = {253--263},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/APSEC53868.2021.00033},
doi = {10.1109/APSEC53868.2021.00033},
timestamp = {Wed, 23 Feb 2022 18:55:47 +0100},
biburl = {https://dblp.org/rec/conf/apsec/DuYFD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangHLL0X21a,
author = {Yuanliang Zhang and
Haochen He and
Owolabi Legunsen and
Shanshan Li and
Wei Dong and
Tianyin Xu},
title = {An Evolutionary Study of Configuration Design and Implementation in
Cloud Systems},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {175--176},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00075},
doi = {10.1109/ICSE-COMPANION52605.2021.00075},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhangHLL0X21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangHLL0X21,
author = {Yuanliang Zhang and
Haochen He and
Owolabi Legunsen and
Shanshan Li and
Wei Dong and
Tianyin Xu},
title = {An Evolutionary Study of Configuration Design and Implementation in
Cloud Systems},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {188--200},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00029},
doi = {10.1109/ICSE43902.2021.00029},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhangHLL0X21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DuYD21,
author = {Xiang Du and
Liangze Yin and
Wei Dong},
editor = {Zhi Jin and
Xuandong Li and
Jianwen Xiang and
Leonardo Mariani and
Ting Liu and
Xiao Yu and
Nahgmeh Ivaki},
title = {Simplify Array Processing Loops for Efficient Program Verification},
booktitle = {32nd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2021, Wuhan, China, October 25-28, 2021},
pages = {401--411},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSRE52982.2021.00049},
doi = {10.1109/ISSRE52982.2021.00049},
timestamp = {Tue, 20 Aug 2024 07:54:45 +0200},
biburl = {https://dblp.org/rec/conf/issre/DuYD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GuWLZYD21,
author = {Lian Gu and
Zihui Wang and
Jiaxin Liu and
Yating Zhang and
Dong Yang and
Wei Dong},
editor = {Shi{-}Kuo Chang},
title = {{MACA:} {A} Residual Network with Multi-Attention and Core Attributes
for Code Search {(S)}},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {528--531},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-079},
doi = {10.18293/SEKE2021-079},
timestamp = {Wed, 21 Sep 2022 17:47:55 +0200},
biburl = {https://dblp.org/rec/conf/seke/GuWLZYD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/WangYLDW021,
author = {Deze Wang and
Yue Yu and
Shanshan Li and
Wei Dong and
Ji Wang and
Qing Liao},
title = {MulCode: {A} Multi-task Learning Approach for Source Code Understanding},
booktitle = {28th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2021, Honolulu, HI, USA, March 9-12, 2021},
pages = {48--59},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SANER50967.2021.00014},
doi = {10.1109/SANER50967.2021.00014},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/WangYLDW021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07052,
author = {Yuanliang Zhang and
Haochen He and
Owolabi Legunsen and
Shanshan Li and
Wei Dong and
Tianyin Xu},
title = {An Evolutionary Study of Configuration Design and Implementation in
Cloud Systems},
journal = {CoRR},
volume = {abs/2102.07052},
year = {2021},
url = {https://arxiv.org/abs/2102.07052},
eprinttype = {arXiv},
eprint = {2102.07052},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-13020,
author = {Chen Zeng and
Yue Yu and
Shanshan Li and
Xin Xia and
Zhiming Wang and
Mingyang Geng and
Bailin Xiao and
Wei Dong and
Xiangke Liao},
title = {deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search},
journal = {CoRR},
volume = {abs/2103.13020},
year = {2021},
url = {https://arxiv.org/abs/2103.13020},
eprinttype = {arXiv},
eprint = {2103.13020},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-13020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-02268,
author = {Deze Wang and
Zhouyang Jia and
Shanshan Li and
Yue Yu and
Yun Xiong and
Wei Dong and
Xiangke Liao},
title = {Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding},
journal = {CoRR},
volume = {abs/2112.02268},
year = {2021},
url = {https://arxiv.org/abs/2112.02268},
eprinttype = {arXiv},
eprint = {2112.02268},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-02268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ShiDLL20,
author = {Hao Shi and
Wei Dong and
Rui Li and
Wanwei Liu},
title = {Controller Resynthesis for Multirobot System When Changes Happen},
journal = {Computer},
volume = {53},
number = {12},
pages = {69--79},
year = {2020},
url = {https://doi.org/10.1109/MC.2020.3017343},
doi = {10.1109/MC.2020.3017343},
timestamp = {Thu, 21 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ShiDLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/YangLGD20,
author = {Jiaqi Yang and
Yongjun Li and
Congjie Gao and
Wei Dong},
title = {Entity disambiguation with context awareness in user-generated short
texts},
journal = {Expert Syst. Appl.},
volume = {160},
pages = {113652},
year = {2020},
url = {https://doi.org/10.1016/j.eswa.2020.113652},
doi = {10.1016/J.ESWA.2020.113652},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/YangLGD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jzusc/HongLCDW20,
author = {Weijiang Hong and
Yijun Liu and
Zhenbang Chen and
Wei Dong and
Ji Wang},
title = {Modified condition/decision coverage {(MC/DC)} oriented compiler optimization
for symbolic execution},
journal = {Frontiers Inf. Technol. Electron. Eng.},
volume = {21},
number = {9},
pages = {1267--1284},
year = {2020},
url = {https://doi.org/10.1631/FITEE.1900213},
doi = {10.1631/FITEE.1900213},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jzusc/HongLCDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jzusc/HuDYSD20,
author = {Chi Hu and
Wei Dong and
Yonghui Yang and
Hao Shi and
Fei Deng},
title = {Decentralized runtime enforcement for robotic swarms},
journal = {Frontiers Inf. Technol. Electron. Eng.},
volume = {21},
number = {11},
pages = {1591--1606},
year = {2020},
url = {https://doi.org/10.1631/FITEE.2000203},
doi = {10.1631/FITEE.2000203},
timestamp = {Thu, 21 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jzusc/HuDYSD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
author = {Cyrille Artho and
Quoc{-}Sang Phan and
Peter Aldous and
Alyas Almaawi and
Lucas Bang and
Lasse Berglund and
Tevfik Bultan and
Zhenbang Chen and
Hayes Converse and
Wei Dong and
William Eiers and
Milos Gligoric and
Simon Goldsmith and
Lars Grunske and
Joshua Hooker and
Ismet Burak Kadron and
Timo Kehrer and
Sarfraz Khurshid and
Xuan{-}Bach Dinh Le and
David Lo and
Eric Mercer and
Sasa Misailovic and
Egor Namakonov and
Hoang Lam Nguyen and
Yannic Noller and
Benjamin Ogles and
Rohan Padhye and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Sheridan Jacob Powell and
Seemanta Saha and
Koushik Sen and
Elena Sherman and
Kyle Storey and
Minxing Tang and
Willem Visser and
Ji Wang and
Hengbiao Yu},
title = {The Java Pathfinder Workshop 2019},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {20--22},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385685},
doi = {10.1145/3385678.3385685},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/HuDYSZ20,
author = {Chi Hu and
Wei Dong and
Yonghui Yang and
Hao Shi and
Ge Zhou},
title = {Runtime Verification on Hierarchical Properties of ROS-Based Robot
Swarms},
journal = {{IEEE} Trans. Reliab.},
volume = {69},
number = {2},
pages = {674--689},
year = {2020},
url = {https://doi.org/10.1109/TR.2019.2923681},
doi = {10.1109/TR.2019.2923681},
timestamp = {Thu, 21 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/HuDYSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/ShiLLDZ20,
author = {Hao Shi and
Rui Li and
Wanwei Liu and
Wei Dong and
Ge Zhou},
title = {Iterative Controller Synthesis for Multirobot System},
journal = {{IEEE} Trans. Reliab.},
volume = {69},
number = {3},
pages = {851--862},
year = {2020},
url = {https://doi.org/10.1109/TR.2020.2979873},
doi = {10.1109/TR.2020.2979873},
timestamp = {Thu, 21 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/ShiLLDZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YinDLW20,
author = {Liangze Yin and
Wei Dong and
Wanwei Liu and
Ji Wang},
title = {On Scheduling Constraint Abstraction for Multi-Threaded Program Verification},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {5},
pages = {549--565},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2864122},
doi = {10.1109/TSE.2018.2864122},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/YinDLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiSL020,
author = {Rui Li and
Hao Shi and
Wanwei Liu and
Wei Dong},
title = {Synthesizing Cooperative Controllers from Global Tasks of Multi-robot
Systems},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {109--118},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00019},
doi = {10.1109/APSEC51365.2020.00019},
timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/LiSL020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiuL0ZW20,
author = {Jiaxin Liu and
Binbin Liu and
Wei Dong and
Yating Zhang and
Daiyan Wang},
title = {How Much Support Can {API} Recommendation Methods Provide for Component-Based
Synthesis?},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {872--881},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.0-155},
doi = {10.1109/COMPSAC48688.2020.0-155},
timestamp = {Tue, 29 Sep 2020 12:30:55 +0200},
biburl = {https://dblp.org/rec/conf/compsac/LiuL0ZW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YuCFWSSHD20,
author = {Hengbiao Yu and
Zhenbang Chen and
Xianjin Fu and
Ji Wang and
Zhendong Su and
Jun Sun and
Chun Huang and
Wei Dong},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Symbolic verification of message passing interface programs},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1248--1260},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380419},
doi = {10.1145/3377811.3380419},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/YuCFWSSHD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuDL20,
author = {Jiaxin Liu and
Wei Dong and
Binbin Liu},
editor = {John Grundy and
Claire Le Goues and
David Lo},
title = {Boosting component-based synthesis with {API} usage knowledge},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2020, Melbourne, Australia, September 21-25,
2020},
pages = {91--97},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417113.3423370},
doi = {10.1145/3417113.3423370},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LiuDL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangDZ20,
author = {Daiyan Wang and
Wei Dong and
Yating Zhang},
editor = {John Grundy and
Claire Le Goues and
David Lo},
title = {Collective intelligence for smarter neural program synthesis},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2020, Melbourne, Australia, September 21-25,
2020},
pages = {98--104},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417113.3423371},
doi = {10.1145/3417113.3423371},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WangDZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/WuYDJ020,
author = {Peng Wu and
Liangze Yin and
Xiang Du and
Liyuan Jia and
Wei Dong},
title = {Graph-based Vulnerability Detection via Extracting Features from Sliced
Code},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {38--45},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00018},
doi = {10.1109/QRS-C51114.2020.00018},
timestamp = {Tue, 26 Jan 2021 17:41:14 +0100},
biburl = {https://dblp.org/rec/conf/qrs/WuYDJ020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/DuYWJ020,
author = {Xiang Du and
Liangze Yin and
Peng Wu and
Liyuan Jia and
Wei Dong},
title = {Vulnerability Analysis through Interface-based Checker Design},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {46--52},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00019},
doi = {10.1109/QRS-C51114.2020.00019},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/DuYWJ020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZhangDWLL20,
author = {Yating Zhang and
Wei Dong and
Daiyan Wang and
Jiaxin Liu and
Binbin Liu},
title = {Probabilistic Synthesis for Program with Non-API Operations},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {451--457},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00082},
doi = {10.1109/QRS-C51114.2020.00082},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ZhangDWLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/FengYL0020,
author = {Haining Feng and
Liangze Yin and
Wenfeng Lin and
Xudong Zhao and
Wei Dong},
title = {Rchecker: {A} CBMC-based Data Race Detector for Interrupt-driven Programs},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {465--471},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00084},
doi = {10.1109/QRS-C51114.2020.00084},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/FengYL0020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/0006SLF020,
author = {Xudong Zhao and
Shaoxian Shu and
Yutian Lan and
Haining Feng and
Wei Dong},
title = {Security Controller Synthesis for ROS-based Robot},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {472--477},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00085},
doi = {10.1109/QRS-C51114.2020.00085},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/0006SLF020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LiuDLZW20,
author = {Jiaxin Liu and
Wei Dong and
Binbin Liu and
Yating Zhang and
Daiyan Wang},
title = {Effective Iterative Program Synthesis with Knowledge Searched from
Internet},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {678--679},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00117},
doi = {10.1109/QRS-C51114.2020.00117},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/LiuDLZW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiLSS0Z20,
author = {Xudong Zhao and
Rui Li and
Wanwei Liu and
Hao Shi and
Shaoxian Shu and
Wei Dong},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {Controller Synthesis for ROS-based Multi-Robot Collaboration},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {37--42},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-082},
doi = {10.18293/SEKE2020-082},
timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/LiLSS0Z20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GaoLYD19,
author = {Congjie Gao and
Yongjun Li and
Jiaqi Yang and
Wei Dong},
title = {Fine-Grained Geolocalization of User-Generated Short Text Based on
a Weight Probability Model},
journal = {{IEEE} Access},
volume = {7},
pages = {153579--153591},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2948355},
doi = {10.1109/ACCESS.2019.2948355},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/GaoLYD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LiuDZ19b,
author = {Binbin Liu and
Wei Dong and
Yinzhu Zhang},
title = {Accelerating API-Based Program Synthesis via {API} Usage Pattern Mining},
journal = {{IEEE} Access},
volume = {7},
pages = {159162--159176},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2950232},
doi = {10.1109/ACCESS.2019.2950232},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LiuDZ19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangGDWLL19,
author = {Deze Wang and
Yong Guo and
Wei Dong and
Zhiming Wang and
Haoran Liu and
Shanshan Li},
title = {Deep Code-Comment Understanding and Assessment},
journal = {{IEEE} Access},
volume = {7},
pages = {174200--174209},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2957424},
doi = {10.1109/ACCESS.2019.2957424},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/WangGDWLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ChenYWD19,
author = {Zhenbang Chen and
Hengbiao Yu and
Ji Wang and
Wei Dong},
title = {Symbolic Verification of Regular Properties for Java Programs},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {4},
pages = {17},
year = {2019},
url = {https://doi.org/10.1145/3364452.33644561},
doi = {10.1145/3364452.33644561},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/ChenYWD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LuSSL019,
author = {Wei Lu and
Shaoxian Shu and
Rao Shi and
Rui Li and
Wei Dong},
title = {Synthesizing Secure Reactive Controller for Unmanned Aerial System},
booktitle = {6th International Conference on Dependable Systems and Their Applications,
{DSA} 2019, Harbin, China, January 3-6, 2020},
pages = {419--424},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DSA.2019.00065},
doi = {10.1109/DSA.2019.00065},
timestamp = {Wed, 13 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsa/LuSSL019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Yin0L019,
author = {Liangze Yin and
Wei Dong and
Wanwei Liu and
Ji Wang},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Parallel refinement for multi-threaded program verification},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {643--653},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00074},
doi = {10.1109/ICSE.2019.00074},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/Yin0L019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/YinDHW18,
author = {Liangze Yin and
Wei Dong and
Fei He and
Ji Wang},
title = {A True-Concurrency Encoding for {BMC} of Compositional Systems},
journal = {Comput. J.},
volume = {61},
number = {5},
pages = {658--671},
year = {2018},
url = {https://doi.org/10.1093/comjnl/bxx069},
doi = {10.1093/COMJNL/BXX069},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/YinDHW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/XuY0JL18,
author = {Luhang Xu and
Liangze Yin and
Wei Dong and
Weixi Jia and
Yongjun Li},
title = {Expediting Binary Fuzzing with Symbolic Analysis},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {28},
number = {11-12},
pages = {1701--1718},
year = {2018},
url = {https://doi.org/10.1142/S0218194018400247},
doi = {10.1142/S0218194018400247},
timestamp = {Sun, 13 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/XuY0JL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChiLGDJHL18,
author = {Shuqi Chi and
Shanshan Li and
Yong Guo and
Wei Dong and
Zhouyang Jia and
Haochen He and
Qing Liao},
title = {NotOnlyLog: Mining Patch-Log Associations from Software Evolution
History to Enhance Failure Diagnosis Capability},
booktitle = {25th Asia-Pacific Software Engineering Conference, {APSEC} 2018, Nara,
Japan, December 4-7, 2018},
pages = {189--198},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/APSEC.2018.00033},
doi = {10.1109/APSEC.2018.00033},
timestamp = {Thu, 11 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/ChiLGDJHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GaoJLD018,
author = {Xing Gao and
Wenli Ji and
Yongjun Li and
Yao Deng and
Wei Dong},
editor = {Alfredo Cuzzocrea and
James Allan and
Norman W. Paton and
Divesh Srivastava and
Rakesh Agrawal and
Andrei Z. Broder and
Mohammed J. Zaki and
K. Sel{\c{c}}uk Candan and
Alexandros Labrinidis and
Assaf Schuster and
Haixun Wang},
title = {User Identification with Spatio-Temporal Awareness across Social Networks},
booktitle = {Proceedings of the 27th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2018, Torino, Italy, October 22-26,
2018},
pages = {1831--1834},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3269206.3269248},
doi = {10.1145/3269206.3269248},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/GaoJLD018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiuC0F18,
author = {Yijun Liu and
Zhenbang Chen and
Wei Dong and
Chendong Feng},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {{MC/DC} coverage-oriented compiler optimization for symbolic execution},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {214--215},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3195102},
doi = {10.1145/3183440.3195102},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LiuC0F18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YuCWS018,
author = {Hengbiao Yu and
Zhenbang Chen and
Ji Wang and
Zhendong Su and
Wei Dong},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Symbolic verification of regular properties},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {871--881},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180227},
doi = {10.1145/3180155.3180227},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/YuCWS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Yin0LW18,
author = {Liangze Yin and
Wei Dong and
Wanwei Liu and
Ji Wang},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Scheduling constraint based abstraction refinement for weak memory
models},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {645--655},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238223},
doi = {10.1145/3238147.3238223},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Yin0LW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/XuJ0L18,
author = {Luhang Xu and
Weixi Jia and
Wei Dong and
Yongjun Li},
title = {Automatic Exploit Generation for Buffer Overflow Vulnerabilities},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2018, Lisbon, Portugal, July
16-20, 2018},
pages = {463--468},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS-C.2018.00085},
doi = {10.1109/QRS-C.2018.00085},
timestamp = {Sun, 13 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/XuJ0L18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/XuDYZ18,
author = {Luhang Xu and
Wei Dong and
Liangze Yin and
Qiuxi Zhong},
title = {Guide Fuzzing with Multi-Factor Potential Analysis},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2018, Lisbon, Portugal, July
16-20, 2018},
pages = {477--482},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS-C.2018.00087},
doi = {10.1109/QRS-C.2018.00087},
timestamp = {Mon, 20 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/XuDYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sate/Lu0YZ18,
author = {Bailin Lu and
Wei Dong and
Liangze Yin and
Li Zhang},
editor = {Lei Bu and
Yingfei Xiong},
title = {Evaluating and Integrating Diverse Bug Finders for Effective Program
Analysis},
booktitle = {Software Analysis, Testing, and Evolution - 8th International Conference,
{SATE} 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11293},
pages = {51--67},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04272-1\_4},
doi = {10.1007/978-3-030-04272-1\_4},
timestamp = {Tue, 01 Sep 2020 15:49:20 +0200},
biburl = {https://dblp.org/rec/conf/sate/Lu0YZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Xu0YJL18,
author = {Luhang Xu and
Wei Dong and
Liangze Yin and
Weixi Jia and
Shenzhi Li},
editor = {{\'{O}}scar Mort{\'{a}}gua Pereira},
title = {Expediting Binary Fuzzing with Symbolic Analysis},
booktitle = {The 30th International Conference on Software Engineering and Knowledge
Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
2018},
pages = {604--603},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2018},
url = {https://doi.org/10.18293/SEKE2018-120},
doi = {10.18293/SEKE2018-120},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Xu0YJL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Yin0LLW18,
author = {Liangze Yin and
Wei Dong and
Wanwei Liu and
Yunchou Li and
Ji Wang},
editor = {Dirk Beyer and
Marieke Huisman},
title = {{YOGAR-CBMC:} {CBMC} with Scheduling Constraint Based Abstraction
Refinement - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {422--426},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_25},
doi = {10.1007/978-3-319-89963-3\_25},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Yin0LLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06300,
author = {Hengbiao Yu and
Zhenbang Chen and
Xianjin Fu and
Ji Wang and
Zhendong Su and
Wei Dong and
Chun Huang},
title = {Combining Symbolic Execution and Model Checking to Verify {MPI} Programs},
journal = {CoRR},
volume = {abs/1803.06300},
year = {2018},
url = {http://arxiv.org/abs/1803.06300},
eprinttype = {arXiv},
eprint = {1803.06300},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-07108,
author = {Chengdong Feng and
Zhenbang Chen and
Weijiang Hong and
Hengbiao Yu and
Wei Dong and
Ji Wang},
title = {Boosting the Robustness Verification of {DNN} by Identifying the Achilles's
Heel},
journal = {CoRR},
volume = {abs/1811.07108},
year = {2018},
url = {http://arxiv.org/abs/1811.07108},
eprinttype = {arXiv},
eprint = {1811.07108},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-07108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/LiuLM018,
author = {Binbin Liu and
Wanwei Liu and
Xiaoguang Mao and
Wei Dong},
title = {{\unicode{26080}}{\unicode{20154}}{\unicode{39550}}{\unicode{39542}}{\unicode{27773}}{\unicode{36710}}{\unicode{20915}}{\unicode{31574}}{\unicode{31995}}{\unicode{32479}}{\unicode{30340}}{\unicode{35268}}{\unicode{21017}}{\unicode{27491}}{\unicode{30830}}{\unicode{24615}}{\unicode{39564}}{\unicode{35777}}
(Correctness Verification of Rules for Unmanned Vehicles' Decision
System)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {44},
number = {4},
pages = {72--74},
year = {2017},
url = {https://doi.org/10.11896/j.issn.1002-137X.2017.04.015},
doi = {10.11896/J.ISSN.1002-137X.2017.04.015},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsjkx/LiuLM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/Liu0YQY18,
author = {Qilin Liu and
Wei Dong and
Liangze Yin and
Xuan Qi and
Shazhou Yang},
title = {{\unicode{28151}}{\unicode{28304}}{\unicode{36719}}{\unicode{20214}}{\unicode{36136}}{\unicode{37327}}{\unicode{27169}}{\unicode{22411}}{\unicode{19982}}{\unicode{24230}}{\unicode{37327}}{\unicode{26041}}{\unicode{27861}}{\unicode{30740}}{\unicode{31350}}
(Research on Mixed Source Software Quality Model and Measurement Method)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {44},
number = {4},
pages = {82--84},
year = {2017},
url = {https://doi.org/10.11896/j.issn.1002-137X.2017.04.018},
doi = {10.11896/J.ISSN.1002-137X.2017.04.018},
timestamp = {Fri, 20 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsjkx/Liu0YQY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/ZhuW018,
author = {Lihua Zhu and
Yanjun Wen and
Wei Dong},
title = {{\unicode{22522}}{\unicode{20110}}{\unicode{35821}}{\unicode{20041}}{\unicode{34917}}{\unicode{19969}}{\unicode{30340}}Linux{\unicode{39537}}{\unicode{21160}}{\unicode{31243}}{\unicode{24207}}{\unicode{21518}}{\unicode{21521}}{\unicode{31227}}{\unicode{26893}}{\unicode{25216}}{\unicode{26415}}
(Backporting of Linux Device Drivers Using Semantic Patch)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {44},
number = {11},
pages = {64--68},
year = {2017},
url = {https://doi.org/10.11896/j.issn.1002-137X.2017.11.010},
doi = {10.11896/J.ISSN.1002-137X.2017.11.010},
timestamp = {Fri, 20 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsjkx/ZhuW018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZhouDLSHY17,
author = {Ge Zhou and
Wei Dong and
Wanwei Liu and
Hao Shi and
Chi Hu and
Liangze Yin},
title = {Optimizing Monitor Code Based on Patterns in Runtime Verification},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
25-29, 2017},
pages = {348--354},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS-C.2017.65},
doi = {10.1109/QRS-C.2017.65},
timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ZhouDLSHY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ShiDZY17,
author = {Hao Shi and
Wei Dong and
Ge Zhou and
Liangze Yin},
title = {Monitor Synthesis for Parametric {MTL} Properties in Discrete Control
Software},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
25-29, 2017},
pages = {355--362},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS-C.2017.66},
doi = {10.1109/QRS-C.2017.66},
timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ShiDZY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/XuLGDWL17,
author = {Xiangyang Xu and
Shanshan Li and
Yong Guo and
Wei Dong and
Wang Li and
Xiangke Liao},
editor = {Xudong He},
title = {Automatic Type Inference for Proactive Misconfiguration Prevention},
booktitle = {The 29th International Conference on Software Engineering and Knowledge
Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA,
USA, July 5-7, 2017},
pages = {295--300},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2017},
url = {https://doi.org/10.18293/SEKE2017-072},
doi = {10.18293/SEKE2017-072},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/XuLGDWL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuCZWD17,
author = {Hengbiao Yu and
Zhenbang Chen and
Yufeng Zhang and
Ji Wang and
Wei Dong},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {{RGSE:} a regular property guided symbolic executor for Java},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {954--958},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3122830},
doi = {10.1145/3106237.3122830},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YuCZWD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-08323,
author = {Liangze Yin and
Wei Dong and
Wanwei Liu and
Ji Wang},
title = {Scheduling Constraint Based Abstraction Refinement for Multi-Threaded
Program Verification},
journal = {CoRR},
volume = {abs/1708.08323},
year = {2017},
url = {http://arxiv.org/abs/1708.08323},
eprinttype = {arXiv},
eprint = {1708.08323},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-08323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/WuCMDW16,
author = {Xueguang Wu and
Liqian Chen and
Antoine Min{\'{e}} and
Wei Dong and
Ji Wang},
title = {Static Analysis of Runtime Errors in Interrupt-Driven Programs via
Sequentialization},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {4},
pages = {70:1--70:26},
year = {2016},
url = {https://doi.org/10.1145/2914789},
doi = {10.1145/2914789},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/WuCMDW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZhouLLDLX16,
author = {Shulin Zhou and
Xiaodong Liu and
Shanshan Li and
Wei Dong and
Xiangke Liao and
Yun Xiong},
title = {ConfMapper: Automated Variable Finding for Configuration Items in
Source Code},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3,
2016},
pages = {228--235},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS-C.2016.35},
doi = {10.1109/QRS-C.2016.35},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/ZhouLLDLX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/JiangCWDW16,
author = {Jiahong Jiang and
Liqian Chen and
Yanjun Wen and
Wei Dong and
Ling Wen},
title = {Analyzing Math Library Functions via Summarization},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3,
2016},
pages = {259--264},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS-C.2016.39},
doi = {10.1109/QRS-C.2016.39},
timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/JiangCWDW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FuCZHDW15,
author = {Xianjin Fu and
Zhenbang Chen and
Yufeng Zhang and
Chun Huang and
Wei Dong and
Ji Wang},
title = {{MPISE:} Symbolic Execution of {MPI} Programs},
booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
pages = {181--188},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HASE.2015.35},
doi = {10.1109/HASE.2015.35},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/FuCZHDW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangCWD015,
author = {Yufeng Zhang and
Zhenbang Chen and
Ji Wang and
Wei Dong and
Zhiming Liu},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Regular Property Guided Dynamic Symbolic Execution},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {643--653},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.80},
doi = {10.1109/ICSE.2015.80},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhangCWD015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FuCYHDW15,
author = {Xianjin Fu and
Zhenbang Chen and
Hengbiao Yu and
Chun Huang and
Wei Dong and
Ji Wang},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Poster: Symbolic Execution of {MPI} Programs},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {809--810},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.259},
doi = {10.1109/ICSE.2015.259},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FuCYHDW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jam/LiuWFWDM14,
author = {Wanwei Liu and
Rui Wang and
Xianjin Fu and
Ji Wang and
Wei Dong and
Xiaoguang Mao},
title = {Counterexample-Preserving Reduction for Symbolic Model Checking},
journal = {J. Appl. Math.},
volume = {2014},
pages = {702165:1--702165:13},
year = {2014},
url = {https://doi.org/10.1155/2014/702165},
doi = {10.1155/2014/702165},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jam/LiuWFWDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jam/ChenJYDW14,
author = {Liqian Chen and
Jiahong Jiang and
Banghu Yin and
Wei Dong and
Ji Wang},
title = {Robustness Analysis of Floating-Point Programs by Self-Composition},
journal = {J. Appl. Math.},
volume = {2014},
pages = {789213:1--789213:12},
year = {2014},
url = {https://doi.org/10.1155/2014/789213},
doi = {10.1155/2014/789213},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jam/ChenJYDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/FuCHDW14,
author = {Xianjin Fu and
Zhenbang Chen and
Chun Huang and
Wei Dong and
Ji Wang},
editor = {Sungdeok (Steve) Cha and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Gihwon Kwon},
title = {Synchronization Error Detection of {MPI} Programs by Symbolic Execution},
booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
South Korea, December 1-4, 2014. Volume 1: Research Papers},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/APSEC.2014.28},
doi = {10.1109/APSEC.2014.28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/FuCHDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhouCWZD14,
author = {Jingwen Zhou and
Zhenbang Chen and
Ji Wang and
Zibin Zheng and
Wei Dong},
title = {A Runtime Verification Based Trace-Oriented Monitoring Framework for
Cloud Systems},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {152--155},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.84},
doi = {10.1109/ISSREW.2014.84},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ZhouCWZD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/YuCD14,
author = {Kang Yu and
Zhenbang Chen and
Wei Dong},
title = {A Predictive Runtime Verification Framework for Cyber-Physical Systems},
booktitle = {{IEEE} Eighth International Conference on Software Security and Reliability,
{SERE} 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion
Volume},
pages = {223--227},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SERE-C.2014.43},
doi = {10.1109/SERE-C.2014.43},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/YuCD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LiuWFWDM13,
author = {Wanwei Liu and
Rui Wang and
Xianjin Fu and
Ji Wang and
Wei Dong and
Xiaoguang Mao},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Counterexample-Preserving Reduction for Symbolic Model Checking},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {249--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_15},
doi = {10.1007/978-3-642-39718-9\_15},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/LiuWFWDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/WuWCDW13,
author = {Xueguang Wu and
Yanjun Wen and
Liqian Chen and
Wei Dong and
Ji Wang},
title = {Data Race Detection for Interrupt-Driven Programs via Bounded Model
Checking},
booktitle = {Seventh International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion
Volume},
pages = {204--210},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SERE-C.2013.33},
doi = {10.1109/SERE-C.2013.33},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/WuWCDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3299,
author = {Wanwei Liu and
Rui Wang and
Xianjin Fu and
Ji Wang and
Wei Dong and
Xiaoguang Mao},
title = {Counterexample-Preserving Reduction for Symbolic Model Checking},
journal = {CoRR},
volume = {abs/1301.3299},
year = {2013},
url = {http://arxiv.org/abs/1301.3299},
eprinttype = {arXiv},
eprint = {1301.3299},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-3299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/DongZSL12,
author = {Wei Dong and
Changzhi Zhao and
Shaoxian Shu and
Martin Leucker},
title = {Anticipatory active monitoring for safety- and security-critical software},
journal = {Sci. China Inf. Sci.},
volume = {55},
number = {12},
pages = {2723--2737},
year = {2012},
url = {https://doi.org/10.1007/s11432-012-4739-8},
doi = {10.1007/S11432-012-4739-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/DongZSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ZhangLD12,
author = {Xian Zhang and
Martin Leucker and
Wei Dong},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Runtime Verification with Predictive Semantics},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {418--432},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_37},
doi = {10.1007/978-3-642-28891-3\_37},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ZhangLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/DongDC12,
author = {Longming Dong and
Wei Dong and
Liqian Chen},
title = {Invalid Pointer Dereferences Detection for {CPS} Software Based on
Extended Pointer Structures},
booktitle = {Sixth International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion
Volume},
pages = {144--151},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SERE-C.2012.30},
doi = {10.1109/SERE-C.2012.30},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/DongDC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/ZhangLD11,
author = {Xian Zhang and
Martin Leucker and
Wei Dong},
title = {An event pattern language for runtime monitoring based on {AOP}},
booktitle = {6th International Conference for Internet Technology and Secured Transactions,
{ICITST} 2011, Abu Dhabi, UAE, December 11-14, 2011},
pages = {744--751},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6148431/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icitst/ZhangLD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhaoDLQ11,
author = {Changzhi Zhao and
Wei Dong and
Martin Leucker and
Zhichang Qi},
title = {Security Goals Assurance Based on Software Active Monitoring},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI.2011.34},
doi = {10.1109/SSIRI.2011.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/ZhaoDLQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/ZhaoDQ10,
author = {Changzhi Zhao and
Wei Dong and
Zhichang Qi},
editor = {Ji Wang and
W. K. Chan and
Fei{-}Ching Kuo},
title = {Active Monitoring for Control Systems under Anticipatory Semantics},
booktitle = {Proceedings of the 10th International Conference on Quality Software,
{QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
pages = {318--325},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QSIC.2010.82},
doi = {10.1109/QSIC.2010.82},
timestamp = {Mon, 19 Aug 2024 08:29:06 +0200},
biburl = {https://dblp.org/rec/conf/qsic/ZhaoDQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/WangMDXL09,
author = {Ji Wang and
Xiaodong Ma and
Wei Dong and
Hou{-}Feng Xu and
Wanwei Liu},
title = {Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive
Pointer Analysis},
journal = {J. Comput. Sci. Technol.},
volume = {24},
number = {2},
pages = {347--356},
year = {2009},
url = {https://doi.org/10.1007/s11390-009-9229-0},
doi = {10.1007/S11390-009-9229-0},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/WangMDXL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DongLS08,
author = {Wei Dong and
Martin Leucker and
Christian Schallhart},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Impartial Anticipation in Runtime-Verification},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {386--396},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_33},
doi = {10.1007/978-3-540-88387-6\_33},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/DongLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DongWZZT08,
author = {Wei Dong and
Ji Wang and
Changzhi Zhao and
Xian Zhang and
Jie Tian},
title = {Automating Software {FMEA} via Formal Analysis of Dependence Relations},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {490--491},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.71},
doi = {10.1109/COMPSAC.2008.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/DongWZZT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycs/YeWDQ08,
author = {Junmin Ye and
Junjie Wang and
Wei Dong and
Zhichang Qi},
title = {Implementation of String Recognition Algorithm Based on the Principle
of Artificial Immunology},
booktitle = {Proceedings of the 9th International Conference for Young Computer
Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
2008},
pages = {1777--1782},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICYCS.2008.200},
doi = {10.1109/ICYCS.2008.200},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icycs/YeWDQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycs/YeZZDQ08,
author = {Junmin Ye and
Zemei Zhan and
Zhenfang Zhang and
Wei Dong and
Zhichang Qi},
title = {Design of Some Artificial Immune Operators in Software Test Cases
Generation},
booktitle = {Proceedings of the 9th International Conference for Young Computer
Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
2008},
pages = {2302--2307},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICYCS.2008.293},
doi = {10.1109/ICYCS.2008.293},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icycs/YeZZDQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycs/YeDQ08,
author = {Junmin Ye and
Wei Dong and
Zhichang Qi},
title = {A Method to Generate Embedded Real-Time System Test Suites Based on
Software Architecture Specifications},
booktitle = {Proceedings of the 9th International Conference for Young Computer
Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
2008},
pages = {2325--2329},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICYCS.2008.291},
doi = {10.1109/ICYCS.2008.291},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icycs/YeDQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MaWD08,
author = {Xiaodong Ma and
Ji Wang and
Wei Dong},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Computing Must and May Alias to Detect Null Pointer Dereference},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {252--261},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_18},
doi = {10.1007/978-3-540-88479-8\_18},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MaWD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/ChenWDQ07,
author = {Zhenbang Chen and
Ji Wang and
Wei Dong and
Zhichang Qi},
title = {Interface theory-based formalisation and verification of orchestration
in {BPEL4WS}},
journal = {Int. J. Bus. Process. Integr. Manag.},
volume = {2},
number = {4},
pages = {262--281},
year = {2007},
url = {https://doi.org/10.1504/IJBPIM.2007.017752},
doi = {10.1504/IJBPIM.2007.017752},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbpim/ChenWDQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/YeungLWD07,
author = {Wing Lok Yeung and
Karl R. P. H. Leung and
Ji Wang and
Wei Dong},
title = {Modelling and model checking suspendible business processes via statechart
diagrams and {CSP}},
journal = {Sci. Comput. Program.},
volume = {65},
number = {1},
pages = {14--29},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.08.007},
doi = {10.1016/J.SCICO.2006.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/YeungLWD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/DongWQR07,
author = {Wei Dong and
Ji Wang and
Zhichang Qi and
Ni Rong},
title = {Compositional Verification of {UML} Dynamic Models},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {286--293},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.33},
doi = {10.1109/APSEC.2007.33},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/DongWQR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LiuWDC07,
author = {Wanwei Liu and
Ji Wang and
Wei Dong and
Huowang Chen},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Axiomatizing Extended Temporal Logic Fragments Via Instantiation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {322--336},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_22},
doi = {10.1007/978-3-540-75292-9\_22},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/LiuWDC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaWD08,
author = {Xiaodong Ma and
Ji Wang and
Wei Dong},
editor = {Geguang Pu and
Volker Stolz},
title = {Shape Analysis by Refining on Abstract Evaluation Path},
booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2007, Macau, September 22-23,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {207},
pages = {137--151},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.090},
doi = {10.1016/J.ENTCS.2008.03.090},
timestamp = {Mon, 13 Feb 2023 14:02:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaWD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcrd/JiWLDQ06,
author = {Mengluo Ji and
Huaimin Wang and
Mengjun Li and
Wei Dong and
Zhichang Qi},
title = {An Value Range Analysis Based on Abstract Interpretation and Generalized
Monotone Data Flow Framework},
journal = {J. Comput. Res. Dev.},
volume = {43},
number = {11},
pages = {2020--2026},
year = {2006},
url = {http://WWW.CQVIP.COM/QK/94913X/200611/23242956.html},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcrd/JiWLDQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenWDQY06,
author = {Zhenbang Chen and
Ji Wang and
Wei Dong and
Zhichang Qi and
Wing Lok Yeung},
title = {An Interface Theory Based Approach to Verification of Web Services},
booktitle = {30th Annual International Computer Software and Applications Conference,
{COMPSAC} 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume
2},
pages = {139--144},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/COMPSAC.2006.112},
doi = {10.1109/COMPSAC.2006.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChenWDQY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scw/YeungWD06,
author = {Wing Lok Yeung and
Ji Wang and
Wei Dong},
title = {Verifying Choreographic Descriptions of Web Services Based on {CSP}},
booktitle = {Proceedings of the 2006 {IEEE} Services Computing Workshops {(SCW}
2006), 18-22 September 2006, Chicago, Illinois, {USA}},
pages = {97--104},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SCW.2006.41},
doi = {10.1109/SCW.2006.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scw/YeungWD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sitis/ChenWDQ06,
author = {Zhenbang Chen and
Ji Wang and
Wei Dong and
Zhichang Qi},
editor = {Ernesto Damiani and
Kokou Y{\'{e}}tongnon and
Richard Chbeir and
Albert Dipanda},
title = {Towards Formal Interfaces for Web Services with Transactions},
booktitle = {Advanced Internet Based Systems and Applications, Second International
Conference on Signal-Image Technology and Internet-Based Systems,
{SITIS} 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4879},
pages = {292--304},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-642-01350-8\_27},
doi = {10.1007/978-3-642-01350-8\_27},
timestamp = {Wed, 25 Sep 2019 18:13:00 +0200},
biburl = {https://dblp.org/rec/conf/sitis/ChenWDQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YeungLWD06,
author = {Wing Lok Yeung and
Karl R. P. H. Leung and
Ji Wang and
Wei Dong},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Model Checking Suspendible Business Processes via Statechart Diagrams
and {CSP}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {97--107},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YeungLWD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DongCW07,
author = {Wei Dong and
Zhenbang Chen and
Ji Wang},
editor = {Juliana K{\"{u}}ster Filipe Bowles and
Iman Poernomo and
Ralf H. Reussner},
title = {A Contract-based Approach to Specifying and Verifying Safety Critical
Systems},
booktitle = {Proceedings of the Workshop on Formal Foundations of Embedded Software
and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna,
Austria, March 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {2},
pages = {89--103},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.02.033},
doi = {10.1016/J.ENTCS.2006.02.033},
timestamp = {Tue, 31 Jan 2023 11:16:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DongCW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/YeungLWD05,
author = {Wing Lok Yeung and
Karl R. P. H. Leung and
Ji Wang and
Wei Dong},
title = {Improvements Towards Formalizing {UML} State Diagrams in {CSP}},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {176--184},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.70},
doi = {10.1109/APSEC.2005.70},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/YeungLWD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DongW05,
author = {Wei Dong and
Ji Wang},
title = {Contract-Based Formal Specification of Safety Critical Systems},
booktitle = {29th Annual International Computer Software and Applications Conference,
{COMPSAC} 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume
2},
pages = {7--8},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/COMPSAC.2005.65},
doi = {10.1109/COMPSAC.2005.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/DongW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiWDQ04,
author = {Shuhao Li and
Ji Wang and
Wei Dong and
Zhichang Qi},
title = {Property-Oriented Testing of Real-Time Systems},
booktitle = {11th Asia-Pacific Software Engineering Conference {(APSEC} 2004),
30 November - 3 December 2004, Busan, Korea},
pages = {358--365},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/APSEC.2004.78},
doi = {10.1109/APSEC.2004.78},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LiWDQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangDQ02,
author = {Ji Wang and
Wei Dong and
Zhichang Qi},
editor = {Chris George and
Huaikou Miao},
title = {Slicing Hierarchical Automata for Model Checking {UML} Statecharts},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {435--446},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_45},
doi = {10.1007/3-540-36103-0\_45},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WangDQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/DongWQQ01,
author = {Wei Dong and
Ji Wang and
Xuan Qi and
Zhichang Qi},
title = {Model Checking {UML} Statecharts},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {363--370},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991503},
doi = {10.1109/APSEC.2001.991503},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/DongWQQ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2025-08-23 22:25 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:
