Xuandong Li

According to our database1, Xuandong Li authored at least 126 papers between 1996 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems.
TCPS, 2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Model-based Construction and Verification of Cyber-Physical Systems.
ACM SIGSOFT Software Engineering Notes, 2018

Automatic generation of predictive monitors from scenario-based specifications.
Information & Software Technology, 2018

Change-Based Test Script Maintenance for Android Apps.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Static extraction of IFML models for Android apps.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Detecting missing checks for identifying insufficient attack protections.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.
IEEE Trans. Software Eng., 2017

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.
ACM Trans. Embedded Comput. Syst., 2017

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure.
IEEE Trans. Computers, 2017

Editorial.
Formal Asp. Comput., 2017

Sketch-guided GUI test generation for mobile applications.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatic detection and validation of race conditions in interrupt-driven embedded software.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2017

2016
A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence.
J. Comput. Sci. Technol., 2016

Precondition Calculation for Loops Iterating over Data Structures.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Symbolic execution of complex program driven by machine learning based constraint solving.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

BovInspector: automatic inspection and repair of buffer overflow vulnerabilities.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

ACSPChecker: an ASP based CSP model checking tool.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Carraybound: static array bounds checking in C programs based on taint analysis.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Hierarchical Model Predictive Control for Multi-Robot Navigation.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015
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., 2015

A declarative approach for Java code instrumentation.
Software Quality Journal, 2015

Controlling Smart TVs Using Touch Gestures on Mobile Devices.
Proceedings of the 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), 2015

An Open Framework for Semantic Code Queries on Heterogeneous Repositories.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Optimizing deterministic garbage collection in NAND flash storage systems.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Node-Set Analysis for Linked Recursive Data Structures.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

nCov: A Tool for Measuring Length-n Subpath Coverage.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Analyzing Inductively Defined Properties for Recursive Data Structures.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

2014
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.
Formal Methods in System Design, 2014

An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

2013
Verifying Aspect-Oriented Models against Crosscutting Properties.
International Journal of Software Engineering and Knowledge Engineering, 2013

Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications.
IET Software, 2013

Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives.
Design Autom. for Emb. Sys., 2013

Steering symbolic execution to less traveled paths.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

A New Method for Automated GUI Modeling of Mobile Applications.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Simulating software behavior based on UML activity diagram.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Optimizing translation information management in NAND flash memory storage systems.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Timing analysis of scenario-based specifications using linear programming.
Softw. Test., Verif. Reliab., 2012

Timing analysis of MSC specifications with asynchronous concatenation.
STTT, 2012

Loop reduction techniques for reachability analysis of linear hybrid automata.
SCIENCE CHINA Information Sciences, 2012

Regression Test Cases Generation Based on Automatic Model Revision.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Detecting source code changes to maintain the consistence of behavioral model.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Time-leverage point detection for time sensitive software maintenance.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Forward and backward: Bounded model checking of linear hybrid automata from two directions.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Query by Drawing Examples of UML Model.
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

Proactive Enforcement of Data Consistency by Business Processes.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Path-oriented bounded reachability analysis of composed linear hybrid systems.
STTT, 2011

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Review, 2011

UML interaction model-driven runtime verification of Java programs.
IET Software, 2011

Automatic Regression Test Selection Based on Activity Diagrams.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

An Instrumentation Tool for Program Dynamic Analysis in Java.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Feedback-Directed Test Case Generation Based on UML Activity Diagrams.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Run-time systems failure prediction via proactive monitoring.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata.
Proceedings of the Hardware and Software: Verification and Testing, 2011

2010
Robustness testing for software components.
Sci. Comput. Program., 2010

Preface.
Int. J. Software and Informatics, 2010

State Based Robustness Testing for Components.
Electr. Notes Theor. Comput. Sci., 2010

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
Proceedings of the Verification, 2010

Extending Ada to support multi-core based monitoring and fault tolerance.
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Test adequacy criterion based on coincidental correctness probability.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Model Checking of Hybrid Systems Using Shallow Synchronization.
Proceedings of the Formal Techniques for Distributed Systems, 2010

BACH 2 : Bounded reachability checker for compositional linear hybrid systems.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.
Comput. J., 2009

Modeling and integrating aspects with UML activity diagrams.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Design pattern directed clustering for understanding open source code.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture.
Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, 2009

TASS: Timing Analyzer of Scenario-Based Specifications.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
An MDE-based method for bridging different design notations.
ISSE, 2008

UML state machine diagram driven runtime verification of Java programs for message interaction consistency.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, 2008

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.
Proceedings of the First International Conference on Software Testing, 2008

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007
A model-driven development framework for enterprise Web services.
Information Systems Frontiers, 2007

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.
Electr. Notes Theor. Comput. Sci., 2007

Towards a Model Driven Approach to Automatic BPEL Generation.
Proceedings of the Model Driven Architecture- Foundations and Applications, 2007

2006
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.
J. Comput. Sci. Technol., 2006

Deriving Available Behavior All Out from Incompatible Component Compositions.
Electr. Notes Theor. Comput. Sci., 2006

Improve Model Checking Efficiency Using Specific Knowledge about the System.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Scenario-based Component Behavior Filtration.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Automatic Test Case Generation for UML Activity Diagrams.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Scenario-Based Component Behavior Derivation.
Proceedings of the Formal Methods and Software Engineering, 2006

Scenario-Based Timing Consistency Checking for Time Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Modelling and Analysis of Power Consumption for Component-Based Embedded Software.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

A Model Driven Development Framework for Enterprise Web Services.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Runtime Verification of Java Programs for Scenario-Based Specifications.
Proceedings of the Reliable Software Technologies, 2006

2005
A quadratic-time DBM-based successor algorithm for checking timed automata.
Inf. Process. Lett., 2005

Consistency Checking of Concurrent Models for Scenario-Based Specifications.
Proceedings of the SDL 2005: Model Driven, 2005

Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.
Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 2005

Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.
Proceedings of the Embedded and Ubiquitous Computing, 2005

2004
Duration-constrained regular expressions.
Formal Asp. Comput., 2004

Verifying Compositional Designs for Scenario-Based Timing Specifications.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

Generating Test Cases from UML Activity Diagram based on Gray-Box Method.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebr. Program., 2002

Checking MSC Specifications for Timing Inconsistency.
J. Comput. Sci. Technol., 2002

Partial Order Path Technique for Checking Parallel Timed Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Linear Hybrid Action Systems.
Nord. J. Comput., 2001

Verifying Time Petri Nets by Linear Programming.
J. Comput. Sci. Technol., 2001

Efficient verification of a class of time Petri nets using linear programming.
Inf. Process. Lett., 2001

Timing Analysis of UML Activity Diagrams.
Proceedings of the «UML» 2001, 2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
Checking compositions of UML sequence diagrams for timing inconsistency.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
Timing Analysis of UML Sequence Diagrams.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Checking time Petri nets for linear duration properties.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998
Hybrid Regular Expressions.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997
A Message-based Real-Time Model by Object-Oriented Technique.
Operating Systems Review, 1997

Enhancing Reusability and Maintainability in NDOOM.
OOIS, 1997

Checking Hybrid Automata for Linear Duration Invariants.
Proceedings of the Advances in Computing Science, 1997

1996
Checking Linear Duration Invariants by Linear Programming.
Proceedings of the Concurrency and Parallelism, 1996

A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996


  Loading...