Jinxia An

According to our database, Jinxia An authored at least 3 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

采用Clang/LLVM的C++源代码覆盖率分析插装方法 (Approach to C++ Code Instrumentation for Coverage Analysis with Clang/LLVM).

Shufang Li, Jinxia An, Yang Liu, Liang Chen

计算机科学, 2017

2011

AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics.

Dajiang Suo, Jinxia An, Jihong Zhu

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Software Reliability Modeling with Integrated Test Coverage.

Jinxia An, Jihong Zhu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010