16
Publications
490
Citations
13
H-Index
2010
Active since
Tao Bao is an author at Purdue University West Lafayette specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringVerificationSystem SoftwareSoftware TestingSystems Engineering
Publications per year
2010–2023
16
16
Strict control dependence and its effect on dynamic information flow analyses
Tao Bao, Yunhui Zheng, Zhiqiang Lin et al. · 2010 · 40 citations
Rows per page
1–5 of 16