Concepedia

Shu Xiao

SX

3

Publications

45

Citations

3

H-Index

2003

Active since

Affiliations

Cisco Systems (United States)(Current)

Shu Xiao is an author at Cisco Systems (United States) specializing in formal verification, program analysis, and verification.

Top concepts

EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringFormal MethodsSystems Engineering

Publications per year

2003–2005

3

Publications

3

Integrated TCP/IP protocol software testing for vulnerability detection

Shu Xiao, Lijun Deng, Sheng Li et al. · 2004 · 24 citations

Engineering, Verification, Tcp/ip Protocol Software +17

Fault-oriented software robustness assessment for multicast protocols

Shu Xiao, Sheng Li, Xiangrong Wang et al. · 2003 · 11 citations

Engineering, Verification, Software Engineering +16

Performing High Efficiency Source Code Static Analysis with Intelligent Extensions

Shu Xiao, Christopher Pham · 2005 · 10 citations

Software Maintenance, Engineering, Intelligent Extensions +20

Rows per page

1–3 of 3