Login / Signup
Lei Bu
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 48
Top Topics
Model Checking
Smart Home
Symbolic Execution
Piecewise Constant
Top Venues
ASE
CoRR
ISSTA
HSCC
</>
Publications
</>