Jinxia An

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Dynamic Analysis

Top Venues

计算机科学

Publications

Shufang Li, Jinxia An, Yang Liu, Liang Chen
采用Clang/LLVM的C++源代码覆盖率分析插装方法 (Approach to C++ Code Instrumentation for Coverage Analysis with Clang/LLVM). 计算机科学 44 (11) (2017)
Dajiang Suo, Jinxia An, Jihong Zhu
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics. APSEC (2011)
Jinxia An, Jihong Zhu
Software Reliability Modeling with Integrated Test Coverage. SSIRI (2010)