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
- 2024
[j62]Jian Shen, Zhong Li, Yifei Lu, Minxue Pan, Xuandong Li:
Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks. Autom. Softw. Eng. 31(1): 33 (2024)- [j61]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
Empirically revisiting and enhancing automatic classification of bug and non-bug issues. Frontiers Comput. Sci. 18(5): 185207 (2024) - [j60]Yifei Lu
, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su:
Understanding and Finding Java Decompiler Bugs. Proc. ACM Program. Lang. 8(OOPSLA1): 1380-1406 (2024) - [j59]Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li:
Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization. ACM Trans. Softw. Eng. Methodol. 33(3): 67:1-67:37 (2024) - [c135]Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li:
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. CAV (3) 2024: 329-355 - [c134]Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang, Tian Zhang, Xuandong Li:
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning. ICSE 2024: 71:1-71:13 - [c133]Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li:
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. ICSE 2024: 90:1-90:13 - [c132]Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li:
Distance-Aware Test Input Selection for Deep Neural Networks. ISSTA 2024: 248-260 - [c131]Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li:
Silent Taint-Style Vulnerability Fixes Identification. ISSTA 2024: 428-439 - [i6]Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo:
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing. CoRR abs/2402.17241 (2024) - 2023
- [j58]Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi:
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. IEEE Internet Things J. 10(23): 20718-20734 (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) - [c130]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 - [c129]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 - [c128]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 - [c127]Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo:
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. ESEC/SIGSOFT FSE 2023: 1431-1443 - [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]Minxue Pan, You Li, Lei Bu, Xuandong Li:
Loop reduction techniques for reachability analysis of linear hybrid automata. Sci. China Inf. Sci. 55(12): 2663-2674 (2012) - [j20]Minxue Pan, Xuandong Li:
Timing analysis of MSC specifications with asynchronous concatenation. Int. J. Softw. Tools Technol. Transf. 14(6): 639-651 (2012) - [j19]Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao:
Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. 22(2): 121-143 (2012) - [c64]Xuelin Zhang, Tian Zhang, Xuandong Li:
Query by Drawing Examples of UML Model. APSEC Workshops 2012: 154-157 - [c63]Xi Liu, Jianwen Su, Xuandong Li:
Proactive Enforcement of Data Consistency by Business Processes. APSEC 2012: 701-704 - [c62]Yang Yang, Lei Bu, Xuandong Li:
Forward and backward: Bounded model checking of linear hybrid automata from two directions. FMCAD 2012: 204-208 - [c61]Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li:
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS 2012: 222 - [c60]Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS 2012: 237 - [c59]Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Time-leverage point detection for time sensitive software maintenance. ICSM 2012: 567-570 - [c58]Yuankui Li, Linzhang Wang, Xuandong Li, Yuanfang Cai:
Detecting source code changes to maintain the consistence of behavioral model. Internetware 2012: 7:1-7:6 - [c57]Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li:
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE 2012: 369-374 - [c56]Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li:
Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. SERE (Companion) 2012: 37-38 - [c55]Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li:
Regression Test Cases Generation Based on Automatic Model Revision. TASE 2012: 127-134 - 2011
- [j18]Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao:
UML interaction model-driven runtime verification of Java programs. IET Softw. 5(2): 142-156 (2011) - [j17]Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li:
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. 8(2): 7-10 (2011) - [j16]Lei Bu, Xuandong Li:
Path-oriented bounded reachability analysis of composed linear hybrid systems. Int. J. Softw. Tools Technol. Transf. 13(4): 307-317 (2011) - [c54]Lei Bu, Yang Yang, Xuandong Li:
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata. Haifa Verification Conference 2011: 35-49 - [c53]Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li:
Run-time systems failure prediction via proactive monitoring. ASE 2011: 484-487 - [c52]Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li:
Feedback-Directed Test Case Generation Based on UML Activity Diagrams. SSIRI (Companion) 2011: 9-10 - [c51]Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li:
An Instrumentation Tool for Program Dynamic Analysis in Java. SSIRI (Companion) 2011: 60-67 - [c50]Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li:
Automatic Regression Test Selection Based on Activity Diagrams. SSIRI (Companion) 2011: 166-171 - [i3]Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li:
Online Verification of Control Parameter Calculations in Communication Based Train Control System. CoRR abs/1101.4271 (2011) - 2010
- [j15]Zhi Jin, Xuandong Li:
Preface. Int. J. Softw. Informatics 4(3): 347-349 (2010) - [j14]Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010) - [c49]Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li:
BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE 2010: 1512-1517 - [c48]Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta:
Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169 - [c47]Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. ICECCS 2010: 255-256 - [c46]Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Enabling multi-core based monitoring and fault tolerance in C++/Java. IWMSE@ICSE 2010: 32-39 - [c45]Jie Chen, Qian Li, Jianhua Zhao, Xuandong Li:
Test adequacy criterion based on coincidental correctness probability. Internetware 2010: 20 - [c44]Qian Li, Jianhua Zhao, Xuandong Li:
Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. ISoLA (1) 2010: 564-578 - [c43]Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su:
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. ISSTA 2010: 131-142 - [c42]You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62 - [c41]Lei Bu, Jianhua Zhao, Xuandong Li:
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI 2010: 78-94 - [e1]Hong Mei, Jian Lv, Xuandong Li, Zhi Jin:
Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware 2010, Suzhou, China, November 3-4, 2010. ACM 2010, ISBN 978-1-4503-0694-2 [contents] - [i2]Jianhua Zhao, Xuandong Li:
Scope Logic with Local Reasoning and Pre/Post-State Properties. CoRR abs/1012.2553 (2010)
2000 – 2009
- 2009
- [j13]Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. 52(5): 545-556 (2009) - [c40]Zhanqi Cui, Linzhang Wang, Huigen Liu, Xuandong Li:
Computational error handling as aspects: a case study. PLATE@AOSD 2009: 7-11 - [c39]Minxue Pan, Lei Bu, Xuandong Li:
TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695 - [c38]Lu Yang, Zhanqi Cui, Xuandong Li:
A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. HPCC 2009: 630-635 - [c37]Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li:
Design pattern directed clustering for understanding open source code. ICPC 2009: 295-296 - [c36]Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu:
Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437 - [i1]Jianhua Zhao, Xuandong Li:
Scope Logic: Extending Hoare Logic for Pointer Program Verification. CoRR abs/0912.4184 (2009) - 2008
- [j12]Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li:
An MDE-based method for bridging different design notations. Innov. Syst. Softw. Eng. 4(3): 203-213 (2008) - [c35]Lei Bu, You Li, Linzhang Wang, Xuandong Li:
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4 - [c34]Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li:
A case study for monitoring-oriented programming in multi-core architecture. IWMSE@ICSE 2008: 47-52 - [c33]Bin Lei, Linzhang Wang, Xuandong Li:
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209 - [c32]Jianhua Zhao, Linzhang Wang, Xuandong Li:
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276 - [c31]Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong:
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. SAC 2008: 384-389 - [c30]Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li:
State Based Robustness Testing for Components. FACS 2008: 173-188 - 2007
- [j11]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li:
A model-driven development framework for enterprise Web services. Inf. Syst. Frontiers 9(4): 391-409 (2007) - [c29]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li:
Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218 - 2006
- [j10]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006) - [c28]Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng:
Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105 - [c27]Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84 - [c26]Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang:
Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804 - [c25]Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng:
Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403 - [c24]Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225 - [c23]Mingsong Chen, Xiaokang Qiu, Xuandong Li:
Automatic Test Case Generation for UML Activity Diagrams. AST 2006: 2-8 - [c22]Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-based Component Behavior Filtration. SET 2006: 25-36 - [c21]Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng:
Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396 - [c20]Xuandong Li, Sumit Jha Aanand, Lei Bu:
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. BMC@FLoC 2006: 57-70 - 2005
- [j9]Jianhua Zhao, Xuandong Li, Guoliang Zheng:
A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96(3): 101-105 (2005) - [c19]Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng:
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. EUC 2005: 395-404 - [c18]Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng:
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247 - [c17]Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng:
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005 - [c16]Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng:
Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312 - [c15]Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions. FACS 2005: 349-361 - 2004
- [j8]Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng:
Duration-constrained regular expressions. Formal Aspects Comput. 16(2): 155-163 (2004) - [c14]Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng:
Generating Test Cases from UML Activity Diagram based on Gray-Box Method. APSEC 2004: 284-291 - [c13]Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng:
Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256 - 2003
- [c12]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45 - 2002
- [j7]Xuandong Li, Wenkai Tan, Guoliang Zheng:
Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002) - [j6]Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng:
Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebraic Methods Program. 52-53: 79-108 (2002) - [c11]Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng:
Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432 - 2001
- [j5]Xuandong Li, Johan Lilius:
Efficient verification of a class of time Petri nets using linear programming. Inf. Process. Lett. 77(5-6): 219-224 (2001) - [j4]Xuandong Li:
Verifying Time Petri Nets by Linear Programming. J. Comput. Sci. Technol. 16(1): 39-46 (2001) - [j3]Mauno Rönkkö, Xuandong Li:
Linear Hybrid Action Systems. Nord. J. Comput. 8(1): 159- (2001) - [c10]Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng:
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480 - [c9]Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng:
Timing Analysis of UML Activity Diagrams. UML 2001: 62-75 - 2000
- [c8]Xuandong Li, Johan Lilius:
Checking compositions of UML sequence diagrams for timing inconsistency. APSEC 2000: 154-161
1990 – 1999
- 1999
- [c7]Xuandong Li, Johan Lilius:
Checking time Petri nets for linear duration properties. PNPM 1999: 218-227 - [c6]Xuandong Li, Johan Lilius:
Timing Analysis of UML Sequence Diagrams. UML 1999: 661-674 - 1998
- [j2]Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng:
Compositional model-checking for real-time systems. ACM SIGSOFT Softw. Eng. Notes 23(1): 99 (1998) - [c5]Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng:
Hybrid Regular Expressions. HSCC 1998: 384-399 - 1997
- [j1]Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng:
A Message-based Real-Time Model by Object-Oriented Technique. ACM SIGOPS Oper. Syst. Rev. 31(3): 45-51 (1997) - [c4]Xuandong Li, Dang Van Hung, Tao Zheng:
Checking Hybrid Automata for Linear Duration Invariants. ASIAN 1997: 166-180 - [c3]Xuandong Li, Guoliang Zheng:
Enhancing Reusability and Maintainability in NDOOM. OOIS 1997: 236-246 - 1996
- [c2]Xuandong Li, Guoliang Zheng:
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. APSEC 1996: 93- - [c1]Xuandong Li, Dang Van Hung:
Checking Linear Duration Invariants by Linear Programming. ASIAN 1996: 321-332
Coauthor Index
[j61] [c133] [c132] [j58] [i5] [j53] [c122] [c121] [c119] [j50] [j49] [j47] [c110] [c109] [j45] [j41] [c107] [j40] [c103] [c101] [c99] [c98] [j37] [c95] [c93] [c90] [c89] [c87] [c85] [c83] [c82] [c80] [j26] [c78] [c77] [c74] [c72] [c70] [j24] [j22] [c69] [c67] [c66] [c65] [j19] [c61] [c60] [c59] [c58] [c57] [j18] [j17] [i3] [c49] [c47] [c46] [c42] [j13] [c40] [c37] [c36] [c35] [c33] [c32] [c31] [j11] [c29] [c28] [c27] [c18] [c14]
[i5] [j53] [c118] [j37] [c92] [c87] [j29] [c82] [c79] [j27] [c77] [c76] [c75] [j25] [c70] [j22] [c68] [i4] [j19] [c60] [c59] [c57] [j17] [c47] [c46] [c45] [c44] [c42] [c41] [i2] [j13] [c37] [i1] [c34] [c32] [j11] [c29] [j10] [c28] [c27] [c25] [c21] [j9] [c17] [c16] [j8] [c13] [c12] [j6] [c11] [c10] [c9] [c5]
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:36 CET 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:
