Xuandong Li
Orcid: 0000-0003-3090-9568
According to our database1,
Xuandong Li
authored at least 202 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Empirically revisiting and enhancing automatic classification of bug and non-bug issues.
Frontiers Comput. Sci., October, 2024
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., June, 2024
Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization.
ACM Trans. Softw. Eng. Methodol., March, 2024
Proc. ACM Program. Lang., 2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
ACM Trans. Softw. Eng. Methodol., January, 2023
IEEE Internet Things J., 2023
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.
CoRR, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization.
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.
IEEE Trans. Software Eng., 2022
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.
Softw. Syst. Model., 2022
Connect. Sci., 2022
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).
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.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022
Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022
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.
Proceedings of the IEEE International Conference on Acoustics, 2022
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.
IEEE Trans. Parallel Distributed Syst., 2021
Softw. Test. Verification Reliab., 2021
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.
Int. J. Softw. Informatics, 2021
Formal Aspects Comput., 2021
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.
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.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
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.
Proceedings of the 38th International Conference on Machine Learning, 2021
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.
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.
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.
Proceedings of the Formal Methods - 24th International Symposium, 2021
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.
ACM Trans. Comput. Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020
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.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow).
计算机科学, 2019
J. Comput. Sci. Technol., 2019
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.
Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019
Global optimization of numerical programs via prioritized stochastic algebraic transformations.
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Easy modelling and verification of unpredictable and preemptive interrupt-driven systems.
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.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
ACM Trans. Cyber Phys. Syst., 2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
ACM SIGSOFT Softw. Eng. Notes, 2018
Inf. Softw. Technol., 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 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
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
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.
IEEE Trans. Software Eng., 2017
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.
ACM Trans. Embed. Comput. Syst., 2017
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure.
IEEE Trans. Computers, 2017
J. Comput. Sci. Technol., 2017
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
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
2016
J. Comput. Sci. Technol., 2016
Int. J. Softw. Informatics, 2016
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
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
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
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
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
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
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 Syst. Des., 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
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
2013
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.
IET Softw., 2013
Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives.
Des. Autom. Embed. Syst., 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013
2012
Softw. Test. Verification Reliab., 2012
Int. J. Softw. Tools Technol. Transf., 2012
Sci. China Inf. Sci., 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
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
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012
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
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
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Rev., 2011
Online Verification of Control Parameter Calculations in Communication Based Train Control System
CoRR, 2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
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
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
Proceedings of the Verification, 2010
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
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010
Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
2009
Comput. J., 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009
Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the 1st workshop on Linking aspect technology and evolution, 2009
2008
Innov. Syst. Softw. Eng., 2008
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.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
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
Proceedings of the 1st International Workshop on Multicore Software Engineering, 2008
Proceedings of the Formal Methods in Computer-Aided Design, 2008
2007
Inf. Syst. Frontiers, 2007
Proceedings of the Model Driven Architecture, 2007
2006
J. Comput. Sci. Technol., 2006
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.
Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Software Engineering Techniques: Design for Quality, 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006
Proceedings of the Reliable Software Technologies, 2006
2005
Inf. Process. Lett., 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
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
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
2002
J. Log. Algebraic Methods Program., 2002
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
2001
Linear Hybrid Action Systems.
Nord. J. Comput., 2001
Inf. Process. Lett., 2001
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
Proceedings of the Correct Hardware Design and Verification Methods, 2001
2000
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
1999
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
1998
ACM SIGSOFT Softw. Eng. Notes, 1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998
1997
ACM SIGOPS Oper. Syst. Rev., 1997
Proceedings of the 1997 International Conference on Object Oriented Information Systems, 1997
Proceedings of the Advances in Computing Science, 1997
1996
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