Concepedia

Xianjin Fu

XF

2

Publications

45

Citations

2

H-Index

2015

Active since

Affiliations

National University of Defense Technology(Current)

Xianjin Fu is an author at National University of Defense Technology specializing in formal methods, system software, and formal verification.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringParallel Programming

Publications per year

2015–2020

2

Publications

2

MPISE: Symbolic Execution of MPI Programs

Xianjin Fu, Zhenbang Chen, Yufeng Zhang et al. · 2015 · 25 citations

Software Maintenance, Program Checking, Engineering +20

Symbolic verification of message passing interface programs

Hengbiao Yu, Zhenbang Chen, Xianjin Fu et al. · 2020 · 20 citations

Program Checking, Engineering, Verification +20

Rows per page

1–2 of 2