Li Huang

According to our database, Li Huang authored at least 25 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Do AI models help produce verified bug fixes?

Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer

CoRR, July, 2025

Loop unrolling: formal definition and application to testing.

Li Huang, Bertrand Meyer, Reto Weber

CoRR, February, 2025

Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites.

Li Huang, Bertrand Meyer, Manuel Oriol

SN Comput. Sci., January, 2025

2024

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community.

Bertrand Meyer, Viktoryia Kananchuk, Li Huang

CoRR, 2024

Is MCDC Really Better? Lessons from Combining Tests and Proofs.

Li Huang, Bertrand Meyer, Manuel Oriol

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Execution-Free Program Repair.

Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community.

Bertrand Meyer, Viktoryia Kananchuk, Li Huang

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

2023

A failed proof can yield a useful test.

Li Huang, Bertrand Meyer

Softw. Test. Verification Reliab., November, 2023

Lessons from Formally Verified Deployed Software Systems.

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege

CoRR, 2023

2022

Improving Counterexample Quality from Failed Program Verification.

Li Huang, Bertrand Meyer, Manuel Oriol

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2019

Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.

Li Huang, Eun-Young Kang

CoRR, 2019

SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems.

Li Huang, Eun-Young Kang

CoRR, 2019

Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.

Li Huang, Eun-Young Kang

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems.

Li Huang, Tian Liang, Eun-Young Kang

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems.

Li Huang, Tian Liang, Eun-Young Kang

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System.

Li Huang, Eun-Young Kang

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Probabilistic Analysis of Weakly-Hard Real-Time Systems.

Eun-Young Kang, Dongrui Mu, Li Huang

CoRR, 2018

Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier.

Eun-Young Kang, Li Huang

CoRR, 2018

Model-based Verification and Validation of an Autonomous Vehicle System.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

CoRR, 2018

Formal Analysis of Non-functional Properties for a Cooperative Automotive System.

Eun-Young Kang, Li Huang, Dongrui Mu

CoRR, 2018

Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier.

Eun-Young Kang, Li Huang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Formal verification of energy and timed requirements for a cooperative automotive system.

Eun-Young Kang, Li Huang, Dongrui Mu

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.

Eun-Young Kang, Dongrui Mu, Li Huang

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

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

Verification and Validation of a Cyber-Physical System in the Automotive Domain.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

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