Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lisong Xu
conf.researchr.org general profile
ICSE 2026 profile
ISSTA 2017 profile
Not registered as user
Name:
Lisong Xu
Affiliation:
University of Nebraska-Lincoln, USA
Contributions
2026
FormaliSE
Author of Profile-Guided Constraint Simplification for Symbolic Execution within the Research Track-track
2017
ISSTA
Author of Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics within the Technical Papers-track
Share
x
Thu 22 Oct 08:23