Linzhang Wang

发表

Test adequacy criterion based on coincidental correctness probability

Xuandong Li, Xiaoli Zhou, Linzhang Wang, 2014, SEKE.

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online

Xin Chen, Lei Bu, Xuandong Li, 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

Global Optimization of Numerical Programs Via Prioritized Stochastic Algebraic Transformations

Zhendong Su, Zhenyu Chen, Xuandong Li, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).

Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives

Yi Wang, Zili Shao, Linzhang Wang, 2013, Des. Autom. Embed. Syst..

Selective restore: An energy efficient read disturbance mitigation scheme for future STT-MRAM

Jun Yang, Youtao Zhang, Linzhang Wang, 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

Verifying Aspect-Oriented Models against Crosscutting Properties

Xuandong Li, Xi Liu, Linzhang Wang, 2013, Int. J. Softw. Eng. Knowl. Eng..

Design pattern directed clustering for understanding open source code

Xin Chen, Jianhua Zhao, Xuandong Li, 2009, 2009 IEEE 17th International Conference on Program Comprehension.

An authentication scheme for locating compromised sensor nodes in WSNs

Weijia Li, Jun Yang, Youtao Zhang, 2010, J. Netw. Comput. Appl..

Extending Ada to support multi-core based monitoring and fault tolerance

Jianhua Zhao, Lei Bu, Xuandong Li, 2010 .

Analyzing the robustness of FTSP with timed automata

Jianhua Zhao, Lei Bu, Linzhang Wang, 2010, Internetware.

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior

Xin Chen, Qixin Wang, Jianhua Zhao, 2011, SIGBED.

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java

Jianhua Zhao, Xuandong Li, Lu Yang, 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code

Kai Wang, Yifei Wang, Xuandong Li, 2019, EuroSys.

A New Method for Automated GUI Modeling of Mobile Applications

Jing Xu, Guanling Chen, Xiang Ding, 2013, MobiQuitous.

Optimizing translation information management in NAND flash memory storage systems

Qi Zhang, Zili Shao, Xuandong Li, 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

Runtime Verification of Java Programs for Scenario-Based Specifications

Guoliang Zheng, Jianhua Zhao, Bin Lei, 2006, Ada-Europe.

UML state machine diagram driven runtime verification of Java programs for message interaction consistency

Bin Lei, Xuandong Li, Xiaokang Qiu, 2008, SAC '08.

Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities

Bing Mao, Xuandong Li, Linzhang Wang, 2018, Internetware.

MAGIC: Path-Guided Concolic Testing

Mary Lou Soffa, Xuandong Li, Linzhang Wang, 2012 .

Model-based Construction and Verification of Cyber-Physical Systems

Jianhua Zhao, Lei Bu, Xuandong Li, 2018, SOEN.

Simulating software behavior based on UML activity diagram

Xuandong Li, Linzhang Wang, Lei Yu, 2013, Internetware.

Energy Distribution Matters in Greybox Fuzzing

Peng Liu, Linzhang Wang, Le Guan, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

BACH 2 : Bounded reachability checker for compositional linear hybrid systems

Xin Chen, You Li, Lei Bu, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Poster: Detecting Missing Checks for Identifying Insufficient Attack Protections

Yang Liu, Liang Zou, Bing Mao, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

ACSPChecker: an ASP based CSP model checking tool

Jianhua Zhao, Yu Wang, Lei Bu, 2016, Internetware.

Optimization of Points-to Analysis for Java: Optimization of Points-to Analysis for Java

Qian Li, Jianhua Zhao, Linzhang Wang, 2011 .

Design pattern directed software clustering approach

Jianhua Zhao, Linzhang Wang, Lei Bu, 2014 .

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata

Jianhua Zhao, Lei Bu, Xuandong Li, 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata

You Li, Lei Bu, Xuandong Li, 2008, 2008 Formal Methods in Computer-Aided Design.

Dynamically validating static memory leak warnings

Guoqing Xu, Linzhang Wang, Yuanjun Chen, 2013, ISSTA.

Detecting source code changes to maintain the consistence of behavioral model

Yuanfang Cai, Xuandong Li, Linzhang Wang, 2012, Internetware.

Optimizing deterministic garbage collection in NAND flash storage systems

Yi Wang, Linzhang Wang, Zili Shao, 2015, 21st IEEE Real-Time and Embedded Technology and Applications Symposium.

Automatic Buffer Overflow Warning Validation

Yu Wang, Linzhang Wang, Zijiang Yang, 2020, J. Comput. Sci. Technol..

A model-driven development framework for enterprise Web services

Jun Hu, Jianhua Zhao, Xuandong Li, 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

Carraybound: static array bounds checking in C programs based on taint analysis

Yu Wang, Xuandong Li, Linzhang Wang, 2016, Internetware.

Combined Static and Dynamic Immutability Analysis of Java Program: Combined Static and Dynamic Immutability Analysis of Java Program

Jianhua Zhao, Linzhang Wang, Lei Bu, 2010 .

Towards a Model Driven Approach to Automatic BPEL Generation

Guoliang Zheng, Jianhua Zhao, Xuandong Li, 2007, ECMDA-FA.

Modeling and integrating aspects with UML activity diagrams

Dianxiang Xu, Xuandong Li, Linzhang Wang, 2009, SAC '09.

ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications

Xiao Li, Yan Wang, Xuandong Li, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Change-Based Test Script Maintenance for Android Apps

Xuandong Li, Linzhang Wang, Subrota K. Mondal, 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS).

Time-leverage point detection for time sensitive software maintenance

Jianhua Zhao, Xuandong Li, Linzhang Wang, 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs

Qing Xu, Linzhang Wang, Yu Pei, 2012, ISCTCS.

BACH: B ounded reach A bility CH ecker for linear hybrid automata

Lei Bu, Xuandong Li, Linzhang Wang, 2008, FMCAD 2008.

Design and Implementation of a Toolkit for Usability Testing of Mobile Apps

Bo Yan, Xiaoxiao Ma, Ke Huang, 2013, Mob. Networks Appl..

Online Verification of Control Parameter Calculations in Communication Based Train Control System pdf

Xin Chen, Lei Bu, Xuandong Li, 2011, ArXiv.

Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata

Jianhua Zhao, Lei Bu, Xuandong Li, 2013 .

Automatic XACML requests generation for testing access control policies

Guanling Chen, You Li, Linzhang Wang, 2014, SEKE.

BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities

Xuandong Li, Linzhang Wang, Fengjuan Gao, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software

Yu Wang, Linzhang Wang, Xuandong Li, 2020, IEEE Transactions on Software Engineering.

Computational Error Handling as Aspects: A Case Study and Evaluation: Computational Error Handling as Aspects: A Case Study and Evaluation

Linzhang Wang, Zhan-Qi Cui, Xuan-Dong Li, 2011 .

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency

Bin Lei, Xuandong Li, Linzhang Wang, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

An Automated Test Generation Technique for Software Quality Assurance

Dianxiang Xu, Weifeng Xu, Linzhang Wang, 2015, IEEE Transactions on Reliability.

Timing analysis of scenario‐based specifications using linear programming

Jianhua Zhao, Lei Bu, Xuandong Li, 2012, Softw. Test. Verification Reliab..

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java

Jianhua Zhao, Xuandong Li, Lu Yang, 2010, ICECCS.

nCov: A Tool for Measuring Length-n Subpath Coverage

Yan Zhou, You Li, Xuandong Li, 2015, Internetware.

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation

Jianhua Zhao, Yu Wang, Xuandong Li, 2015, Internetware.

Testing aspect‐oriented programs with finite state machines

Dianxiang Xu, Weifeng Xu, Linzhang Wang, 2012, Softw. Test. Verification Reliab..

A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking

Jianhua Zhao, Xuandong Li, Linzhang Wang, 2008, ISoLA.

BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud

Rong Gu, Zhiqiang Zuo, Linzhang Wang, 2019, 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS).

Automatic detection and validation of race conditions in interrupt-driven embedded software

Tingting Yu, Jianhua Zhao, Yu Wang, 2017, ISSTA.

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

Tao Ye, Xuandong Li, Lingming Zhang, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Extending Ada to support multi-core based monitoring and fault tolerance

Jianhua Zhao, You Li, Lei Bu, 2010, SIGAda.

Learning semantic program embeddings with graph interval neural network

Yu Wang, Linzhang Wang, Ke Wang, 2020, Proc. ACM Program. Lang..

Exploit imbalanced cell writes to mitigate write disturbance in dense Phase Change Memory

Jun Yang, Youtao Zhang, Linzhang Wang, 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks

Yu Wang, Zhendong Su, Xuandong Li, 2018 .

Leveraging design rules to improve software architecture recovery

Yuanfang Cai, Hanfei Wang, Linzhang Wang, 2013, QoSA '13.

Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models

Xin Chen, Zhou Zhou, Jianhua Zhao, 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

Supporting Automatic Code Review via Design

Jianhua Zhao, Linzhang Wang, Jiantao He, 2013, 2013 IEEE Seventh International Conference on Software Security and Reliability Companion.

Steering symbolic execution to less traveled paths

Zhendong Su, You Li, Xuandong Li, 2013, OOPSLA.

Scenario-Driven Service Behavior Manipulation: Scenario-Driven Service Behavior Manipulation

Xi Liu, Linzhang Wang, Lu Yang, 2011 .

Robustness Testing for Components Based on State Machine Model: Robustness Testing for Components Based on State Machine Model

Linzhang Wang, Lei Bu, Xuan-Dong Li, 2010 .

Controlling Smart TVs Using Touch Gestures on Mobile Devices

Jing Xu, Xiaoxiao Ma, Guanling Chen, 2015, 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).

Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language

Linzhang Wang, Mingsong Chen, Xuandong Li, 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs

Wei Xu, Mingsong Chen, Jianhua Zhao, 2009, Comput. J..

UML interaction model-driven runtime verification of Java programs

Xin Chen, Zhou Zhou, Xuandong Li, 2011, IET Softw..

MVPTrack: Energy-Efficient Places and Motion States Tracking

Ke Huang, Chunhui Zhang, Guanling Chen, 2013, MobiQuitous.

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer

Xi Liu, Jianhua Zhao, Lei Bu, 2012, SEKE.

Modeling and analysis of wireless sensor network protocols by stochastic timed automata and statistical model checking

Jianhua Zhao, Linzhang Wang, Lei Bu, 2013 .

A Threat Model Driven Approach for Security Testing

Dianxiang Xu, W. Eric Wong, Linzhang Wang, 2007, Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007).

Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems

Qi Zhang, Zili Shao, Xuandong Li, 2015, TODE.

Learning a Static Bug Finder from Data pdf

Yu Wang, Ke Wang, Linzhang Wang, 2019, ArXiv.

Recovering design patterns to support program comprehension

Hanfei Wang, Xuandong Li, Linzhang Wang, 2012, EAST '12.

Specifying and Detecting Behavioral Changes in Source Code Using Abstract Syntax Tree Differencing

Linzhang Wang, Yuankui Li, 2012, ISCTCS.

Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation

Rong Gu, Linzhang Wang, Xuandong Li, 2021, IEEE Transactions on Parallel and Distributed Systems.

An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems

Shaoying Liu, Yuting Chen, Linzhang Wang, 2010, 2010 10th International Conference on Quality Software.