Xuandong Li

Autom. Softw. Eng., June, 2024

Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., March, 2024

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing.

[BibT_eX]

[DOI]

CoRR, 2024

Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Preference-wise Testing of Android Apps via Test Amplification.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2023

Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Security Checking of Trigger-Action-Programming Smart Home Integrations.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

GUI-Guided Test Script Repair for Mobile Apps.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Safe reinforcement learning for dynamical systems using barrier certificates.

[BibT_eX]

[DOI]

Qingye Zhao

Yi Zhang

Connect. Sci., 2022

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Detecting resource utilization bugs induced by variant lifecycles in Android.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Functional Scenario Classification for Android Applications using GNNs.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Graph Neural Network based Two-Phase Fault Localization Approach.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

DeepLabel: Automated Issue Classification for Issue Tracking Systems.

[BibT_eX]

[DOI]

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2022

Verifying Neural Network Controlled Systems Using Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

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

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2021

Documentation-based functional constraint generation for library methods.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2021

Vulnerable Region-Aware Greybox Fuzzing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2021

Machine learning steered symbolic execution framework for complex software code.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

GUIDER: GUI structure and vision co-guided test script repair for Android apps.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2020

Scenario-Based Online Reachability Validation for CPS Fault Prediction.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Effective testing of Android apps using extended IFML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Enhancing example-based code search with functional semantics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

Automatic Buffer Overflow Warning Validation.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Reinforcement learning based curiosity-driven testing of Android applications.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow).

[BibT_eX]

[DOI]

计算机科学, 2019

Automatic Detection and Repair Recommendation for Missing Checks.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

Preference-wise testing for Android applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

Global optimization of numerical programs via prioritized stochastic algebraic transformations.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Energy distribution matters in greybox fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

GUI-guided repair of mobile test scripts.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Incremental Online Verification of Dynamic Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

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

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Model-based Construction and Verification of Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2018

Automatic generation of predictive monitors from scenario-based specifications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Change-Based Test Script Maintenance for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Static extraction of IFML models for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Detecting missing checks for identifying insufficient attack protections.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

Intelligent Development Environment and Software Knowledge Graph.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2017

Editorial.

[BibT_eX]

[DOI]

Zhiming Liu

Formal Aspects Comput., 2017

Sketch-guided GUI test generation for mobile applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence.

[BibT_eX]

[DOI]

Yang Liu

Yan Ma

J. Comput. Sci. Technol., 2016

Formal Verification of 'Programming to Interfaces' Programs.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2016

Precondition Calculation for Loops Iterating over Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Symbolic execution of complex program driven by machine learning based constraint solving.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

BovInspector: automatic inspection and repair of buffer overflow vulnerabilities.

[BibT_eX]

[DOI]

Fengjuan Gao

Linzhang Wang

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

ACSPChecker: an ASP based CSP model checking tool.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Hierarchical Model Predictive Control for Multi-Robot Navigation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2015

A declarative approach for Java code instrumentation.

[BibT_eX]

[DOI]

Softw. Qual. J., 2015

Controlling Smart TVs Using Touch Gestures on Mobile Devices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Optimizing deterministic garbage collection in NAND flash storage systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Node-Set Analysis for Linked Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

nCov: A Tool for Measuring Length-n Subpath Coverage.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Analyzing Inductively Defined Properties for Recursive Data Structures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability.

[BibT_eX]

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.

[BibT_eX]

[DOI]

Dingbao Xie

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

2013

Verifying Aspect-Oriented Models against Crosscutting Properties.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2013

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

[BibT_eX]

[DOI]

IET Softw., 2013

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

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2013

Steering symbolic execution to less traveled paths.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Simulating software behavior based on UML activity diagram.

[BibT_eX]

[DOI]

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Optimizing translation information management in NAND flash memory storage systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Timing analysis of scenario-based specifications using linear programming.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

Timing analysis of MSC specifications with asynchronous concatenation.

[BibT_eX]

[DOI]

Minxue Pan

Int. J. Softw. Tools Technol. Transf., 2012

Loop reduction techniques for reachability analysis of linear hybrid automata.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2012

Regression Test Cases Generation Based on Automatic Model Revision.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

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

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Time-leverage point detection for time sensitive software maintenance.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yang Yang

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Query by Drawing Examples of UML Model.

[BibT_eX]

[DOI]

Xuelin Zhang

Tian Zhang

Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

Proactive Enforcement of Data Consistency by Business Processes.

[BibT_eX]

[DOI]

Xi Liu

Jianwen Su

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2011

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

[BibT_eX]

[DOI]

SIGBED Rev., 2011

UML interaction model-driven runtime verification of Java programs.

[BibT_eX]

[DOI]

IET Softw., 2011

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

[BibT_eX]

[DOI]

CoRR, 2011

Automatic Regression Test Selection Based on Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

An Instrumentation Tool for Program Dynamic Analysis in Java.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Feedback-Directed Test Case Generation Based on UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Run-time systems failure prediction via proactive monitoring.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yang Yang

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Robustness testing for software components.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Preface.

[BibT_eX]

[DOI]

Zhi Jin

Int. J. Softw. Informatics, 2010

Scope Logic with Local Reasoning and Pre/Post-State Properties

[BibT_eX]

[DOI]

CoRR, 2010

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

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

[BibT_eX]

[DOI]

Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Qian Li

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Test adequacy criterion based on coincidental correctness probability.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Enabling multi-core based monitoring and fault tolerance in C++/Java.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

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

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Model Checking of Hybrid Systems Using Shallow Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

BACH 2 : Bounded reachability checker for compositional linear hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Scope Logic: Extending Hoare Logic for Pointer Program Verification

[BibT_eX]

[DOI]

CoRR, 2009

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

[BibT_eX]

[DOI]

Comput. J., 2009

Modeling and integrating aspects with UML activity diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Design pattern directed clustering for understanding open source code.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture.

[BibT_eX]

[DOI]

Lu Yang

Zhanqi Cui

Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, 2009

TASS: Timing Analyzer of Scenario-Based Specifications.

[BibT_eX]

[DOI]

Minxue Pan

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Computational error handling as aspects: a case study.

[BibT_eX]

[DOI]

Proceedings of the 1st workshop on Linking aspect technology and evolution, 2009

2008

An MDE-based method for bridging different design notations.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

State Based Robustness Testing for Components.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

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

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.

[BibT_eX]

[DOI]

Linzhang Wang

Proceedings of the Leveraging Applications of Formal Methods, 2008

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

[BibT_eX]

[DOI]

Bin Lei

Linzhang Wang

Proceedings of the First International Conference on Software Testing, 2008

A case study for monitoring-oriented programming in multi-core architecture.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Multicore Software Engineering, 2008

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

A model-driven development framework for enterprise Web services.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2007

Towards a Model Driven Approach to Automatic BPEL Generation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.

[BibT_eX]

[DOI]

Sumit Jha Aanand

Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006

Improve Model Checking Efficiency Using Specific Knowledge about the System.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Scenario-based Component Behavior Filtration.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Automatic Test Case Generation for UML Activity Diagrams.

[BibT_eX]

[DOI]

Mingsong Chen

Xiaokang Qiu

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Scenario-Based Component Behavior Derivation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Scenario-Based Timing Consistency Checking for Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Modelling and Analysis of Power Consumption for Component-Based Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

Runtime Verification of Java Programs for Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2006

2005

A quadratic-time DBM-based successor algorithm for checking timed automata.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

Deriving Available Behavior All Out from Incompatible Component Compositions.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Consistency Checking of Concurrent Models for Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the SDL 2005: Model Driven, 2005

Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Embedded and Ubiquitous Computing, 2005

2004

Duration-constrained regular expressions.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Verifying Compositional Designs for Scenario-Based Timing Specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

Checking MSC Specifications for Timing Inconsistency.

[BibT_eX]

[DOI]

Wenkai Tan

J. Comput. Sci. Technol., 2002

Partial Order Path Technique for Checking Parallel Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Linear Hybrid Action Systems.

[BibT_eX]

Mauno Rönkkö

Nord. J. Comput., 2001

Verifying Time Petri Nets by Linear Programming.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2001

Efficient verification of a class of time Petri nets using linear programming.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Timing Analysis of UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Checking compositions of UML sequence diagrams for timing inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Timing Analysis of UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Checking time Petri nets for linear duration properties.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998

Compositional model-checking for real-time systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1998

Hybrid Regular Expressions.

[BibT_eX]

[DOI]

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

1997

A Message-based Real-Time Model by Object-Oriented Technique.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1997

Enhancing Reusability and Maintainability in NDOOM.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Object Oriented Information Systems, 1997

Checking Hybrid Automata for Linear Duration Invariants.

[BibT_eX]

[DOI]

Dang Van Hung

Tao Zheng

Proceedings of the Advances in Computing Science, 1997

1996

Checking Linear Duration Invariants by Linear Programming.

[BibT_eX]

[DOI]

Dang Van Hung

Proceedings of the Concurrency and Parallelism, 1996

A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.

[BibT_eX]

[DOI]