Software Reliability Modeling with Integrated Test Coverage. - Jinxia An; Jihong Zhu 001 (SSIRI, 2010)

AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics. - Dajiang Suo; Jinxia An; Jihong Zhu 001 (APSEC, 2011)

采用Clang/LLVM的C++源代码覆盖率分析插装方法 (Approach to C++ Code Instrumentation for Coverage Analysis with Clang/LLVM). - Shufang Li; Jinxia An; Yang Liu; Liang Chen (计算机科学, 2017)