default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLinzhang Wang
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
[j30]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)- [j29]Yulu Cao
, Lin Chen, Zhifei Chen, Jiacheng Zhong, Xiaowei Zhang, Linzhang Wang:
Efficient Construction of Practical Python Call Graphs with Entity Knowledge Base. Int. J. Softw. Eng. Knowl. Eng. 34(7): 999-1024 (2024) - [j28]Chi Zhang, Linzhang Wang, Manuel Rigger:
Finding Cross-Rule Optimization Bugs in Datalog Engines. Proc. ACM Program. Lang. 8(OOPSLA1): 110-136 (2024) - [j27]Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang:
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. Proc. ACM Program. Lang. 8(OOPSLA1): 500-528 (2024) - [j26]Yulu Cao, Zhifei Chen, Xiaowei Zhang, Yanhui Li, Lin Chen, Linzhang Wang:
Diagnosis of package installation incompatibility via knowledge base. Sci. Comput. Program. 235: 103098 (2024) - [c72]Xingwei Sun, Qinglong Li, Kaichi Ma, Linzhang Wang, Yujun Wang:
Two-Stage Neural Network Model with Packet Loss Detection for ICASSP 2024 PLC Challenge. ICASSP Workshops 2024: 9-10 - [c71]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 - [c70]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 - [c69]Zhengjie Du, Yuekang Li, Yaowen Zheng, Xiaohan Zhang, Cen Zhang, Yi Liu, Sheikh Mahbub Habib, Xinghua Li, Linzhang Wang, Yang Liu, Bing Mao:
Medusa: Unveil Memory Exhaustion DoS Vulnerabilities in Protocol Implementations. WWW 2024: 1668-1679 - [i8]Chi Zhang, Linzhang Wang, Manuel Rigger:
Finding Cross-rule Optimization Bugs in Datalog Engines. CoRR abs/2402.12863 (2024) - [i7]Haiyang Wei, Zhengjie Du, Haohui Huang, Yue Liu, Guang Cheng, Linzhang Wang, Bing Mao:
Inferring State Machine from the Protocol Implementation via Large Langeuage Model. CoRR abs/2405.00393 (2024) - 2023
- [j25]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) - [j24]Yu Wang, Ke Wang, Linzhang Wang:
An Explanation Method for Models of Code. Proc. ACM Program. Lang. 7(OOPSLA2): 801-827 (2023) - [j23]Yulu Cao, Lin Chen, Wanwangying Ma, Yanhui Li, Yuming Zhou, Linzhang Wang:
Towards Better Dependency Management: A First Look at Dependency Smells in Python Projects. IEEE Trans. Software Eng. 49(4): 1741-1765 (2023) - [c68]Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao:
OCFI: Make Function Entry Identification Hard Again. ISSTA 2023: 804-815 - [i6]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
- [j22]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) - [c67]Xingwei Sun, Chenbin Cao, Qinglong Li, Linzhang Wang, Fei Xiang:
Explore Relative and Context Information with Transformer for Joint Acoustic Echo Cancellation and Speech Enhancement. ICASSP 2022: 9117-9121 - [c66]Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li:
Graph Neural Network based Two-Phase Fault Localization Approach. Internetware 2022: 85-95 - [c65]Shangyu Xing, Junjie Zhou, Fukang Zhu, Xiaowen Yang, Yu Wang, Linzhang Wang:
Detecting Defects in Deep Learning Systems: a Survey. Internetware 2022: 137-146 - [c64]Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li:
DeepLabel: Automated Issue Classification for Issue Tracking Systems. Internetware 2022: 231-241 - [c63]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 - [c62]Jincheng He, Yuanyuan Bao, Na Xu, Hongfeng Li, Shicong Li, Linzhang Wang, Fei Xiang, Ming Li:
Single-Channel Target Speaker Separation Using Joint Training with Target Speaker's Pitch Information. Odyssey 2022: 301-305 - [i5]Chi Zhang, Yu Wang, Linzhang Wang:
Infrared: A Meta Bug Detector. CoRR abs/2209.08510 (2022) - 2021
- [j21]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) - [j20]Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang:
Deep Learning-Based Hybrid Fuzz Testing. Int. J. Softw. Informatics 11(3): 335-355 (2021) - [j19]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) - [j18]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) - [c61]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 - [c60]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 - [i4]Yu Wang, Fengjuan Gao, Linzhang Wang:
Demystifying Code Summarization Models. CoRR abs/2102.04625 (2021) - 2020
- [j17]Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li:
Automatic Buffer Overflow Warning Validation. J. Comput. Sci. Technol. 35(6): 1406-1427 (2020) - [j16]Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang:
Learning semantic program embeddings with graph interval neural network. Proc. ACM Program. Lang. 4(OOPSLA): 137:1-137:27 (2020) - [j15]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) - [c59]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 - [c58]Chi Zhang, Yu Wang, Linzhang Wang:
Firmware Fuzzing: The State of the Art. Internetware 2020: 110-115 - [c57]Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang:
Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning. Internetware 2020: 240-249 - [i3]Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang:
Learning Semantic Program Embeddings with Graph Interval Neural Network. CoRR abs/2005.09997 (2020)
2010 – 2019
- 2019
- [j14]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) - [c56]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 - [c55]Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu:
Energy distribution matters in greybox fuzzing. ICSE (Companion Volume) 2019: 270-271 - [c54]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 - [c53]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 - [i2]Yu Wang, Fengjuan Gao, Linzhang Wang, Ke Wang:
Learning a Static Bug Finder from Data. CoRR abs/1907.05579 (2019) - 2018
- [j13]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) - [c52]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 - [c51]Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li:
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. Internetware 2018: 5:1-5:10 - [c50]Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li:
Change-Based Test Script Maintenance for Android Apps. QRS 2018: 215-225 - 2017
- [c49]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 - [c48]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 - 2016
- [c47]Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li:
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. ICST 2016: 91-101 - [c46]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 - [c45]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 - [c44]Fengjuan Gao, Linzhang Wang, Xuandong Li:
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities. ASE 2016: 786-791 - 2015
- [j12]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) - [j11]Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, Linzhang Wang:
An Automated Test Generation Technique for Software Quality Assurance. IEEE Trans. Reliab. 64(1): 247-268 (2015) - [c43]Rujia Wang, Lei Jiang, Youtao Zhang, Linzhang Wang, Jun Yang:
Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM. DAC 2015: 21:1-21:6 - [c42]Rujia Wang, Lei Jiang, Youtao Zhang, Linzhang Wang, Jun Yang:
Exploit imbalanced cell writes to mitigate write disturbance in dense phase change memory. DAC 2015: 88:1-88:6 - [c41]Yan Zhou, You Li, Linzhang Wang, Xuandong Li:
nCov: A Tool for Measuring Length-n Subpath Coverage. Internetware 2015: 176-185 - [c40]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 - [c39]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 - [c38]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 - 2014
- [c37]Yongchao Li, You Li, Linzhang Wang, Guanling Chen:
Automatic XACML requests generation for testing access control policies. SEKE 2014: 217-222 - [c36]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
- [j10]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) - [j9]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) - [j8]Xiaoxiao Ma, Bo Yan, Guanling Chen, Chunhui Zhang, Ke Huang, Jill L. Drury, Linzhang Wang:
Design and Implementation of a Toolkit for Usability Testing of Mobile Apps. Mob. Networks Appl. 18(1): 81-97 (2013) - [c35]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 - [c34]Lei Yu, Xiucun Tang, Linzhang Wang, Xuandong Li:
Simulating software behavior based on UML activity diagram. Internetware 2013: 31:1-31:4 - [c33]Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu:
Dynamically validating static memory leak warnings. ISSTA 2013: 112-122 - [c32]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 - [c31]Chunhui Zhang, Ke Huang, Guanling Chen, Linzhang Wang:
MVPTrack: Energy-Efficient Places and Motion States Tracking. MobiQuitous 2013: 721-725 - [c30]You Li, Zhendong Su, Linzhang Wang, Xuandong Li:
Steering symbolic execution to less traveled paths. OOPSLA 2013: 19-32 - [c29]Yuanfang Cai, Hanfei Wang, Sunny Wong, Linzhang Wang:
Leveraging design rules to improve software architecture recovery. QoSA 2013: 133-142 - [c28]Jiantao He, Linzhang Wang, Jianhua Zhao:
Supporting Automatic Code Review via Design. SERE (Companion) 2013: 211-218 - 2012
- [j7]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) - [j6]Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang:
Testing aspect-oriented programs with finite state machines. Softw. Test. Verification Reliab. 22(4): 267-293 (2012) - [c27]Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li:
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS 2012: 222 - [c26]Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS 2012: 237 - [c25]Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Time-leverage point detection for time sensitive software maintenance. ICSM 2012: 567-570 - [c24]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 - [c23]Yuankui Li, Linzhang Wang:
Specifying and Detecting Behavioral Changes in Source Code Using Abstract Syntax Tree Differencing. ISCTCS 2012: 466-473 - [c22]Qing Xu, Yu Pei, Linzhang Wang:
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs. ISCTCS 2012: 591-597 - [c21]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 - 2011
- [j5]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) - [j4]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) - [i1]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
- [j3]Youtao Zhang, Jun Yang, Weijia Li, Linzhang Wang, Lingling Jin:
An authentication scheme for locating compromised sensor nodes in WSNs. J. Netw. Comput. Appl. 33(1): 50-62 (2010) - [c20]Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li:
BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE 2010: 1512-1517 - [c19]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 - [c18]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 - [c17]Lin Tan, Lei Bu, Jianhua Zhao, Linzhang Wang:
Analyzing the robustness of FTSP with timed automata. Internetware 2010: 21 - [c16]Yuting Chen, Shaoying Liu, Linzhang Wang:
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. QSIC 2010: 214-219 - [c15]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
2000 – 2009
- 2009
- [j2]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) - [c14]Zhanqi Cui, Linzhang Wang, Huigen Liu, Xuandong Li:
Computational error handling as aspects: a case study. PLATE@AOSD 2009: 7-11 - [c13]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 - [c12]Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu:
Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437 - 2008
- [c11]Lei Bu, You Li, Linzhang Wang, Xuandong Li:
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4 - [c10]Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao:
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE 2008: 487-490 - [c9]Bin Lei, Linzhang Wang, Xuandong Li:
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209 - [c8]Jianhua Zhao, Linzhang Wang, Xuandong Li:
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276 - [c7]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 - 2007
- [j1]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) - [c6]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 - [c5]Linzhang Wang, W. Eric Wong, Dianxiang Xu:
A Threat Model Driven Approach for Security Testing. SESS@ICSE 2007: 10 - 2006
- [c4]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 - [c3]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 - 2005
- [c2]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 - 2004
- [c1]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
Coauthor Index
[j30] [c71] [c70] [j25] [i6] [j22] [c66] [c64] [c63] [j21] [j19] [j18] [c61] [c60] [j17] [j15] [c59] [j14] [c56] [c55] [c54] [c53] [j13] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [j12] [c41] [c40] [c39] [c38] [c36] [j10] [j9] [c35] [c34] [c32] [c30] [j7] [c27] [c26] [c25] [c24] [c21] [j5] [j4] [i1] [c20] [c19] [c18] [c15] [j2] [c14] [c13] [c12] [c11] [c9] [c8] [c7] [j1] [c6] [c4] [c3] [c2] [c1]
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:32 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:
