Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXuandong Li
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j57]Minxue Pan
, Yifei Lu, Yu Pei, Tian Zhang, Xuandong Li:
Preference-wise Testing of Android Apps via Test Amplification. ACM Trans. Softw. Eng. Methodol. 32(1): 4:1-4:37 (2023)- [c129]Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li:
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. ICSE Companion 2023: 328-329 - [c128]Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li:
Security Checking of Trigger-Action-Programming Smart Home Integrations. ISSTA 2023: 639-651 - [c127]Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo:
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. ISSTA 2023: 816-828 - [e5]Hong Mei, Jian Lv, Zhi Jin, Xuandong Li, Xiaohu Yang, Xin Xia:
Proceedings of the 14th Asia-Pacific Symposium on Internetware, Internetware 2023, Hangzhou, China, August 4-6, 2023. ACM 2023 [contents] - [i5]Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li:
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR abs/2305.17869 (2023) - 2022
- [j56]Qingye Zhao, Yi Zhang, Xuandong Li:
Safe reinforcement learning for dynamical systems using barrier certificates. Connect. Sci. 34(1): 2822-2844 (2022) - [j55]Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li:
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. Softw. Syst. Model. 21(4): 1321-1338 (2022) - [j54]Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li:
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(2): 238-251 (2022) - [j53]Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li:
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng. 48(2): 346-363 (2022) - [j52]Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li:
GUI-Guided Test Script Repair for Mobile Apps. IEEE Trans. Software Eng. 48(3): 910-929 (2022) - [c126]Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li:
Verifying Neural Network Controlled Systems Using Neural Networks. HSCC 2022: 3:1-3:11 - [c125]Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li:
Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. ICASSP 2022: 2734-2738 - [c124]Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. ICST 2022: 463 - [c123]Guiyin Li, Fengyi Zhu, Jun Pang, Tian Zhang, Minxue Pan, Xuandong Li:
Functional Scenario Classification for Android Applications using GNNs. Internetware 2022: 1-9 - [c122]Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li:
Graph Neural Network based Two-Phase Fault Localization Approach. Internetware 2022: 85-95 - [c121]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
DeepLabel: Automated Issue Classification for Issue Tracking Systems. Internetware 2022: 231-241 - [c120]Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li:
Detecting resource utilization bugs induced by variant lifecycles in Android. ISSTA 2022: 642-653 - [c119]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. ASE 2022: 86:1-86:13 - [c118]Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li:
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) 2022: 408-412 - [c117]Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li:
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. VMCAI 2022: 473-495 - 2021
- [j51]Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li:
Machine learning steered symbolic execution framework for complex software code. Formal Aspects Comput. 33(3): 301-323 (2021) - [j50]Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li:
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. Int. J. Softw. Informatics 11(2): 121-147 (2021) - [j49]Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu:
Vulnerable Region-Aware Greybox Fuzzing. J. Comput. Sci. Technol. 36(5): 1212-1228 (2021) - [j48]Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Documentation-based functional constraint generation for library methods. Softw. Test. Verification Reliab. 31(8) (2021) - [j47]Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang:
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation. IEEE Trans. Parallel Distributed Syst. 32(4): 867-883 (2021) - [c116]Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li:
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC 2021: 631-636 - [c115]Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li:
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. FM 2021: 752-762 - [c114]Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li:
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. HSCC 2021: 7:1-7:11 - [c113]Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li:
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC 2021: 17:1-17:11 - [c112]Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li:
Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. ICML 2021: 6471-6482 - [c111]Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li:
GUIDER: GUI structure and vision co-guided test script repair for Android apps. ISSTA 2021: 191-203 - [c110]Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu:
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. PLDI 2021: 914-929 - [c109]Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu:
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. PLDI 2021: 1080-1094 - [e4]Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki:
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021. IEEE 2021, ISBN 978-1-6654-2587-2 [contents] - 2020
- [j46]Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Li-Jun Zhang:
Preface. J. Comput. Sci. Technol. 35(6): 1231-1233 (2020) - [j45]Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li:
Automatic Buffer Overflow Warning Validation. J. Comput. Sci. Technol. 35(6): 1406-1427 (2020) - [j44]Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, Xuandong Li:
Effective testing of Android apps using extended IFML models. J. Syst. Softw. 159 (2020) - [j43]Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li:
Enhancing example-based code search with functional semantics. J. Syst. Softw. 165: 110568 (2020) - [j42]Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li:
Scenario-Based Online Reachability Validation for CPS Fault Prediction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2081-2094 (2020) - [j41]Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu:
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. ACM Trans. Comput. Syst. 38(1-2): 4:1-4:39 (2020) - [c108]Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li:
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. CAV (1) 2020: 582-603 - [c107]Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li:
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. DATE 2020: 622-625 - [c106]Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, Xuandong Li:
Reinforcement learning based curiosity-driven testing of Android applications. ISSTA 2020: 153-164 - [c105]Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, Xuandong Li:
Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. ICPC 2020: 106-116
2010 – 2019
- 2019
- [j40]Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Automatic Detection and Repair Recommendation for Missing Checks. J. Comput. Sci. Technol. 34(5): 972-992 (2019) - [j39]Zhengzhao Chen, Renhe Jiang, Minxue Pan, Tian Zhang, Xuandong Li:
基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow). 计算机科学 46(11): 137-144 (2019) - [c104]Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li:
Incremental Online Verification of Dynamic Cyber-Physical Systems. DATE 2019: 782-787 - [c103]Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li:
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. EuroSys 2019: 38:1-38:17 - [c102]Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li:
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. ICSE 2019: 212-222 - [c101]Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu:
Energy distribution matters in greybox fuzzing. ICSE (Companion Volume) 2019: 270-271 - [c100]Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, Xuandong Li:
GUI-guided repair of mobile test scripts. ICSE (Companion Volume) 2019: 326-327 - [c99]Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li:
Global optimization of numerical programs via prioritized stochastic algebraic transformations. ICSE 2019: 1131-1141 - [c98]Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, Xuandong Li:
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud. IPDPS 2019: 771-780 - [c97]Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li:
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. SETSS 2019: 10-43 - [c96]Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li:
Preference-wise testing for Android applications. ESEC/SIGSOFT FSE 2019: 268-278 - 2018
- [j38]Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li:
Automatic generation of predictive monitors from scenario-based specifications. Inf. Softw. Technol. 98: 5-31 (2018) - [j37]Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43(3): 6-10 (2018) - [j36]Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li:
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2768-2778 (2018) - [j35]Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li:
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems. ACM Trans. Cyber Phys. Syst. 2(3): 22:1-22:23 (2018) - [c95]Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Detecting missing checks for identifying insufficient attack protections. ICSE (Companion Volume) 2018: 238-239 - [c94]Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li:
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. ICST 2018: 204-214 - [c93]Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. Internetware 2018: 5:1-5:10 - [c92]Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li:
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware 2018: 6:1-6:10 - [c91]An Huang, Minxue Pan, Tian Zhang, Xuandong Li:
Static extraction of IFML models for Android apps. MoDELS (Companion) 2018: 53-54 - [c90]Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li:
Change-Based Test Script Maintenance for Android Apps. QRS 2018: 215-225 - [p1]Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li:
HAT: Analyzing Linear Hybrid Automata as Labelled Transition System. Symposium on Real-Time and Hybrid Systems 2018: 85-104 - 2017
- [j34]Xuandong Li, Zhiming Liu:
Editorial. Formal Aspects Comput. 29(4): 581-582 (2017) - [j33]Zeqi Lin, Bing Xie, Yanzhen Zou, Junfeng Zhao, Xuandong Li, Jun Wei, Hailong Sun, Gang Yin:
Intelligent Development Environment and Software Knowledge Graph. J. Comput. Sci. Technol. 32(2): 242-249 (2017) - [j32]Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li:
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure. IEEE Trans. Computers 66(3): 416-430 (2017) - [j31]Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li:
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Trans. Embed. Comput. Syst. 16(5s): 186:1-186:19 (2017) - [j30]Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li:
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. IEEE Trans. Software Eng. 43(10): 975-994 (2017) - [c89]Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li:
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. ICST 2017: 161-171 - [c88]Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI 2017: 4331-4337 - [c87]Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li:
Automatic detection and validation of race conditions in interrupt-driven embedded software. ISSTA 2017: 113-124 - [c86]Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li:
Sketch-guided GUI test generation for mobile applications. ASE 2017: 38-43 - 2016
- [j29]Jianhua Zhao, Xuandong Li:
Formal Verification of 'Programming to Interfaces' Programs. Int. J. Softw. Informatics 10(4) (2016) - [j28]Yang Liu, Xuandong Li, Yan Ma:
A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence. J. Comput. Sci. Technol. 31(1): 198-216 (2016) - [c85]Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li:
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. ICST 2016: 91-101 - [c84]Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI 2016: 3140-3146 - [c83]Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li:
Carraybound: static array bounds checking in C programs based on taint analysis. Internetware 2016: 81-90 - [c82]Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li:
ACSPChecker: an ASP based CSP model checking tool. Internetware 2016: 99-102 - [c81]Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li:
Symbolic execution of complex program driven by machine learning based constraint solving. ASE 2016: 554-559 - [c80]Fengjuan Gao, Linzhang Wang, Xuandong Li:
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities. ASE 2016: 786-791 - [c79]Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li:
Precondition Calculation for Loops Iterating over Data Structures. QRS 2016: 132-143 - [e3]Hong Mei, Jian Lv, Zhi Jin, Xuandong Li:
Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware 2016, Beijing, China, September 18, 2016. ACM 2016, ISBN 978-1-4503-4829-4 [contents] - 2015
- [j27]Tian Zhang, Xiaomei Zheng, Yan Zhang, Jianhua Zhao, Xuandong Li:
A declarative approach for Java code instrumentation. Softw. Qual. J. 23(1): 143-170 (2015) - [j26]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems. ACM Trans. Design Autom. Electr. Syst. 20(3): 43:1-43:32 (2015) - [c78]Yan Zhou, You Li, Linzhang Wang, Xuandong Li:
nCov: A Tool for Measuring Length-n Subpath Coverage. Internetware 2015: 176-185 - [c77]Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware 2015: 199-202 - [c76]Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li:
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware 2015: 221-228 - [c75]Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li:
Node-Set Analysis for Linked Recursive Data Structures. QRS 2015: 59-64 - [c74]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Optimizing deterministic garbage collection in NAND flash storage systems. RTAS 2015: 14-23 - [c73]Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li:
An Open Framework for Semantic Code Queries on Heterogeneous Repositories. TASE 2015: 39-46 - [c72]Jiaxu Sun, Yongchao Li, Linzhang Wang, Xuandong Li, Xiaoxiao Ma, Jing Xu, Guanling Chen:
Controlling Smart TVs Using Touch Gestures on Mobile Devices. UIC/ATC/ScalCom 2015: 1222-1229 - [e2]Xuandong Li, Zhiming Liu, Wang Yi:
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science 9409, Springer 2015, ISBN 978-3-319-25941-3 [contents] - 2014
- [j25]Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li:
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. Formal Methods Syst. Des. 45(1): 42-62 (2014) - [c71]Dingbao Xie, Lei Bu, Xuandong Li:
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. RTSS 2014: 128-137 - [c70]Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao:
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. SEKE 2014: 632-635 - 2013
- [j24]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives. Des. Autom. Embed. Syst. 17(3-4): 565-586 (2013) - [j23]Pengcheng Zhang, Hareton Leung, Wenrui Li, Xuandong Li:
Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications. IET Softw. 7(4): 222-248 (2013) - [j22]Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li:
Verifying Aspect-Oriented Models against Crosscutting Properties. Int. J. Softw. Eng. Knowl. Eng. 23(5): 655-676 (2013) - [c69]Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao:
Optimizing translation information management in NAND flash memory storage systems. ASP-DAC 2013: 326-331 - [c68]Jianhua Zhao, Xuandong Li:
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. ICTAC 2013: 409-426 - [c67]Lei Yu, Xiucun Tang, Linzhang Wang, Xuandong Li:
Simulating software behavior based on UML activity diagram. Internetware 2013: 31:1-31:4 - [c66]Jing Xu, Xiang Ding, Guanling Chen, Jill L. Drury, Linzhang Wang, Xuandong Li:
A New Method for Automated GUI Modeling of Mobile Applications. MobiQuitous 2013: 688-693 - [c65]You Li, Zhendong Su, Linzhang Wang, Xuandong Li:
Steering symbolic execution to less traveled paths. OOPSLA 2013: 19-32 - [i4]Jianhua Zhao, Xuandong Li:
Formal Verification of 'Programming to Interfaces' Programs. CoRR abs/1311.7181 (2013) - 2012
- [j21]