Li Huang

35 papers A 1B 3C 4Misc 2Journal 19Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combining Tests and Proofs for Better Software Verification.
CoRR
Li Huang, Bertrand Meyer, Manuel Oriol
2026 J jnl
Lessons from Formally Verified Deployed Software Systems.
ACM Comput. Surv.
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu
2025 J jnl
Do AI models help produce verified bug fixes?
CoRR
Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer
2025 C conf
Loop Unrolling: Formal Definition and Application to Testing.
ICTSS
Li Huang, Bertrand Meyer, Reto Weber
2025 J jnl
Loop unrolling: formal definition and application to testing.
CoRR
Li Huang, Bertrand Meyer, Reto Weber
2025 J jnl
Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites.
SN Comput. Sci.
Li Huang, Bertrand Meyer, Manuel Oriol
2025 — —
Straddling the border between tests and proofs.
Li Huang
2024 — conf
BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community.
APR
Bertrand Meyer, Viktoryia Kananchuk, Li Huang
2024 J jnl
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community.
CoRR
Bertrand Meyer, Viktoryia Kananchuk, Li Huang
2024 — conf
Execution-Free Program Repair.
SIGSOFT FSE Companion
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
2024 J jnl
Execution-free Program Repair.
CoRR
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
2024 C conf
Is MCDC Really Better? Lessons from Combining Tests and Proofs.
TAP
Li Huang, Bertrand Meyer, Manuel Oriol
2023 J jnl
A failed proof can yield a useful test.
Softw. Test. Verification Reliab.
Li Huang, Bertrand Meyer
2023 J jnl
Lessons from Formally Verified Deployed Software Systems.
CoRR
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
2023 C conf
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites.
ICTSS
Li Huang, Bertrand Meyer, Manuel Oriol
2023 J jnl
Seeding Contradiction: a fast method for generating full-coverage test suites.
CoRR
Li Huang, Bertrand Meyer, Manuel Oriol
2022 J jnl
A Failed Proof Can Yield a Useful Test.
CoRR
Li Huang, Bertrand Meyer
2022 — conf
Improving Counterexample Quality from Failed Program Verification.
ISSRE Workshops
Li Huang, Bertrand Meyer, Manuel Oriol
2022 J jnl
Improving Counterexample Quality from Failed Program Verification.
CoRR
Li Huang, Bertrand Meyer, Manuel Oriol
2019 J jnl
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.
CoRR
Li Huang, Eun-Young Kang
2019 B conf
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems.
ICECCS
Li Huang, Tian Liang, Eun-Young Kang
2019 J jnl
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems.
CoRR
Li Huang, Tian Liang, Eun-Young Kang
2019 B conf
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System.
FASE
Li Huang, Eun-Young Kang
2019 J jnl
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems.
CoRR
Li Huang, Eun-Young Kang
2019 C conf
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems.
QRS
Li Huang, Tian Liang, Eun-Young Kang
2019 A conf
Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.
RTSS
Li Huang, Eun-Young Kang
2018 J jnl
Formal Analysis of Non-functional Properties for a Cooperative Automotive System.
CoRR
Eun-Young Kang, Li Huang, Dongrui Mu
2018 J jnl
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier.
CoRR
Eun-Young Kang, Li Huang
2018 Misc conf
Formal verification of energy and timed requirements for a cooperative automotive system.
SAC
Eun-Young Kang, Li Huang, Dongrui Mu
2018 J jnl
Model-based Verification and Validation of an Autonomous Vehicle System.
CoRR
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
2018 Misc conf
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier.
SETTA
Eun-Young Kang, Li Huang
2018 J jnl
Probabilistic Analysis of Weakly-Hard Real-Time Systems.
CoRR
Eun-Young Kang, Dongrui Mu, Li Huang
2018 B conf
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.
IFM
Eun-Young Kang, Dongrui Mu, Li Huang
2017 — conf
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.
QRS Companion
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan
2017 — conf
Verification and Validation of a Cyber-Physical System in the Automotive Domain.
QRS Companion
Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan