Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
