Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Xuandong Li
@article{DBLP:journals/ase/ShenLLPL24, author = {Jian Shen and Zhong Li and Yifei Lu and Minxue Pan and Xuandong Li}, title = {Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks}, journal = {Autom. Softw. Eng.}, volume = {31}, number = {1}, pages = {33}, year = {2024}, url = {https://doi.org/10.1007/s10515-024-00435-y}, doi = {10.1007/S10515-024-00435-Y}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ase/ShenLLPL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/LiPPZWL24, author = {Zhong Li and Minxue Pan and Yu Pei and Tian Zhang and Linzhang Wang and Xuandong Li}, title = {Empirically revisiting and enhancing automatic classification of bug and non-bug issues}, journal = {Frontiers Comput. Sci.}, volume = {18}, number = {5}, pages = {185207}, year = {2024}, url = {https://doi.org/10.1007/s11704-023-2771-z}, doi = {10.1007/S11704-023-2771-Z}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fcsc/LiPPZWL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ZhuLPSZPL24, author = {Tingwei Zhu and Zhong Li and Minxue Pan and Chaoxuan Shi and Tian Zhang and Yu Pei and Xuandong Li}, title = {Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {33}, number = {3}, pages = {67:1--67:37}, year = {2024}, url = {https://doi.org/10.1145/3631975}, doi = {10.1145/3631975}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/ZhuLPSZPL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LanLLP00L24, author = {Yuanhong Lan and Yifei Lu and Zhong Li and Minxue Pan and Wenhua Yang and Tian Zhang and Xuandong Li}, title = {Deeply Reinforcing Android {GUI} Testing with Deep Reinforcement Learning}, booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024}, pages = {71:1--71:13}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3597503.3623344}, doi = {10.1145/3597503.3623344}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/LanLLP00L24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-17241, author = {Yiyu Zhang and Tianyi Liu and Yueyang Wang and Yun Qi and Kai Ji and Jian Tang and Xiaoliang Wang and Xuandong Li and Zhiqiang Zuo}, title = {HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing}, journal = {CoRR}, volume = {abs/2402.17241}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.17241}, doi = {10.48550/ARXIV.2402.17241}, eprinttype = {arXiv}, eprint = {2402.17241}, timestamp = {Mon, 25 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-17241.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iotj/SituZGZWLLS23, author = {Lingyun Situ and Chi Zhang and Le Guan and Zhiqiang Zuo and Linzhang Wang and Xuandong Li and Peng Liu and Jin Shi}, title = {Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware}, journal = {{IEEE} Internet Things J.}, volume = {10}, number = {23}, pages = {20718--20734}, year = {2023}, url = {https://doi.org/10.1109/JIOT.2023.3303780}, doi = {10.1109/JIOT.2023.3303780}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iotj/SituZGZWLLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/PanLPZL23, author = {Minxue Pan and Yifei Lu and Yu Pei and Tian Zhang and Xuandong Li}, title = {Preference-wise Testing of Android Apps via Test Amplification}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {32}, number = {1}, pages = {4:1--4:37}, year = {2023}, url = {https://doi.org/10.1145/3511804}, doi = {10.1145/3511804}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/PanLPZL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ZhuLPS00L23, author = {Tingwei Zhu and Zhong Li and Minxue Pan and Chaoxuan Shi and Tian Zhang and Yu Pei and Xuandong Li}, title = {Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization}, booktitle = {45th {IEEE/ACM} International Conference on Software Engineering: {ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20, 2023}, pages = {328--329}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICSE-Companion58688.2023.00091}, doi = {10.1109/ICSE-COMPANION58688.2023.00091}, timestamp = {Tue, 18 Jul 2023 09:25:31 +0200}, biburl = {https://dblp.org/rec/conf/icse/ZhuLPS00L23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/BuZLDBCL23, author = {Lei Bu and Qiuping Zhang and Suwan Li and Jinglin Dai and Guangdong Bai and Kai Chen and Xuandong Li}, editor = {Ren{\'{e}} Just and Gordon Fraser}, title = {Security Checking of Trigger-Action-Programming Smart Home Integrations}, booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023}, pages = {639--651}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597926.3598084}, doi = {10.1145/3597926.3598084}, timestamp = {Mon, 13 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/BuZLDBCL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/ZhangLSCL023, author = {Yiyu Zhang and Tianyi Liu and Zewen Sun and Zhe Chen and Xuandong Li and Zhiqiang Zuo}, editor = {Ren{\'{e}} Just and Gordon Fraser}, title = {Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration}, booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023}, pages = {816--828}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597926.3598098}, doi = {10.1145/3597926.3598098}, timestamp = {Wed, 28 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/ZhangLSCL023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/SunXZQW0W0LLPG23, author = {Zewen Sun and Duanchen Xu and Yiyu Zhang and Yun Qi and Yueyang Wang and Zhiqiang Zuo and Zhaokang Wang and Yue Li and Xuandong Li and Qingda Lu and Wenwen Peng and Shengjian Guo}, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {BigDataflow: {A} Distributed Interprocedural Dataflow Analysis Framework}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {1431--1443}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643.3616348}, doi = {10.1145/3611643.3616348}, timestamp = {Mon, 04 Dec 2023 11:02:39 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/SunXZQW0W0LLPG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/internetware/2023, editor = {Hong Mei and Jian Lv and Zhi Jin and Xuandong Li and Xiaohu Yang and Xin Xia}, title = {Proceedings of the 14th Asia-Pacific Symposium on Internetware, Internetware 2023, Hangzhou, China, August 4-6, 2023}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3609437}, doi = {10.1145/3609437}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-17869, author = {Yu Wang and Fengjuan Gao and Linzhang Wang and Tingting Yu and Ke Wang and Jianhua Zhao and Xuandong Li}, title = {Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software}, journal = {CoRR}, volume = {abs/2305.17869}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.17869}, doi = {10.48550/ARXIV.2305.17869}, eprinttype = {arXiv}, eprint = {2305.17869}, timestamp = {Mon, 14 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-17869.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/connection/ZhaoZL22, author = {Qingye Zhao and Yi Zhang and Xuandong Li}, title = {Safe reinforcement learning for dynamical systems using barrier certificates}, journal = {Connect. Sci.}, volume = {34}, number = {1}, pages = {2822--2844}, year = {2022}, url = {https://doi.org/10.1080/09540091.2022.2151567}, doi = {10.1080/09540091.2022.2151567}, timestamp = {Sat, 13 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/connection/ZhaoZL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/LuPZL22, author = {Longlong Lu and Minxue Pan and Tian Zhang and Xuandong Li}, title = {Improving timing analysis effectiveness for scenario-based specifications by combining {SAT} and {LP} techniques}, journal = {Softw. Syst. Model.}, volume = {21}, number = {4}, pages = {1321--1338}, year = {2022}, url = {https://doi.org/10.1007/s10270-022-00980-8}, doi = {10.1007/S10270-022-00980-8}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/LuPZL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/WangBXL22, author = {Jiawan Wang and Lei Bu and Shaopeng Xing and Xuandong Li}, title = {{PDF:} Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic {CPS}}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {41}, number = {2}, pages = {238--251}, year = {2022}, url = {https://doi.org/10.1109/TCAD.2021.3056360}, doi = {10.1109/TCAD.2021.3056360}, timestamp = {Tue, 08 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/WangBXL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WangGWYZL22, author = {Yu Wang and Fengjuan Gao and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li}, title = {Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software}, journal = {{IEEE} Trans. Software Eng.}, volume = {48}, number = {2}, pages = {346--363}, year = {2022}, url = {https://doi.org/10.1109/TSE.2020.2989171}, doi = {10.1109/TSE.2020.2989171}, timestamp = {Fri, 01 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WangGWYZL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/PanXPLZL22, author = {Minxue Pan and Tongtong Xu and Yu Pei and Zhong Li and Tian Zhang and Xuandong Li}, title = {GUI-Guided Test Script Repair for Mobile Apps}, journal = {{IEEE} Trans. Software Eng.}, volume = {48}, number = {3}, pages = {910--929}, year = {2022}, url = {https://doi.org/10.1109/TSE.2020.3007664}, doi = {10.1109/TSE.2020.3007664}, timestamp = {Fri, 01 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/PanXPLZL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Zhao0ZZTL22, author = {Qingye Zhao and Xin Chen and Zhuoyu Zhao and Yifan Zhang and Enyi Tang and Xuandong Li}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Verifying Neural Network Controlled Systems Using Neural Networks}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {3:1--3:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519511}, doi = {10.1145/3501710.3519511}, timestamp = {Thu, 07 Jul 2022 07:10:17 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Zhao0ZZTL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/ZhaoCZTL22, author = {Qingye Zhao and Xin Chen and Zhuoyu Zhao and Enyi Tang and Xuandong Li}, title = {Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks}, booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing, {ICASSP} 2022, Virtual and Singapore, 23-27 May 2022}, pages = {2734--2738}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICASSP43922.2022.9747294}, doi = {10.1109/ICASSP43922.2022.9747294}, timestamp = {Tue, 07 Jun 2022 17:34:47 +0200}, biburl = {https://dblp.org/rec/conf/icassp/ZhaoCZTL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/JiangCPPZL22, author = {Renhe Jiang and Zhengzhao Chen and Yu Pei and Minxue Pan and Tian Zhang and Xuandong Li}, title = {Documentation-based functional constraint generation for library methods}, booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2022, Valencia, Spain, April 4-14, 2022}, pages = {463}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICST53961.2022.00056}, doi = {10.1109/ICST53961.2022.00056}, timestamp = {Mon, 13 Jun 2022 16:53:36 +0200}, biburl = {https://dblp.org/rec/conf/icst/JiangCPPZL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/LiZPZPL22, author = {Guiyin Li and Fengyi Zhu and Jun Pang and Tian Zhang and Minxue Pan and Xuandong Li}, title = {Functional Scenario Classification for Android Applications using GNNs}, booktitle = {Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11 - 12, 2022}, pages = {1--9}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3545258.3545270}, doi = {10.1145/3545258.3545270}, timestamp = {Thu, 29 Sep 2022 21:52:17 +0200}, biburl = {https://dblp.org/rec/conf/internetware/LiZPZPL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/LiTCWL22, author = {Zhengmin Li and Enyi Tang and Xin Chen and Linzhang Wang and Xuandong Li}, title = {Graph Neural Network based Two-Phase Fault Localization Approach}, booktitle = {Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11 - 12, 2022}, pages = {85--95}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3545258.3545266}, doi = {10.1145/3545258.3545266}, timestamp = {Thu, 29 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/LiTCWL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/LiPPZWL22, author = {Zhong Li and Minxue Pan and Yu Pei and Tian Zhang and Linzhang Wang and Xuandong Li}, title = {DeepLabel: Automated Issue Classification for Issue Tracking Systems}, booktitle = {Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11 - 12, 2022}, pages = {231--241}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3545258.3545276}, doi = {10.1145/3545258.3545276}, timestamp = {Thu, 29 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/LiPPZWL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/LuP0L22, author = {Yifei Lu and Minxue Pan and Yu Pei and Xuandong Li}, editor = {Sukyoung Ryu and Yannis Smaragdakis}, title = {Detecting resource utilization bugs induced by variant lifecycles in Android}, booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022}, pages = {642--653}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3533767.3534413}, doi = {10.1145/3533767.3534413}, timestamp = {Tue, 26 Jul 2022 16:24:43 +0200}, biburl = {https://dblp.org/rec/conf/issta/LuP0L22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiP00WL22, author = {Zhong Li and Minxue Pan and Yu Pei and Tian Zhang and Linzhang Wang and Xuandong Li}, title = {Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets}, booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2022, Rochester, MI, USA, October 10-14, 2022}, pages = {86:1--86:13}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3551349.3556941}, doi = {10.1145/3551349.3556941}, timestamp = {Thu, 19 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiP00WL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BuXLLGZL22, author = {Lei Bu and Zhunyi Xie and Lecheng Lyu and Yichao Li and Xiao Guo and Jianhua Zhao and Xuandong Li}, editor = {Dana Fisman and Grigore Rosu}, title = {{BRICK:} Path Enumeration Based Bounded Reachability Checking of {C} Program (Competition Contribution)}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13244}, pages = {408--412}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99527-0\_22}, doi = {10.1007/978-3-030-99527-0\_22}, timestamp = {Fri, 29 Apr 2022 14:50:32 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BuXLLGZL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/WuBWRXL22, author = {Yuming Wu and Lei Bu and Jiawan Wang and Xinyue Ren and Wen Xiong and Xuandong Li}, editor = {Bernd Finkbeiner and Thomas Wies}, title = {Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13182}, pages = {473--495}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-94583-1\_23}, doi = {10.1007/978-3-030-94583-1\_23}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/WuBWRXL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BuLXQHYCL21, author = {Lei Bu and Yongjuan Liang and Zhunyi Xie and Hong Qian and Yi{-}Qi Hu and Yang Yu and Xin Chen and Xuandong Li}, title = {Machine learning steered symbolic execution framework for complex software code}, journal = {Formal Aspects Comput.}, volume = {33}, number = {3}, pages = {301--323}, year = {2021}, url = {https://doi.org/10.1007/s00165-021-00538-3}, doi = {10.1007/S00165-021-00538-3}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BuLXQHYCL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsi/GaoWCSWL21, author = {Fengjuan Gao and Yu Wang and Tianjiao Chen and Lingyun Situ and Linzhang Wang and Xuandong Li}, title = {Static Checking of Array Index Out-of-Bounds Defects in {C} Programs Based on Taint Analysis}, journal = {Int. J. Softw. Informatics}, volume = {11}, number = {2}, pages = {121--147}, year = {2021}, url = {https://doi.org/10.21655/ijsi.1673-7288.00246}, doi = {10.21655/IJSI.1673-7288.00246}, timestamp = {Mon, 14 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsi/GaoWCSWL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/SituZGWLSL21, author = {Lingyun Situ and Zhiqiang Zuo and Le Guan and Linzhang Wang and Xuandong Li and Jin Shi and Peng Liu}, title = {Vulnerable Region-Aware Greybox Fuzzing}, journal = {J. Comput. Sci. Technol.}, volume = {36}, number = {5}, pages = {1212--1228}, year = {2021}, url = {https://doi.org/10.1007/s11390-021-1196-0}, doi = {10.1007/S11390-021-1196-0}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/SituZGWLSL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/JiangCPPZL21, author = {Renhe Jiang and Zhengzhao Chen and Yu Pei and Minxue Pan and Tian Zhang and Xuandong Li}, title = {Documentation-based functional constraint generation for library methods}, journal = {Softw. Test. Verification Reliab.}, volume = {31}, number = {8}, year = {2021}, url = {https://doi.org/10.1002/stvr.1785}, doi = {10.1002/STVR.1785}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/stvr/JiangCPPZL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tpds/GuZJYWWLH21, author = {Rong Gu and Zhiqiang Zuo and Xi Jiang and Han Yin and Zhaokang Wang and Linzhang Wang and Xuandong Li and Yihua Huang}, title = {Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation}, journal = {{IEEE} Trans. Parallel Distributed Syst.}, volume = {32}, number = {4}, pages = {867--883}, year = {2021}, url = {https://doi.org/10.1109/TPDS.2020.3036190}, doi = {10.1109/TPDS.2020.3036190}, timestamp = {Wed, 23 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tpds/GuZJYWWLH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/ShaCJZYLTCL21, author = {Meng Sha and Xin Chen and Yuzhe Ji and Qingye Zhao and Zhengfeng Yang and Wang Lin and Enyi Tang and Qiguang Chen and Xuandong Li}, title = {Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations}, booktitle = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco, CA, USA, December 5-9, 2021}, pages = {631--636}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/DAC18074.2021.9586327}, doi = {10.1109/DAC18074.2021.9586327}, timestamp = {Thu, 02 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/ShaCJZYLTCL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/WangBXWL21, author = {Jiawan Wang and Lei Bu and Shaopeng Xing and Yuming Wu and Xuandong Li}, editor = {Marieke Huisman and Corina S. Pasareanu and Naijun Zhan}, title = {Combined Online Checking and Control Synthesis: {A} Study on a Vehicle Platoon Testbed}, booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual Event, November 20-26, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13047}, pages = {752--762}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-90870-6\_43}, doi = {10.1007/978-3-030-90870-6\_43}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/WangBXWL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/XingWBCL21, author = {Shaopeng Xing and Jiawan Wang and Lei Bu and Xin Chen and Xuandong Li}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Approximate optimal hybrid control synthesis by classification-based derivative-free optimization}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {7:1--7:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456658}, doi = {10.1145/3447928.3456658}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/XingWBCL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ZhaoC0SYLTCL21, author = {Qingye Zhao and Xin Chen and Yifan Zhang and Meng Sha and Zhengfeng Yang and Wang Lin and Enyi Tang and Qiguang Chen and Xuandong Li}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {17:1--17:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456638}, doi = {10.1145/3447928.3456638}, timestamp = {Thu, 02 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ZhaoC0SYLTCL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/LiPZL21, author = {Zhong Li and Minxue Pan and Tian Zhang and Xuandong Li}, editor = {Marina Meila and Tong Zhang}, title = {Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions}, booktitle = {Proceedings of the 38th International Conference on Machine Learning, {ICML} 2021, 18-24 July 2021, Virtual Event}, series = {Proceedings of Machine Learning Research}, volume = {139}, pages = {6471--6482}, publisher = {{PMLR}}, year = {2021}, url = {http://proceedings.mlr.press/v139/li21r.html}, timestamp = {Thu, 29 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icml/LiPZL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/XuP0LZZDL21, author = {Tongtong Xu and Minxue Pan and Yu Pei and Guiyin Li and Xia Zeng and Tian Zhang and Yuetang Deng and Xuandong Li}, editor = {Cristian Cadar and Xiangyu Zhang}, title = {{GUIDER:} {GUI} structure and vision co-guided test script repair for Android apps}, booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021}, pages = {191--203}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460319.3464830}, doi = {10.1145/3460319.3464830}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/XuP0LZZDL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/0002ZPLLWLX21, author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu}, editor = {Stephen N. Freund and Eran Yahav}, title = {Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of {C} code}, booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021}, pages = {914--929}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3453483.3454085}, doi = {10.1145/3453483.3454085}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/0002ZPLLWLX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/0002JWTWLX21, author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu}, editor = {Stephen N. Freund and Eran Yahav}, title = {JPortal: precise and efficient control-flow tracing for {JVM} programs with Intel processor trace}, booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021}, pages = {1080--1094}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3453483.3454096}, doi = {10.1145/3453483.3454096}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/0002JWTWLX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/issre/2021, editor = {Zhi Jin and Xuandong Li and Jianwen Xiang and Leonardo Mariani and Ting Liu and Xiao Yu and Nahgmeh Ivaki}, title = {32nd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2021, Wuhan, China, October 25-28, 2021}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ISSRE52982.2021}, doi = {10.1109/ISSRE52982.2021}, isbn = {978-1-6654-2587-2}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/XieJLHMPZ20, author = {Tao Xie and Zhi Jin and Xuandong Li and Gang Huang and Hausi A. M{\"{u}}ller and Jun Pang and Li{-}Jun Zhang}, title = {Preface}, journal = {J. Comput. Sci. Technol.}, volume = {35}, number = {6}, pages = {1231--1233}, year = {2020}, url = {https://doi.org/10.1007/s11390-020-0006-4}, doi = {10.1007/S11390-020-0006-4}, timestamp = {Fri, 05 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/XieJLHMPZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/GaoWWYL20, author = {Fengjuan Gao and Yu Wang and Linzhang Wang and Zijiang Yang and Xuandong Li}, title = {Automatic Buffer Overflow Warning Validation}, journal = {J. Comput. Sci. Technol.}, volume = {35}, number = {6}, pages = {1406--1427}, year = {2020}, url = {https://doi.org/10.1007/s11390-020-0525-z}, doi = {10.1007/S11390-020-0525-Z}, timestamp = {Thu, 11 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/GaoWWYL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/PanLPZZL20, author = {Minxue Pan and Yifei Lu and Yu Pei and Tian Zhang and Juan Zhai and Xuandong Li}, title = {Effective testing of Android apps using extended {IFML} models}, journal = {J. Syst. Softw.}, volume = {159}, year = {2020}, url = {https://doi.org/10.1016/j.jss.2019.110433}, doi = {10.1016/J.JSS.2019.110433}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/PanLPZZL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/ChenJZPPZL20, author = {Zhengzhao Chen and Renhe Jiang and Zejun Zhang and Yu Pei and Minxue Pan and Tian Zhang and Xuandong Li}, title = {Enhancing example-based code search with functional semantics}, journal = {J. Syst. Softw.}, volume = {165}, pages = {110568}, year = {2020}, url = {https://doi.org/10.1016/j.jss.2020.110568}, doi = {10.1016/J.JSS.2020.110568}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/ChenJZPPZL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/BuWRXL20, author = {Lei Bu and Qixin Wang and Xinyue Ren and Shaopeng Xing and Xuandong Li}, title = {Scenario-Based Online Reachability Validation for {CPS} Fault Prediction}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {39}, number = {10}, pages = {2081--2094}, year = {2020}, url = {https://doi.org/10.1109/TCAD.2019.2935062}, doi = {10.1109/TCAD.2019.2935062}, timestamp = {Tue, 06 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/BuWRXL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocs/ZuoWHSZLDWLWX21, author = {Zhiqiang Zuo and Kai Wang and Aftab Hussain and Ardalan Amiri Sani and Yiyu Zhang and Shenming Lu and Wensheng Dou and Linzhang Wang and Xuandong Li and Chenxi Wang and Guoqing Harry Xu}, title = {Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan}, journal = {{ACM} Trans. Comput. Syst.}, volume = {38}, number = {1-2}, pages = {4:1--4:39}, year = {2020}, url = {https://doi.org/10.1145/3466820}, doi = {10.1145/3466820}, timestamp = {Fri, 18 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocs/ZuoWHSZLDWLWX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/0027PLYZL20, author = {Xin Chen and Chao Peng and Wang Lin and Zhengfeng Yang and Yifang Zhang and Xuandong Li}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {A Novel Approach for Solving the {BMI} Problem in Barrier Certificates Generation}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12224}, pages = {582--603}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53288-8\_29}, doi = {10.1007/978-3-030-53288-8\_29}, timestamp = {Wed, 12 Aug 2020 15:15:42 +0200}, biburl = {https://dblp.org/rec/conf/cav/0027PLYZL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/ZhangZBCWL20, author = {Shiyu Zhang and Juan Zhai and Lei Bu and Mingsong Chen and Linzhang Wang and Xuandong Li}, title = {Automated Generation of {LTL} Specifications For Smart Home IoT Using Natural Language}, booktitle = {2020 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020}, pages = {622--625}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.23919/DATE48585.2020.9116374}, doi = {10.23919/DATE48585.2020.9116374}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/ZhangZBCWL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/PanHWZL20, author = {Minxue Pan and An Huang and Guoxin Wang and Tian Zhang and Xuandong Li}, editor = {Sarfraz Khurshid and Corina S. Pasareanu}, title = {Reinforcement learning based curiosity-driven testing of Android applications}, booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020}, pages = {153--164}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3395363.3397354}, doi = {10.1145/3395363.3397354}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/PanHWZL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpc/ZhangP0ZL20, author = {Zejun Zhang and Minxue Pan and Tian Zhang and Xinyu Zhou and Xuandong Li}, title = {Deep-Diving into Documentation to Develop Improved Java-to-Swift {API} Mapping}, booktitle = {{ICPC} '20: 28th International Conference on Program Comprehension, Seoul, Republic of Korea, July 13-15, 2020}, pages = {106--116}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3387904.3389282}, doi = {10.1145/3387904.3389282}, timestamp = {Thu, 27 Jul 2023 16:07:53 +0200}, biburl = {https://dblp.org/rec/conf/iwpc/ZhangP0ZL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/SituWLML19, author = {Lingyun Situ and Linzhang Wang and Yang Liu and Bing Mao and Xuandong Li}, title = {Automatic Detection and Repair Recommendation for Missing Checks}, journal = {J. Comput. Sci. Technol.}, volume = {34}, number = {5}, pages = {972--992}, year = {2019}, url = {https://doi.org/10.1007/s11390-019-1955-3}, doi = {10.1007/S11390-019-1955-3}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/SituWLML19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsjkx/ChenJP0L19, author = {Zhengzhao Chen and Renhe Jiang and Minxue Pan and Tian Zhang and Xuandong Li}, title = {{\unicode{22522}}{\unicode{20110}}{\unicode{32422}}{\unicode{26463}}{\unicode{27714}}{\unicode{35299}}{\unicode{30340}}{\unicode{20195}}{\unicode{30721}}{\unicode{26597}}{\unicode{35810}}{\unicode{25216}}{\unicode{26415}}{\unicode{22312}}StackOverflow{\unicode{19978}}{\unicode{30340}}{\unicode{23454}}{\unicode{35777}}{\unicode{30740}}{\unicode{31350}} (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow)}, journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}}, volume = {46}, number = {11}, pages = {137--144}, year = {2019}, url = {https://doi.org/10.11896/jsjkx.191100501C}, doi = {10.11896/JSJKX.191100501C}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsjkx/ChenJP0L19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/BuXRYWL19, author = {Lei Bu and Shaopeng Xing and Xinyue Ren and Yang Yang and Qixin Wang and Xuandong Li}, editor = {J{\"{u}}rgen Teich and Franco Fummi}, title = {Incremental Online Verification of Dynamic Cyber-Physical Systems}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2019, Florence, Italy, March 25-29, 2019}, pages = {782--787}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/DATE.2019.8715003}, doi = {10.23919/DATE.2019.8715003}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/BuXRYWL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosys/0002TWPLWXWL19, author = {Zhiqiang Zuo and John Thorpe and Yifei Wang and Qiuhong Pan and Shenming Lu and Kai Wang and Guoqing Harry Xu and Linzhang Wang and Xuandong Li}, editor = {George Candea and Robbert van Renesse and Christof Fetzer}, title = {Grapple: {A} Graph System for Static Finite-State Property Checking of Large-Scale Systems Code}, booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019}, pages = {38:1--38:17}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3302424.3303972}, doi = {10.1145/3302424.3303972}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurosys/0002TWPLWXWL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/PanCP0L19, author = {Minxue Pan and Shouyu Chen and Yu Pei and Tian Zhang and Xuandong Li}, editor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle}, title = {Easy modelling and verification of unpredictable and preemptive interrupt-driven systems}, booktitle = {Proceedings of the 41st International Conference on Software Engineering, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {212--222}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICSE.2019.00037}, doi = {10.1109/ICSE.2019.00037}, timestamp = {Tue, 24 May 2022 15:28:49 +0200}, biburl = {https://dblp.org/rec/conf/icse/PanCP0L19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SituWLGZL19, author = {Lingyun Situ and Linzhang Wang and Xuandong Li and Le Guan and Wenhui Zhang and Peng Liu}, editor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle}, title = {Energy distribution matters in greybox fuzzing}, booktitle = {Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {270--271}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICSE-Companion.2019.00109}, doi = {10.1109/ICSE-COMPANION.2019.00109}, timestamp = {Tue, 24 May 2022 15:28:49 +0200}, biburl = {https://dblp.org/rec/conf/icse/SituWLGZL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/PanXPL0L19, author = {Minxue Pan and Tongtong Xu and Yu Pei and Zhong Li and Tian Zhang and Xuandong Li}, editor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle}, title = {GUI-guided repair of mobile test scripts}, booktitle = {Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {326--327}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICSE-Companion.2019.00137}, doi = {10.1109/ICSE-COMPANION.2019.00137}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/PanXPL0L19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WangWSTCS0WZL19, author = {Xie Wang and Huaijin Wang and Zhendong Su and Enyi Tang and Xin Chen and Weijun Shen and Zhenyu Chen and Linzhang Wang and Xianpei Zhang and Xuandong Li}, editor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle}, title = {Global optimization of numerical programs via prioritized stochastic algebraic transformations}, booktitle = {Proceedings of the 41st International Conference on Software Engineering, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {1131--1141}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICSE.2019.00116}, doi = {10.1109/ICSE.2019.00116}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/WangWSTCS0WZL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/0002GJWHWL19, author = {Zhiqiang Zuo and Rong Gu and Xi Jiang and Zhaokang Wang and Yihua Huang and Linzhang Wang and Xuandong Li}, title = {BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud}, booktitle = {2019 {IEEE} International Parallel and Distributed Processing Symposium, {IPDPS} 2019, Rio de Janeiro, Brazil, May 20-24, 2019}, pages = {771--780}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IPDPS.2019.00086}, doi = {10.1109/IPDPS.2019.00086}, timestamp = {Wed, 23 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/0002GJWHWL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setss/BuWWL19, author = {Lei Bu and Jiawan Wang and Yuming Wu and Xuandong Li}, editor = {Jonathan P. Bowen and Zhiming Liu and Zili Zhang}, title = {From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial {CPS} and IoT}, booktitle = {Engineering Trustworthy Software Systems - 5th International School, {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {12154}, pages = {10--43}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-55089-9\_2}, doi = {10.1007/978-3-030-55089-9\_2}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setss/BuWWL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/LuPZ0L19, author = {Yifei Lu and Minxue Pan and Juan Zhai and Tian Zhang and Xuandong Li}, editor = {Marlon Dumas and Dietmar Pfahl and Sven Apel and Alessandra Russo}, title = {Preference-wise testing for Android applications}, booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019}, pages = {268--278}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3338906.3338980}, doi = {10.1145/3338906.3338980}, timestamp = {Sat, 30 Sep 2023 09:56:36 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/LuPZ0L19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/ZhangPLL18, author = {Pengcheng Zhang and Patrizio Pelliccione and Hareton Leung and Xuandong Li}, title = {Automatic generation of predictive monitors from scenario-based specifications}, journal = {Inf. Softw. Technol.}, volume = {98}, pages = {5--31}, year = {2018}, url = {https://doi.org/10.1016/j.infsof.2018.01.014}, doi = {10.1016/J.INFSOF.2018.01.014}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/ZhangPLL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/BuZCWZL18, author = {Lei Bu and Tian Zhang and Xin Chen and Linzhang Wang and Jianhua Zhao and Xuandong Li}, title = {Model-based Construction and Verification of Cyber-Physical Systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {43}, number = {3}, pages = {6--10}, year = {2018}, url = {https://doi.org/10.1145/3229783.3229793}, doi = {10.1145/3229783.3229793}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/BuZCWZL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/ZhangYLZCL18, author = {Yifan Zhang and Zhengfeng Yang and Wang Lin and Huibiao Zhu and Xin Chen and Xuandong Li}, title = {Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {37}, number = {11}, pages = {2768--2778}, year = {2018}, url = {https://doi.org/10.1109/TCAD.2018.2858383}, doi = {10.1109/TCAD.2018.2858383}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/ZhangYLZCL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/BuXLHZLL18, author = {Lei Bu and Wen Xiong and Chieh{-}Jan Mike Liang and Shi Han and Dongmei Zhang and Shan Lin and Xuandong Li}, title = {Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {2}, number = {3}, pages = {22:1--22:23}, year = {2018}, url = {https://doi.org/10.1145/3185501}, doi = {10.1145/3185501}, timestamp = {Wed, 22 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcps/BuXLHZLL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/SituZWLML18, author = {Lingyun Situ and Liang Zou and Linzhang Wang and Yang Liu and Bing Mao and Xuandong Li}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {Detecting missing checks for identifying insufficient attack protections}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {238--239}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3183440.3194949}, doi = {10.1145/3183440.3194949}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/SituZWLML18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/JiLCPZ0YL18, author = {Ruihua Ji and Zhong Li and Shouyu Chen and Minxue Pan and Tian Zhang and Shaukat Ali and Tao Yue and Xuandong Li}, title = {Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing}, booktitle = {11th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April 9-13, 2018}, pages = {204--214}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/ICST.2018.00029}, doi = {10.1109/ICST.2018.00029}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/JiLCPZ0YL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/SituWLML18, author = {Lingyun Situ and Linzhang Wang and Yang Liu and Bing Mao and Xuandong Li}, title = {Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities}, booktitle = {Proceedings of the Tenth Asia-Pacific Symposium on Internetware, Internetware 2018, Beijing, China, September 16-16, 2018}, pages = {5:1--5:10}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3275219.3275225}, doi = {10.1145/3275219.3275225}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/SituWLML18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/WangGSW0LZL18, author = {Yu Wang and Fengjuan Gao and Lingyun Situ and Lingzhang Wang and Bihuan Chen and Yang Liu and Jianhua Zhao and Xuandong Li}, title = {DangDone: Eliminating Dangling Pointers via Intermediate Pointers}, booktitle = {Proceedings of the Tenth Asia-Pacific Symposium on Internetware, Internetware 2018, Beijing, China, September 16-16, 2018}, pages = {6:1--6:10}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3275219.3275231}, doi = {10.1145/3275219.3275231}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/WangGSW0LZL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/HuangPZL18, author = {An Huang and Minxue Pan and Tian Zhang and Xuandong Li}, editor = {{\"{O}}nder Babur and Daniel Str{\"{u}}ber and Silvia Abrah{\~{a}}o and Loli Burgue{\~{n}}o and Martin Gogolla and Joel Greenyer and Sahar Kokaly and Dimitris S. Kolovos and Tanja Mayerhofer and Mansooreh Zahedi}, title = {Static extraction of {IFML} models for Android apps}, booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, {MODELS} 2018, Copenhagen, Denmark, October 14-19, 2018}, pages = {53--54}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3270112.3278185}, doi = {10.1145/3270112.3278185}, timestamp = {Wed, 23 Feb 2022 12:16:51 +0100}, biburl = {https://dblp.org/rec/conf/models/HuangPZL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/ChangW0ML18, author = {Nana Chang and Linzhang Wang and Yu Pei and Subrota K. Mondal and Xuandong Li}, title = {Change-Based Test Script Maintenance for Android Apps}, booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018}, pages = {215--225}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/QRS.2018.00035}, doi = {10.1109/QRS.2018.00035}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/qrs/ChangW0ML18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/birthday/BuJCTL17, author = {Lei Bu and Hui Jiang and Xin Chen and Enyi Tang and Xuandong Li}, editor = {Cliff B. Jones and Ji Wang and Naijun Zhan}, title = {{HAT:} Analyzing Linear Hybrid Automata as Labelled Transition System}, booktitle = {Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11180}, pages = {85--104}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01461-2\_5}, doi = {10.1007/978-3-030-01461-2\_5}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/BuJCTL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/LiL17, author = {Xuandong Li and Zhiming Liu}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {29}, number = {4}, pages = {581--582}, year = {2017}, url = {https://doi.org/10.1007/s00165-017-0431-5}, doi = {10.1007/S00165-017-0431-5}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LiL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/LinXZZLWSY17, author = {Zeqi Lin and Bing Xie and Yanzhen Zou and Junfeng Zhao and Xuandong Li and Jun Wei and Hailong Sun and Gang Yin}, title = {Intelligent Development Environment and Software Knowledge Graph}, journal = {J. Comput. Sci. Technol.}, volume = {32}, number = {2}, pages = {242--249}, year = {2017}, url = {https://doi.org/10.1007/s11390-017-1718-y}, doi = {10.1007/S11390-017-1718-Y}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/LinXZZLWSY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/XieXBL17, author = {Dingbao Xie and Wen Xiong and Lei Bu and Xuandong Li}, title = {Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure}, journal = {{IEEE} Trans. Computers}, volume = {66}, number = {3}, pages = {416--430}, year = {2017}, url = {https://doi.org/10.1109/TC.2016.2604308}, doi = {10.1109/TC.2016.2604308}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tc/XieXBL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/HuangCLYL17, author = {Chao Huang and Xin Chen and Wang Lin and Zhengfeng Yang and Xuandong Li}, title = {Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {16}, number = {5s}, pages = {186:1--186:19}, year = {2017}, url = {https://doi.org/10.1145/3126508}, doi = {10.1145/3126508}, timestamp = {Thu, 09 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tecs/HuangCLYL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/TangZMCL17, author = {Enyi Tang and Xiangyu Zhang and Norbert Th. M{\"{u}}ller and Zhenyu Chen and Xuandong Li}, title = {Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing}, journal = {{IEEE} Trans. Software Eng.}, volume = {43}, number = {10}, pages = {975--994}, year = {2017}, url = {https://doi.org/10.1109/TSE.2016.2642956}, doi = {10.1109/TSE.2016.2642956}, timestamp = {Tue, 10 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/TangZMCL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/LiCWH0WL17, author = {Xiao Li and Nana Chang and Yan Wang and Haohua Huang and Yu Pei and Linzhang Wang and Xuandong Li}, title = {{ATOM:} Automatic Maintenance of {GUI} Test Scripts for Evolving Mobile Applications}, booktitle = {2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017}, pages = {161--171}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICST.2017.22}, doi = {10.1109/ICST.2017.22}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/icst/LiCWH0WL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/HuangCZQZL17, author = {Chao Huang and Xin Chen and Yifan Zhang and Shengchao Qin and Yifeng Zeng and Xuandong Li}, editor = {Carles Sierra}, title = {Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {4331--4337}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/605}, doi = {10.24963/IJCAI.2017/605}, timestamp = {Thu, 09 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/HuangCZQZL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/WangWYZL17, author = {Yu Wang and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li}, editor = {Tevfik Bultan and Koushik Sen}, title = {Automatic detection and validation of race conditions in interrupt-driven embedded software}, booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017}, pages = {113--124}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3092703.3092724}, doi = {10.1145/3092703.3092724}, timestamp = {Tue, 13 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/WangWYZL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ZhangCTCBL17, author = {Chucheng Zhang and Haoliang Cheng and Enyi Tang and Xin Chen and Lei Bu and Xuandong Li}, editor = {Grigore Rosu and Massimiliano Di Penta and Tien N. Nguyen}, title = {Sketch-guided {GUI} test generation for mobile applications}, booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017}, pages = {38--43}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ASE.2017.8115616}, doi = {10.1109/ASE.2017.8115616}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ZhangCTCBL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsi/ZhaoL16, author = {Jianhua Zhao and Xuandong Li}, title = {Formal Verification of 'Programming to Interfaces' Programs}, journal = {Int. J. Softw. Informatics}, volume = {10}, number = {4}, year = {2016}, url = {http://www.ijsi.org/ijsi/article/abstract/i234}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijsi/ZhaoL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/LiuLM16, author = {Yang Liu and Xuandong Li and Yan Ma}, title = {A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence}, journal = {J. Comput. Sci. Technol.}, volume = {31}, number = {1}, pages = {198--216}, year = {2016}, url = {https://doi.org/10.1007/s11390-016-1621-y}, doi = {10.1007/S11390-016-1621-Y}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/LiuLM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/YeZWL16, author = {Tao Ye and Lingming Zhang and Linzhang Wang and Xuandong Li}, title = {An Empirical Study on Detecting and Fixing Buffer Overflow Bugs}, booktitle = {2016 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016}, pages = {91--101}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICST.2016.21}, doi = {10.1109/ICST.2016.21}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/YeZWL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/HuangCZQZL16, author = {Chao Huang and Xin Chen and Yifan Zhang and Shengchao Qin and Yifeng Zeng and Xuandong Li}, editor = {Subbarao Kambhampati}, title = {Hierarchical Model Predictive Control for Multi-Robot Navigation}, booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016}, pages = {3140--3146}, publisher = {{IJCAI/AAAI} Press}, year = {2016}, url = {http://www.ijcai.org/Abstract/16/445}, timestamp = {Thu, 09 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/HuangCZQZL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/GaoCWSWL16, author = {Fengjuan Gao and Tianjiao Chen and Yu Wang and Lingyun Situ and Linzhang Wang and Xuandong Li}, editor = {Hong Mei and Jian Lv and Zhi Jin and Xuandong Li}, title = {Carraybound: static array bounds checking in {C} programs based on taint analysis}, booktitle = {Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware 2016, Beijing, China, September 18, 2016}, pages = {81--90}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2993717.2993724}, doi = {10.1145/2993717.2993724}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/GaoCWSWL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/SituWGWBZL16, author = {Lingyun Situ and Yu Wang and Fengjuan Gao and Linzhang Wang and Lei Bu and Jianhua Zhao and Xuandong Li}, editor = {Hong Mei and Jian Lv and Zhi Jin and Xuandong Li}, title = {ACSPChecker: an {ASP} based {CSP} model checking tool}, booktitle = {Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware 2016, Beijing, China, September 18, 2016}, pages = {99--102}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2993717.2993730}, doi = {10.1145/2993717.2993730}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/internetware/SituWGWBZL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiLQHBYCL16, author = {Xin Li and Yongjuan Liang and Hong Qian and Yi{-}Qi Hu and Lei Bu and Yang Yu and Xin Chen and Xuandong Li}, editor = {David Lo and Sven Apel and Sarfraz Khurshid}, title = {Symbolic execution of complex program driven by machine learning based constraint solving}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016}, pages = {554--559}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2970276.2970364}, doi = {10.1145/2970276.2970364}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiLQHBYCL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/GaoWL16, author = {Fengjuan Gao and Linzhang Wang and Xuandong Li}, editor = {David Lo and Sven Apel and Sarfraz Khurshid}, title = {BovInspector: automatic inspection and repair of buffer overflow vulnerabilities}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016}, pages = {786--791}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2970276.2970282}, doi = {10.1145/2970276.2970282}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/GaoWL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/ZhaiLTZL16, author = {Juan Zhai and Bin Li and Zhenhao Tang and Jianhua Zhao and Xuandong Li}, title = {Precondition Calculation for Loops Iterating over Data Structures}, booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016}, pages = {132--143}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/QRS.2016.25}, doi = {10.1109/QRS.2016.25}, timestamp = {Tue, 25 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qrs/ZhaiLTZL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/internetware/2016, editor = {Hong Mei and Jian Lv and Zhi Jin and Xuandong Li}, title = {Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware 2016, Beijing, China, September 18, 2016}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2993717}, doi = {10.1145/2993717}, isbn = {978-1-4503-4829-4}, timestamp = {Tue, 09 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sqj/ZhangZZZL15, author = {Tian Zhang and Xiaomei Zheng and Yan Zhang and Jianhua Zhao and Xuandong Li}, title = {A declarative approach for Java code instrumentation}, journal = {Softw. Qual. J.}, volume = {23}, number = {1}, pages = {143--170}, year = {2015}, url = {https://doi.org/10.1007/s11219-013-9220-4}, doi = {10.1007/S11219-013-9220-4}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sqj/ZhangZZZL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/ZhangLWZ0S15, author = {Qi Zhang and Xuandong Li and Linzhang Wang and Tian Zhang and Yi Wang and Zili Shao}, title = {Lazy-RTGC: {A} Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for {NAND} Flash Memory Storage Systems}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {20}, number = {3}, pages = {43:1--43:32}, year = {2015}, url = {https://doi.org/10.1145/2746236}, doi = {10.1145/2746236}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/ZhangLWZ0S15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/ZhouLWL15, author = {Yan Zhou and You Li and Linzhang Wang and Xuandong Li}, editor = {Hong Mei and Jian L{\"{u}} and Xiaoxing Ma and Qianxiang Wang and Gang Yin and Xiaofei Liao}, title = {nCov: {A} Tool for Measuring Length-n Subpath Coverage}, booktitle = {Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015}, pages = {176--185}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2875913.2875932}, doi = {10.1145/2875913.2875932}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/ZhouLWL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/WangSWZL15, author = {Yu Wang and Junjing Shi and Linzhang Wang and Jianhua Zhao and Xuandong Li}, editor = {Hong Mei and Jian L{\"{u}} and Xiaoxing Ma and Qianxiang Wang and Gang Yin and Xiaofei Liao}, title = {Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation}, booktitle = {Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015}, pages = {199--202}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2875913.2875943}, doi = {10.1145/2875913.2875943}, timestamp = {Tue, 13 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/WangSWZL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/TangWLZZL15, author = {Zhenhao Tang and Hanfei Wang and Bin Li and Juan Zhai and Jianhua Zhao and Xuandong Li}, editor = {Hong Mei and Jian L{\"{u}} and Xiaoxing Ma and Qianxiang Wang and Gang Yin and Xiaofei Liao}, title = {Analyzing Inductively Defined Properties for Recursive Data Structures}, booktitle = {Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015}, pages = {221--228}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2875913.2875930}, doi = {10.1145/2875913.2875930}, timestamp = {Tue, 25 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/internetware/TangWLZZL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/TangWLZZL15, author = {Zhenhao Tang and Hanfei Wang and Bin Li and Juan Zhai and Jianhua Zhao and Xuandong Li}, title = {Node-Set Analysis for Linked Recursive Data Structures}, booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2015, Vancouver, BC, Canada, August 3-5, 2015}, pages = {59--64}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/QRS.2015.19}, doi = {10.1109/QRS.2015.19}, timestamp = {Tue, 25 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qrs/TangWLZZL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtas/ZhangLWZ0S15, author = {Qi Zhang and Xuandong Li and Linzhang Wang and Tian Zhang and Yi Wang and Zili Shao}, title = {Optimizing deterministic garbage collection in {NAND} flash storage systems}, booktitle = {21st {IEEE} Real-Time and Embedded Technology and Applications Symposium, Seattle, WA, USA, April 13-16, 2015}, pages = {14--23}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/RTAS.2015.7108392}, doi = {10.1109/RTAS.2015.7108392}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtas/ZhangLWZ0S15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZhangPZYL15, author = {Tian Zhang and Minxue Pan and Jizhou Zhao and Yijun Yu and Xuandong Li}, title = {An Open Framework for Semantic Code Queries on Heterogeneous Repositories}, booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2015, Nanjing, China, September 12-14, 2015}, pages = {39--46}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/TASE.2015.27}, doi = {10.1109/TASE.2015.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ZhangPZYL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uic/SunLWLMXC15, author = {Jiaxu Sun and Yongchao Li and Linzhang Wang and Xuandong Li and Xiaoxiao Ma and Jing Xu and Guanling Chen}, title = {Controlling Smart TVs Using Touch Gestures on Mobile Devices}, booktitle = {2015 {IEEE} 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 {IEEE} 12th Intl Conf on Autonomic and Trusted Computing and 2015 {IEEE} 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), Beijing, China, August 10-14, 2015}, pages = {1222--1229}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.222}, doi = {10.1109/UIC-ATC-SCALCOM-CBDCOM-IOP.2015.222}, timestamp = {Tue, 12 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uic/SunLWLMXC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/setta/2015, editor = {Xuandong Li and Zhiming Liu and Wang Yi}, title = {Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, {SETTA} 2015, Nanjing, China, November 4-6, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9409}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25942-0}, doi = {10.1007/978-3-319-25942-0}, isbn = {978-3-319-25941-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setta/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/XieBZL14, author = {Dingbao Xie and Lei Bu and Jianhua Zhao and Xuandong Li}, title = {{SAT-LP-IIS} joint-directed path-oriented bounded reachability analysis of linear hybrid automata}, journal = {Formal Methods Syst. Des.}, volume = {45}, number = {1}, pages = {42--62}, year = {2014}, url = {https://doi.org/10.1007/s10703-014-0210-3}, doi = {10.1007/S10703-014-0210-3}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/XieBZL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtss/XieBL14, author = {Dingbao Xie and Lei Bu and Xuandong Li}, title = {Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification}, booktitle = {Proceedings of the {IEEE} 35th {IEEE} Real-Time Systems Symposium, {RTSS} 2014, Rome, Italy, December 2-5, 2014}, pages = {128--137}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/RTSS.2014.22}, doi = {10.1109/RTSS.2014.22}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtss/XieBL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhouWLZ14, author = {Xiaoli Zhou and Linzhang Wang and Xuandong Li and Jianhua Zhao}, editor = {Marek Z. Reformat}, title = {An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability}, booktitle = {The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013}, pages = {632--635}, publisher = {Knowledge Systems Institute Graduate School}, year = {2014}, timestamp = {Thu, 06 Oct 2022 12:30:17 +0200}, biburl = {https://dblp.org/rec/conf/seke/ZhouWLZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dafes/ZhangLWZWS13, author = {Qi Zhang and Xuandong Li and Linzhang Wang and Tian Zhang and Yi Wang and Zili Shao}, title = {Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives}, journal = {Des. Autom. Embed. Syst.}, volume = {17}, number = {3-4}, pages = {565--586}, year = {2013}, url = {https://doi.org/10.1007/s10617-014-9154-5}, doi = {10.1007/S10617-014-9154-5}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dafes/ZhangLWZWS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/ZhangLLL13, author = {Pengcheng Zhang and Hareton Leung and Wenrui Li and Xuandong Li}, title = {Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications}, journal = {{IET} Softw.}, volume = {7}, number = {4}, pages = {222--248}, year = {2013}, url = {https://doi.org/10.1049/iet-sen.2012.0047}, doi = {10.1049/IET-SEN.2012.0047}, timestamp = {Wed, 09 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iee/ZhangLLL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/CuiWLBZL13, author = {Zhanqi Cui and Linzhang Wang and Xi Liu and Lei Bu and Jianhua Zhao and Xuandong Li}, title = {Verifying Aspect-Oriented Models against Crosscutting Properties}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {23}, number = {5}, pages = {655--676}, year = {2013}, url = {https://doi.org/10.1142/S0218194013400123}, doi = {10.1142/S0218194013400123}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijseke/CuiWLBZL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/ZhangLWZWS13, author = {Qi Zhang and Xuandong Li and Linzhang Wang and Tian Zhang and Yi Wang and Zili Shao}, title = {Optimizing translation information management in {NAND} flash memory storage systems}, booktitle = {18th Asia and South Pacific Design Automation Conference, {ASP-DAC} 2013, Yokohama, Japan, January 22-25, 2013}, pages = {326--331}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ASPDAC.2013.6509616}, doi = {10.1109/ASPDAC.2013.6509616}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/aspdac/ZhangLWZWS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/ZhaoL13, author = {Jianhua Zhao and Xuandong Li}, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures}, 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 = {409--426}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39718-9\_24}, doi = {10.1007/978-3-642-39718-9\_24}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/ZhaoL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/YuTWL13, author = {Lei Yu and Xiucun Tang and Linzhang Wang and Xuandong Li}, editor = {Hong Mei and Jian Lv and Xiaoguang Mao}, title = {Simulating software behavior based on {UML} activity diagram}, booktitle = {Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware 2013, Changsha, China, October 23-24, 2013}, pages = {31:1--31:4}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2532443.2532465}, doi = {10.1145/2532443.2532465}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/YuTWL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobiquitous/XuDCDWL13, author = {Jing Xu and Xiang Ding and Guanling Chen and Jill L. Drury and Linzhang Wang and Xuandong Li}, editor = {Ivan Stojmenovic and Zixue Cheng and Song Guo}, title = {A New Method for Automated {GUI} Modeling of Mobile Applications}, booktitle = {Mobile and Ubiquitous Systems: Computing, Networking, and Services - 10th International Conference, {MOBIQUITOUS} 2013, Tokyo, Japan, December 2-4, 2013, Revised Selected Papers}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {131}, pages = {688--693}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-11569-6\_54}, doi = {10.1007/978-3-319-11569-6\_54}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mobiquitous/XuDCDWL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/LiSWL13, author = {You Li and Zhendong Su and Linzhang Wang and Xuandong Li}, editor = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes}, title = {Steering symbolic execution to less traveled paths}, booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013}, pages = {19--32}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2509136.2509553}, doi = {10.1145/2509136.2509553}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/oopsla/LiSWL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZhaoL13a, author = {Jianhua Zhao and Xuandong Li}, title = {Formal Verification of 'Programming to Interfaces' Programs}, journal = {CoRR}, volume = {abs/1311.7181}, year = {2013}, url = {http://arxiv.org/abs/1311.7181}, eprinttype = {arXiv}, eprint = {1311.7181}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ZhaoL13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/chinaf/PanLBL12, author = {Minxue Pan and You Li and Lei Bu and Xuandong Li}, title = {Loop reduction techniques for reachability analysis of linear hybrid automata}, journal = {Sci. China Inf. Sci.}, volume = {55}, number = {12}, pages = {2663--2674}, year = {2012}, url = {https://doi.org/10.1007/s11432-012-4726-0}, doi = {10.1007/S11432-012-4726-0}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/chinaf/PanLBL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/PanL12, author = {Minxue Pan and Xuandong Li}, title = {Timing analysis of {MSC} specifications with asynchronous concatenation}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {14}, number = {6}, pages = {639--651}, year = {2012}, url = {https://doi.org/10.1007/s10009-012-0239-9}, doi = {10.1007/S10009-012-0239-9}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/PanL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/LiPBWZ12, author = {Xuandong Li and Minxue Pan and Lei Bu and Linzhang Wang and Jianhua Zhao}, title = {Timing analysis of scenario-based specifications using linear programming}, journal = {Softw. Test. Verification Reliab.}, volume = {22}, number = {2}, pages = {121--143}, year = {2012}, url = {https://doi.org/10.1002/stv.434}, doi = {10.1002/STV.434}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/stvr/LiPBWZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ZhangZL12, author = {Xuelin Zhang and Tian Zhang and Xuandong Li}, editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri}, title = {Query by Drawing Examples of {UML} Model}, booktitle = {19th Asia-Pacific Software Engineering Conference - Workshops, {APSEC} 2012, Hong Kong, China, December 4-7, 2012}, pages = {154--157}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/APSEC.2012.65}, doi = {10.1109/APSEC.2012.65}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/apsec/ZhangZL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/LiuSL12, author = {Xi Liu and Jianwen Su and Xuandong Li}, editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri}, title = {Proactive Enforcement of Data Consistency by Business Processes}, booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong Kong, China, December 4-7, 2012}, pages = {701--704}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/APSEC.2012.120}, doi = {10.1109/APSEC.2012.120}, timestamp = {Sun, 08 Aug 2021 01:40:48 +0200}, biburl = {https://dblp.org/rec/conf/apsec/LiuSL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/YangBL12, author = {Yang Yang and Lei Bu and Xuandong Li}, editor = {Gianpiero Cabodi and Satnam Singh}, title = {Forward and backward: Bounded model checking of linear hybrid automata from two directions}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge, UK, October 22-25, 2012}, pages = {204--208}, publisher = {{IEEE}}, year = {2012}, url = {https://ieeexplore.ieee.org/document/6462575/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/YangBL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/BuXCWL12, author = {Lei Bu and Dingbao Xie and Xin Chen and Linzhang Wang and Xuandong Li}, title = {Demo Abstract: {BACHOL} - Modeling and Verification of Cyber-Physical Systems Online}, booktitle = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems, {ICCPS} 2012, Beijing, China, April 17-19, 2012}, pages = {222}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICCPS.2012.43}, doi = {10.1109/ICCPS.2012.43}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccps/BuXCWL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/ZhangBWZL12, author = {Fengling Zhang and Lei Bu and Linzhang Wang and Jianhua Zhao and Xuandong Li}, title = {Poster Abstract: Numerical Analysis of {WSN} Protocol Using Probabilistic Timed Automata}, booktitle = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems, {ICCPS} 2012, Beijing, China, April 17-19, 2012}, pages = {237}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICCPS.2012.57}, doi = {10.1109/ICCPS.2012.57}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccps/ZhangBWZL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/TangWZL12, author = {Enyi Tang and Linzhang Wang and Jianhua Zhao and Xuandong Li}, title = {Time-leverage point detection for time sensitive software maintenance}, booktitle = {28th {IEEE} International Conference on Software Maintenance, {ICSM} 2012, Trento, Italy, September 23-28, 2012}, pages = {567--570}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICSM.2012.6405322}, doi = {10.1109/ICSM.2012.6405322}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/TangWZL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/LiWLC12, author = {Yuankui Li and Linzhang Wang and Xuandong Li and Yuanfang Cai}, editor = {Hong Mei and Jian Lv and Qianxiang Wang and Lin Liu}, title = {Detecting source code changes to maintain the consistence of behavioral model}, booktitle = {Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware 2012, QingDao, China, October 30-31, 2012}, pages = {7:1--7:6}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2430475.2430482}, doi = {10.1145/2430475.2430482}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/LiWLC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CuiWLBZL12, author = {Zhanqi Cui and Linzhang Wang and Xi Liu and Lei Bu and Jianhua Zhao and Xuandong Li}, title = {Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer}, booktitle = {Proceedings of the 24th International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, {USA} July 1-3, 2012}, pages = {369--374}, publisher = {Knowledge Systems Institute Graduate School}, year = {2012}, timestamp = {Thu, 12 Mar 2020 11:30:50 +0100}, biburl = {https://dblp.org/rec/conf/seke/CuiWLBZL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/DingCJYBL12, author = {Wenxu Ding and Xin Chen and Peng Jiang and Nan Ye and Lei Bu and Xuandong Li}, title = {Path-oriented Test Data Generation Driven by Component Linear Fitting Functions}, booktitle = {Sixth International Conference on Software Security and Reliability, {SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume}, pages = {37--38}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/SERE-C.2012.40}, doi = {10.1109/SERE-C.2012.40}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/ssiri/DingCJYBL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/YeCDJBL12, author = {Nan Ye and Xin Chen and Wenxu Ding and Peng Jiang and Lei Bu and Xuandong Li}, editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang}, title = {Regression Test Cases Generation Based on Automatic Model Revision}, booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2012, 4-6 July 2012, Beijing, China}, pages = {127--134}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/TASE.2012.31}, doi = {10.1109/TASE.2012.31}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/YeCDJBL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/LiQWCZYZ11, author = {Xuandong Li and Xiaokang Qiu and Linzhang Wang and Xin Chen and Zhou Zhou and Liqian Yu and Jinhua Zhao}, title = {{UML} interaction model-driven runtime verification of Java programs}, journal = {{IET} Softw.}, volume = {5}, number = {2}, pages = {142--156}, year = {2011}, url = {https://doi.org/10.1049/iet-sen.2009.0009}, doi = {10.1049/IET-SEN.2009.0009}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iee/LiQWCZYZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigbed/BuWCWZZL11, author = {Lei Bu and Qixin Wang and Xin Chen and Linzhang Wang and Tian Zhang and Jianhua Zhao and Xuandong Li}, title = {Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior}, journal = {{SIGBED} Rev.}, volume = {8}, number = {2}, pages = {7--10}, year = {2011}, url = {https://doi.org/10.1145/2000367.2000368}, doi = {10.1145/2000367.2000368}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigbed/BuWCWZZL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BuL11, author = {Lei Bu and Xuandong Li}, title = {Path-oriented bounded reachability analysis of composed linear hybrid systems}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {13}, number = {4}, pages = {307--317}, year = {2011}, url = {https://doi.org/10.1007/s10009-010-0163-9}, doi = {10.1007/S10009-010-0163-9}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BuL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/BuYL11, author = {Lei Bu and Yang Yang and Xuandong Li}, editor = {Kerstin Eder and Jo{\~{a}}o Louren{\c{c}}o and Onn Shehory}, title = {IIS-Guided {DFS} for Efficient Bounded Reachability Analysis of Linear Hybrid Automata}, booktitle = {Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7261}, pages = {35--49}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-34188-5\_7}, doi = {10.1007/978-3-642-34188-5\_7}, timestamp = {Fri, 27 Mar 2020 08:58:09 +0100}, biburl = {https://dblp.org/rec/conf/hvc/BuYL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ZhangMPL11, author = {Pengcheng Zhang and Henry Muccini and Andrea Polini and Xuandong Li}, editor = {Perry Alexander and Corina S. Pasareanu and John G. Hosking}, title = {Run-time systems failure prediction via proactive monitoring}, booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011}, pages = {484--487}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ASE.2011.6100105}, doi = {10.1109/ASE.2011.6100105}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ZhangMPL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/ChenYJBL11, author = {Xin Chen and Nan Ye and Peng Jiang and Lei Bu and Xuandong Li}, title = {Feedback-Directed Test Case Generation Based on {UML} Activity Diagrams}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {9--10}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.12}, doi = {10.1109/SSIRI-C.2011.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/ChenYJBL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/ChenZBL11, author = {Huajie Chen and Tian Zhang and Lei Bu and Xuandong Li}, title = {An Instrumentation Tool for Program Dynamic Analysis in Java}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {60--67}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.20}, doi = {10.1109/SSIRI-C.2011.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/ChenZBL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/YeCJDL11, author = {Nan Ye and Xin Chen and Peng Jiang and Wenxu Ding and Xuandong Li}, title = {Automatic Regression Test Selection Based on Activity Diagrams}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {166--171}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.31}, doi = {10.1109/SSIRI-C.2011.31}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/YeCJDL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1101-4271, author = {Lei Bu and Xin Chen and Linzhang Wang and Xuandong Li}, title = {Online Verification of Control Parameter Calculations in Communication Based Train Control System}, journal = {CoRR}, volume = {abs/1101.4271}, year = {2011}, url = {http://arxiv.org/abs/1101.4271}, eprinttype = {arXiv}, eprint = {1101.4271}, timestamp = {Wed, 20 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1101-4271.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsi/JinL10, author = {Zhi Jin and Xuandong Li}, title = {Preface}, journal = {Int. J. Softw. Informatics}, volume = {4}, number = {3}, pages = {347--349}, year = {2010}, url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i72}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsi/JinL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/LeiLLMS10, author = {Bin Lei and Xuandong Li and Zhiming Liu and Charles Morisset and Volker Stolz}, title = {Robustness testing for software components}, journal = {Sci. Comput. Program.}, volume = {75}, number = {10}, pages = {879--897}, year = {2010}, url = {https://doi.org/10.1016/j.scico.2010.02.005}, doi = {10.1016/J.SCICO.2010.02.005}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/LeiLLMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/BuLWCL10, author = {Lei Bu and You Li and Linzhang Wang and Xin Chen and Xuandong Li}, editor = {Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller and Enrico Macii}, title = {{BACH} 2 : Bounded reachability checker for compositional linear hybrid systems}, booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany, March 8-12, 2010}, pages = {1512--1517}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/DATE.2010.5457051}, doi = {10.1109/DATE.2010.5457051}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/BuLWCL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BuCLMT10, author = {Lei Bu and Alessandro Cimatti and Xuandong Li and Sergio Mover and Stefano Tonetta}, editor = {John Hatcliff and Elena Zucca}, title = {Model Checking of Hybrid Systems Using Shallow Synchronization}, booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1 International Conference, {FORTE} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6117}, pages = {155--169}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13464-7\_13}, doi = {10.1007/978-3-642-13464-7\_13}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/BuCLMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/YangYTWZL10, author = {Lu Yang and Liqian Yu and Jianwen Tang and Linzhang Wang and Jianhua Zhao and Xuandong Li}, editor = {Radu Calinescu and Richard F. Paige and Marta Z. Kwiatkowska}, title = {McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java}, booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010}, pages = {255--256}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ICECCS.2010.37}, doi = {10.1109/ICECCS.2010.37}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/YangYTWZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/YangYTWZL10, author = {Lu Yang and Liqian Yu and Jianwen Tang and Linzhang Wang and Jianhua Zhao and Xuandong Li}, editor = {Victor Pankratius and Michael Philippsen}, title = {Enabling multi-core based monitoring and fault tolerance in C++/Java}, booktitle = {Proceedings of the 3rd International Workshop on Multicore Software Engineering, {IWMSE} '10, Cape Town, South Africa, May 1, 2010}, pages = {32--39}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1808954.1808963}, doi = {10.1145/1808954.1808963}, timestamp = {Thu, 27 Jan 2022 11:00:59 +0100}, biburl = {https://dblp.org/rec/conf/icse/YangYTWZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/ChenLZL10, author = {Jie Chen and Qian Li and Jianhua Zhao and Xuandong Li}, editor = {Hong Mei and Jian Lv and Xuandong Li and Zhi Jin}, title = {Test adequacy criterion based on coincidental correctness probability}, booktitle = {Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware 2010, Suzhou, China, November 3-4, 2010}, pages = {20}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/2020723.2020743}, doi = {10.1145/2020723.2020743}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/ChenLZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/LiZL10, author = {Qian Li and Jianhua Zhao and Xuandong Li}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6415}, pages = {564--578}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0\_46}, doi = {10.1007/978-3-642-16558-0\_46}, timestamp = {Sun, 02 Jun 2019 21:11:28 +0200}, biburl = {https://dblp.org/rec/conf/isola/LiZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/TangBLS10, author = {Enyi Tang and Earl T. Barr and Xuandong Li and Zhendong Su}, editor = {Paolo Tonella and Alessandro Orso}, title = {Perturbing numerical calculations for statistical analysis of floating-point program (in)stability}, booktitle = {Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010}, pages = {131--142}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1831708.1831724}, doi = {10.1145/1831708.1831724}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/TangBLS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigada/LiYBWZL10, author = {You Li and Lu Yang and Lei Bu and Linzhang Wang and Jianhua Zhao and Xuandong Li}, editor = {Alok Srivastava and Jeff Boleng}, title = {Extending Ada to support multi-core based monitoring and fault tolerance}, booktitle = {Proceedings of the 2010 Annual {ACM} SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010}, pages = {53--62}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1879063.1879079}, doi = {10.1145/1879063.1879079}, timestamp = {Fri, 25 Mar 2022 14:21:18 +0100}, biburl = {https://dblp.org/rec/conf/sigada/LiYBWZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BuZL10, author = {Lei Bu and Jianhua Zhao and Xuandong Li}, editor = {Gilles Barthe and Manuel V. Hermenegildo}, title = {Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5944}, pages = {78--94}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11319-2\_9}, doi = {10.1007/978-3-642-11319-2\_9}, timestamp = {Sat, 19 Oct 2019 20:29:32 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/BuZL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/internetware/2010, editor = {Hong Mei and Jian Lv and Xuandong Li and Zhi Jin}, title = {Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware 2010, Suzhou, China, November 3-4, 2010}, publisher = {{ACM}}, year = {2010}, url = {http://dl.acm.org/citation.cfm?id=2020723}, isbn = {978-1-4503-0694-2}, timestamp = {Tue, 09 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1012-2553, author = {Jianhua Zhao and Xuandong Li}, title = {Scope Logic with Local Reasoning and Pre/Post-State Properties}, journal = {CoRR}, volume = {abs/1012.2553}, year = {2010}, url = {http://arxiv.org/abs/1012.2553}, eprinttype = {arXiv}, eprint = {1012.2553}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1012-2553.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/ChenQXWZL09, author = {Mingsong Chen and Xiaokang Qiu and Wei Xu and Linzhang Wang and Jianhua Zhao and Xuandong Li}, title = {{UML} Activity Diagram-Based Automatic Test Case Generation For Java Programs}, journal = {Comput. J.}, volume = {52}, number = {5}, pages = {545--556}, year = {2009}, url = {https://doi.org/10.1093/comjnl/bxm057}, doi = {10.1093/COMJNL/BXM057}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/ChenQXWZL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aosd/CuiWLL09, author = {Zhanqi Cui and Linzhang Wang and Huigen Liu and Xuandong Li}, editor = {Iris Groher and Andy Kellens and Christa Schwanninger and Bram Adams and Uwe Hohenstein and Ademar Aguiar and Eddy Truyen}, title = {Computational error handling as aspects: a case study}, booktitle = {Proceedings of the 1st workshop on Linking aspect technology and evolution, {PLATE} '09, Charlottesville, Virginia, USA, March 3, 2009}, pages = {7--11}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1509847.1509849}, doi = {10.1145/1509847.1509849}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aosd/CuiWLL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/PanBL09, author = {Minxue Pan and Lei Bu and Xuandong Li}, editor = {Ahmed Bouajjani and Oded Maler}, title = {{TASS:} Timing Analyzer of Scenario-Based Specifications}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {689--695}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_56}, doi = {10.1007/978-3-642-02658-4\_56}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/PanBL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpcc/YangCL09, author = {Lu Yang and Zhanqi Cui and Xuandong Li}, title = {A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture}, booktitle = {11th {IEEE} International Conference on High Performance Computing and Communications, {HPCC} 2009, 25-27 June 2009, Seoul, Korea}, pages = {630--635}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/HPCC.2009.44}, doi = {10.1109/HPCC.2009.44}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hpcc/YangCL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpc/HanWYCZL09, author = {Zhixiong Han and Linzhang Wang and Liqian Yu and Xin Chen and Jianhua Zhao and Xuandong Li}, title = {Design pattern directed clustering for understanding open source code}, booktitle = {The 17th {IEEE} International Conference on Program Comprehension, {ICPC} 2009, Vancouver, British Columbia, Canada, May 17-19, 2009}, pages = {295--296}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ICPC.2009.5090065}, doi = {10.1109/ICPC.2009.5090065}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwpc/HanWYCZL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/CuiWLX09, author = {Zhanqi Cui and Linzhang Wang and Xuandong Li and Dianxiang Xu}, editor = {Sung Y. Shin and Sascha Ossowski}, title = {Modeling and integrating aspects with {UML} activity diagrams}, booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009}, pages = {430--437}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1529282.1529377}, doi = {10.1145/1529282.1529377}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/CuiWLX09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0912-4184, author = {Jianhua Zhao and Xuandong Li}, title = {Scope Logic: Extending Hoare Logic for Pointer Program Verification}, journal = {CoRR}, volume = {abs/0912.4184}, year = {2009}, url = {http://arxiv.org/abs/0912.4184}, eprinttype = {arXiv}, eprint = {0912.4184}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0912-4184.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/ZhangJBL08, author = {Tian Zhang and Fr{\'{e}}d{\'{e}}ric Jouault and Jean B{\'{e}}zivin and Xuandong Li}, title = {An MDE-based method for bridging different design notations}, journal = {Innov. Syst. Softw. Eng.}, volume = {4}, number = {3}, pages = {203--213}, year = {2008}, url = {https://doi.org/10.1007/s11334-008-0052-5}, doi = {10.1007/S11334-008-0052-5}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/ZhangJBL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BuLWL08, author = {Lei Bu and You Li and Linzhang Wang and Xuandong Li}, editor = {Alessandro Cimatti and Robert B. Jones}, title = {{BACH} : Bounded ReAchability CHecker for Linear Hybrid Automata}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon, USA, 17-20 November 2008}, pages = {1--4}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/FMCAD.2008.ECP.13}, doi = {10.1109/FMCAD.2008.ECP.13}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BuLWL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/YangTZL08, author = {Lu Yang and Jianwen Tang and Jianhua Zhao and Xuandong Li}, editor = {Victor Pankratius and Walter F. Tichy}, title = {A case study for monitoring-oriented programming in multi-core architecture}, booktitle = {Proceedings of the 1st International Workshop on Multicore Software Engineering, {IWMSE} '08, Leipzig, Germany, May 11, 2008}, pages = {47--52}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370082.1370094}, doi = {10.1145/1370082.1370094}, timestamp = {Wed, 26 Jan 2022 16:17:17 +0100}, biburl = {https://dblp.org/rec/conf/icse/YangTZL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/LeiWL08, author = {Bin Lei and Linzhang Wang and Xuandong Li}, title = {{UML} Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency}, booktitle = {First International Conference on Software Testing, Verification, and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008}, pages = {200--209}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICST.2008.64}, doi = {10.1109/ICST.2008.64}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/LeiWL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/ZhaoWL08, author = {Jianhua Zhao and Linzhang Wang and Xuandong Li}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking}, 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 = {262--276}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88479-8\_19}, doi = {10.1007/978-3-540-88479-8\_19}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/ZhaoWL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/LiQWLW08, author = {Xuandong Li and Xiaokang Qiu and Linzhang Wang and Bin Lei and W. Eric Wong}, editor = {Roger L. Wainwright and Hisham Haddad}, title = {{UML} state machine diagram driven runtime verification of Java programs for message interaction consistency}, booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, pages = {384--389}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1363686.1363781}, doi = {10.1145/1363686.1363781}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/LiQWLW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LeiLML10, author = {Bin Lei and Zhiming Liu and Charles Morisset and Xuandong Li}, editor = {Carlos Canal and Corina S. Pasareanu}, title = {State Based Robustness Testing for Components}, booktitle = {Proceedings of the 5th International Workshop on Formal Aspects of Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {260}, pages = {173--188}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.12.037}, doi = {10.1016/J.ENTCS.2009.12.037}, timestamp = {Thu, 09 Mar 2023 15:34:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LeiLML10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/YuZZWHZL07, author = {Xiaofeng Yu and Yan Zhang and Tian Zhang and Linzhang Wang and Jun Hu and Jianhua Zhao and Xuandong Li}, title = {A model-driven development framework for enterprise Web services}, journal = {Inf. Syst. Frontiers}, volume = {9}, number = {4}, pages = {391--409}, year = {2007}, url = {https://doi.org/10.1007/s10796-007-9042-7}, doi = {10.1007/S10796-007-9042-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isf/YuZZWHZL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecmdafa/YuZZWZZL07, author = {Xiaofeng Yu and Yan Zhang and Tian Zhang and Linzhang Wang and Jianhua Zhao and Guoliang Zheng and Xuandong Li}, editor = {David H. Akehurst and R{\'{e}}gis Vogel and Richard F. Paige}, title = {Towards a Model Driven Approach to Automatic {BPEL} Generation}, booktitle = {Model Driven Architecture - Foundations and Applications, 3rd European Conference, {ECMDA-FA} 2007, Haifa, Israel, June 11-15, 2007, Proccedings}, series = {Lecture Notes in Computer Science}, volume = {4530}, pages = {204--218}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72901-3\_16}, doi = {10.1007/978-3-540-72901-3\_16}, timestamp = {Wed, 24 Jun 2020 12:15:03 +0200}, biburl = {https://dblp.org/rec/conf/ecmdafa/YuZZWZZL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/ZhaoLZZ06, author = {Jianhua Zhao and Xuandong Li and Tao Zheng and Guoliang Zheng}, title = {Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking}, journal = {J. Comput. Sci. Technol.}, volume = {21}, number = {1}, pages = {41--51}, year = {2006}, url = {https://doi.org/10.1007/s11390-006-0041-9}, doi = {10.1007/S11390-006-0041-9}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/ZhaoLZZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adaEurope/LiWQLYZZ06, author = {Xuandong Li and Linzhang Wang and Xiaokang Qiu and Bin Lei and Jiesong Yuan and Jianhua Zhao and Guoliang Zheng}, editor = {Lu{\'{\i}}s Miguel Pinho and Michael Gonz{\'{a}}lez Harbour}, title = {Runtime Verification of Java Programs for Scenario-Based Specifications}, booktitle = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4006}, pages = {94--105}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11767077\_8}, doi = {10.1007/11767077\_8}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adaEurope/LiWQLYZZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/YuHZZWZL06, author = {Xiaofeng Yu and Jun Hu and Yan Zhang and Tian Zhang and Linzhang Wang and Jianhua Zhao and Xuandong Li}, title = {A Model Driven Development Framework for Enterprise Web Services}, booktitle = {Tenth {IEEE} International Enterprise Distributed Object Computing Conference {(EDOC} 2006), 16-20 October 2006, Hong Kong, China}, pages = {75--84}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/EDOC.2006.9}, doi = {10.1109/EDOC.2006.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/YuHZZWZL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/HuLZW06, author = {Jun Hu and Xuandong Li and Guoliang Zheng and Chenghua Wang}, editor = {Xiaobo Zhou and Oleg Sokolsky and Lu Yan and Eun{-}Sun Jung and Zili Shao and Yi Mu and Dong Chun Lee and Daeyoung Kim and Young{-}Sik Jeong and Cheng{-}Zhong Xu}, title = {Modelling and Analysis of Power Consumption for Component-Based Embedded Software}, booktitle = {Emerging Directions in Embedded and Ubiquitous Computing, {EUC} 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4097}, pages = {795--804}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11807964\_80}, doi = {10.1007/11807964\_80}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/euc/HuLZW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/LiLJZZZ06, author = {Xuandong Li and Lei Bu and Jun Hu and Jianhua Zhao and Tao Zhang and Guoliang Zheng}, editor = {Elie Najm and Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and V{\'{e}}ronique Donzeau{-}Gouge}, title = {Scenario-Based Timing Consistency Checking for Time Petri Nets}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France, September 26-29, 2006}, series = {Lecture Notes in Computer Science}, volume = {4229}, pages = {388--403}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11888116\_28}, doi = {10.1007/11888116\_28}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/forte/LiLJZZZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/ZhangHYZLZ06, author = {Yan Zhang and Jun Hu and Xiaofeng Yu and Tian Zhang and Xuandong Li and Guoliang Zheng}, editor = {Zhiming Liu and Jifeng He}, title = {Scenario-Based Component Behavior Derivation}, booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4260}, pages = {206--225}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901433\_12}, doi = {10.1007/11901433\_12}, timestamp = {Mon, 21 Mar 2022 22:43:10 +0100}, biburl = {https://dblp.org/rec/conf/icfem/ZhangHYZLZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChenQL06, author = {Mingsong Chen and Xiaokang Qiu and Xuandong Li}, editor = {Hong Zhu and Joseph R. Horgan and Shing{-}Chi Cheung and J. Jenny Li}, title = {Automatic Test Case Generation for {UML} Activity Diagrams}, booktitle = {Proceedings of the 2006 International Workshop on Automation of Software Test, {AST} 2006, Shanghai, China, May 23, 2006}, pages = {2--8}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1138929.1138931}, doi = {10.1145/1138929.1138931}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/ChenQL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/ZhangYZLZ06, author = {Yan Zhang and Xiaofeng Yu and Tian Zhang and Xuandong Li and Guoliang Zheng}, editor = {Krzysztof Sacha}, title = {Scenario-based Component Behavior Filtration}, booktitle = {Software Engineering Techniques: Design for Quality, {SET} 2006, October 17-20, 2006, Warsaw, Poland}, series = {{IFIP}}, volume = {227}, pages = {25--36}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-39388-9\_3}, doi = {10.1007/978-0-387-39388-9\_3}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip2/ZhangYZLZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/ZhaoLLZ06, author = {Jianhua Zhao and Bin Lei and Xuandong Li and Guoliang Zheng}, title = {Improve Model Checking Efficiency Using Specific Knowledge about the System}, booktitle = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006}, pages = {392--396}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ISoLA.2006.28}, doi = {10.1109/ISOLA.2006.28}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/ZhaoLLZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LiAB07, author = {Xuandong Li and Sumit Jha Aanand and Lei Bu}, editor = {Ofer Strichman and Armin Biere}, title = {Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming}, booktitle = {Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {3}, pages = {57--70}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.12.023}, doi = {10.1016/J.ENTCS.2006.12.023}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LiAB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/ZhaoLZ05, author = {Jianhua Zhao and Xuandong Li and Guoliang Zheng}, title = {A quadratic-time DBM-based successor algorithm for checking timed automata}, journal = {Inf. Process. Lett.}, volume = {96}, number = {3}, pages = {101--105}, year = {2005}, url = {https://doi.org/10.1016/j.ipl.2005.05.027}, doi = {10.1016/J.IPL.2005.05.027}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/ZhaoLZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/HuYZZLZ05, author = {Jun Hu and Xiaofeng Yu and Yan Zhang and Tian Zhang and Xuandong Li and Guoliang Zheng}, editor = {Laurence Tianruo Yang and Makoto Amamiya and Zhen Liu and Minyi Guo and Franz J. Rammig}, title = {Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications}, booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005, International Conference {EUC} 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3824}, pages = {395--404}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11596356\_41}, doi = {10.1007/11596356\_41}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/euc/HuYZZLZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icppw/HuYZZWLZ05, author = {Jun Hu and Xiaofeng Yu and Yan Zhang and Tian Zhang and Linzhang Wang and Xuandong Li and Guoliang Zheng}, title = {Scenario-Based Specifications Verification for Component-Based Embedded Software Designs}, booktitle = {34th International Conference on Parallel Processing Workshops {(ICPP} 2005 Workshops), 14-17 June 2005, Oslo, Norway}, pages = {240--247}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ICPPW.2005.78}, doi = {10.1109/ICPPW.2005.78}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icppw/HuYZZWLZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/ZhaoZLZ05, author = {Jianhua Zhao and Xiuyi Zhou and Xuandong Li and Guoliang Zheng}, title = {Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking}, booktitle = {19th International Parallel and Distributed Processing Symposium {(IPDPS} 2005), {CD-ROM} / Abstracts Proceedings, 4-8 April 2005, Denver, CO, {USA}}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/IPDPS.2005.146}, doi = {10.1109/IPDPS.2005.146}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/ZhaoZLZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sdl/LiHBZZ05, author = {Xuandong Li and Jun Hu and Lei Bu and Jianhua Zhao and Guoliang Zheng}, editor = {Andreas Prinz and Rick Reed and Jeanne Reed}, title = {Consistency Checking of Concurrent Models for Scenario-Based Specifications}, booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad, Norway, June 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3530}, pages = {298--312}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11506843\_21}, doi = {10.1007/11506843\_21}, timestamp = {Wed, 25 Sep 2019 18:02:25 +0200}, biburl = {https://dblp.org/rec/conf/sdl/LiHBZZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ZhangHYZLZ06, author = {Yan Zhang and Jun Hu and Xiaofeng Yu and Tian Zhang and Xuandong Li and Guoliang Zheng}, editor = {Zhiming Liu and Lu{\'{\i}}s Soares Barbosa}, title = {Deriving Available Behavior All Out from Incompatible Component Compositions}, booktitle = {Proceedings of the International Workshop on Formal Aspects of Component Software, {FACS} 2005, Macao, October 24-25, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {160}, pages = {349--361}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.05.033}, doi = {10.1016/J.ENTCS.2006.05.033}, timestamp = {Thu, 15 Dec 2022 16:29:33 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ZhangHYZLZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/LiZZLZ04, author = {Xuandong Li and Jianhua Zhao and Tao Zheng and Yong Li and Guoliang Zheng}, title = {Duration-constrained regular expressions}, journal = {Formal Aspects Comput.}, volume = {16}, number = {2}, pages = {155--163}, year = {2004}, url = {https://doi.org/10.1007/s00165-004-0033-x}, doi = {10.1007/S00165-004-0033-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LiZZLZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/WangYYJLZ04, author = {Linzhang Wang and Jiesong Yuan and Xiaofeng Yu and Jun Hu and Xuandong Li and Guoliang Zheng}, title = {Generating Test Cases from {UML} Activity Diagram based on Gray-Box Method}, booktitle = {11th Asia-Pacific Software Engineering Conference {(APSEC} 2004), 30 November - 3 December 2004, Busan, Korea}, pages = {284--291}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/APSEC.2004.55}, doi = {10.1109/APSEC.2004.55}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/WangYYJLZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/LiZJYZ04, author = {Xuandong Li and Jianhua Zhao and Gong Jiayu and Shi Yaoxin and Guoliang Zheng}, title = {Verifying Compositional Designs for Scenario-Based Timing Specifications}, booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria}, pages = {253--256}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ISORC.2004.1300367}, doi = {10.1109/ISORC.2004.1300367}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/LiZJYZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/ZhaoLZZ03, author = {Jianhua Zhao and Xuandong Li and Tao Zheng and Guoliang Zheng}, editor = {Kim Guldstrand Larsen and Peter Niebert}, title = {Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently}, booktitle = {Formal Modeling and Analysis of Timed Systems: First International Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2791}, pages = {34--45}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40903-8\_4}, doi = {10.1007/978-3-540-40903-8\_4}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/formats/ZhaoLZZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/LiTZ02, author = {Xuandong Li and Wenkai Tan and Guoliang Zheng}, title = {Checking {MSC} Specifications for Timing Inconsistency}, journal = {J. Comput. Sci. Technol.}, volume = {17}, number = {1}, pages = {47--55}, year = {2002}, url = {https://doi.org/10.1007/BF02949824}, doi = {10.1007/BF02949824}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/LiTZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/LiZPLZZ02, author = {Xuandong Li and Jianhua Zhao and Yu Pei and Yong Li and Tao Zheng and Guoliang Zheng}, title = {Positive loop-closed automata: a decidable class of hybrid systems}, journal = {J. Log. Algebraic Methods Program.}, volume = {52-53}, pages = {79--108}, year = {2002}, url = {https://doi.org/10.1016/S1567-8326(02)00024-3}, doi = {10.1016/S1567-8326(02)00024-3}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/LiZPLZZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/ZhaoXXTG02, author = {Jianhua Zhao and He Xu and Xuandong Li and Tao Zheng and Guoliang Zheng}, editor = {Werner Damm and Ernst{-}R{\"{u}}diger Olderog}, title = {Partial Order Path Technique for Checking Parallel Timed Automata}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2469}, pages = {417--432}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45739-9\_24}, doi = {10.1007/3-540-45739-9\_24}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/ZhaoXXTG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/LiL01, author = {Xuandong Li and Johan Lilius}, title = {Efficient verification of a class of time Petri nets using linear programming}, journal = {Inf. Process. Lett.}, volume = {77}, number = {5-6}, pages = {219--224}, year = {2001}, url = {https://doi.org/10.1016/S0020-0190(00)00156-3}, doi = {10.1016/S0020-0190(00)00156-3}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/LiL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/Li01, author = {Xuandong Li}, title = {Verifying Time Petri Nets by Linear Programming}, journal = {J. Comput. Sci. Technol.}, volume = {16}, number = {1}, pages = {39--46}, year = {2001}, url = {https://doi.org/10.1007/BF02948851}, doi = {10.1007/BF02948851}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/Li01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/njc/RonkkoL01, author = {Mauno R{\"{o}}nkk{\"{o}} and Xuandong Li}, title = {Linear Hybrid Action Systems}, journal = {Nord. J. Comput.}, volume = {8}, number = {1}, pages = {159}, year = {2001}, timestamp = {Wed, 14 Jan 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/njc/RonkkoL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/charme/XuandongYJYTG01, author = {Xuandong Li and Yu Pei and Jianhua Zhao and Yong Li and Tao Zheng and Guoliang Zheng}, editor = {Tiziana Margaria and Thomas F. Melham}, title = {Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming}, booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG} 10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2144}, pages = {465--480}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44798-9\_35}, doi = {10.1007/3-540-44798-9\_35}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/charme/XuandongYJYTG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/XuandongMYJG01, author = {Xuandong Li and Cui Meng and Yu Pei and Jianhua Zhao and Guoliang Zheng}, editor = {Martin Gogolla and Cris Kobryn}, title = {Timing Analysis of {UML} Activity Diagrams}, booktitle = {{\guillemotleft}UML{\guillemotright} 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2185}, pages = {62--75}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45441-1\_6}, doi = {10.1007/3-540-45441-1\_6}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uml/XuandongMYJG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/LiL00, author = {Xuandong Li and Johan Lilius}, title = {Checking compositions of {UML} sequence diagrams for timing inconsistency}, booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8 December 2000, Singapore}, pages = {154--161}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/APSEC.2000.896694}, doi = {10.1109/APSEC.2000.896694}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/LiL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pnpm/LiL99, author = {Xuandong Li and Johan Lilius}, title = {Checking time Petri nets for linear duration properties}, booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance Models, {PNPM} 1999, Zaragoza, Spain, September 8-10, 1999}, pages = {218--227}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/PNPM.1999.796568}, doi = {10.1109/PNPM.1999.796568}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pnpm/LiL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/LiL99, author = {Xuandong Li and Johan Lilius}, editor = {Robert B. France and Bernhard Rumpe}, title = {Timing Analysis of {UML} Sequence Diagrams}, booktitle = {{\guillemotleft}UML{\guillemotright}'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1723}, pages = {661--674}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46852-8\_46}, doi = {10.1007/3-540-46852-8\_46}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/uml/LiL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/HouLFZ98, author = {Jianmin Hou and Xuandong Li and Xiaocong Fan and Guoliang Zheng}, title = {Compositional model-checking for real-time systems}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {23}, number = {1}, pages = {99}, year = {1998}, url = {https://doi.org/10.1145/272263.272359}, doi = {10.1145/272263.272359}, timestamp = {Mon, 31 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigsoft/HouLFZ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/XuandongTJJG98, author = {Xuandong Li and Tao Zheng and Jianmin Hou and Jianhua Zhao and Guoliang Zheng}, editor = {Thomas A. Henzinger and Shankar Sastry}, title = {Hybrid Regular Expressions}, booktitle = {Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1386}, pages = {384--399}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-64358-3\_53}, doi = {10.1007/3-540-64358-3\_53}, timestamp = {Mon, 25 Jul 2022 16:36:55 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/XuandongTJJG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigops/JianminXXG97, author = {Jianmin Hou and Xuandong Li and Xiaocong Fan and Guoliang Zheng}, title = {A Message-based Real-Time Model by Object-Oriented Technique}, journal = {{ACM} {SIGOPS} Oper. Syst. Rev.}, volume = {31}, number = {3}, pages = {45--51}, year = {1997}, url = {https://doi.org/10.1145/270555.270559}, doi = {10.1145/270555.270559}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigops/JianminXXG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/XuandongHT97, author = {Xuandong Li and Dang Van Hung and Tao Zheng}, editor = {R. K. Shyamasundar and Kazunori Ueda}, title = {Checking Hybrid Automata for Linear Duration Invariants}, booktitle = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1345}, pages = {166--180}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63875-X\_51}, doi = {10.1007/3-540-63875-X\_51}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/XuandongHT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oois/XuandongG97, author = {Xuandong Li and Guoliang Zheng}, editor = {Maria E. Orlowska and Roberto V. Zicari}, title = {Enhancing Reusability and Maintainability in {NDOOM}}, booktitle = {Proceedings of the 1997 International Conference on Object Oriented Information Systems, {OOIS} 1997, Brisbane, Australia, November 10-12, 1997}, pages = {236--246}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/978-1-4471-1525-0\_20}, doi = {10.1007/978-1-4471-1525-0\_20}, timestamp = {Tue, 17 Nov 2020 10:58:09 +0100}, biburl = {https://dblp.org/rec/conf/oois/XuandongG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/XuanDongG96, author = {Xuandong Li and Guoliang Zheng}, title = {A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages}, booktitle = {3rd Asia-Pacific Software Engineering Conference {(APSEC} '96), December 4-7, 1996, Seoul, South Korea}, pages = {93}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/APSEC.1996.566744}, doi = {10.1109/APSEC.1996.566744}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/XuanDongG96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/XuandongH96, author = {Xuandong Li and Dang Van Hung}, editor = {Joxan Jaffar and Roland H. C. Yap}, title = {Checking Linear Duration Invariants by Linear Programming}, booktitle = {Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, {ASIAN} '96, Singapore, December 2-5, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1179}, pages = {321--332}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0027804}, doi = {10.1007/BFB0027804}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/XuandongH96.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.