Lianying He

Orcid: 0009-0001-5678-0398

According to our database1, Lianying He authored at least 3 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
A trustworthiness assessment for software based on multi-source evidence fusion.
Reliab. Eng. Syst. Saf., 2026

2025
Optimizing Symbolic Execution Path Exploration with a Transfer Learning-Based Strategy.
Int. J. Comput. Commun. Control, 2025

2024
Path Exploration Strategy for Symbolic Execution based on Multi-strategy Active Learning.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024


  Loading...