Old Web
English
Sign In
Acemap
>
authorDetail
>
YuHengbiao
YuHengbiao
Symbolic execution
Software engineering
symbolic verification
Java
Computer science
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Symbolic Verification of Regular Properties for Java Programs
2019
ACM Sigsoft Software Engineering Notes
ChenZhenbang
YuHengbiao
WangJi
DONGWei
Show All
Source
Cite
Save
Citations (0)
1