Recent progress in program analysis

DOI10.13328/J.CNKI.JOS.005651MaRDI QIDQ5196888zbMATH OpenFDO

Authors Jian Zhang, Chao Zhang, Jifeng Xuan, Yingfei Xiong, Qianxiang Wang, Bin Liang, Lian Li, Wensheng Dou, Zhenbang Chen, Liqian Chen, Yan Cai

Publication date 20 September 2019

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.005651

zbMATH Keywords

static analysisprogram analysisdynamic analysissoftware quality assurance

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1324833
• Program analysis tools
• Computer Aided Verification
• scientific article; zbMATH DE number 1948384
• Program analysis using quantifier-elimination heuristics (extended abstract)

Cited in

(1)

• scientific article; zbMATH DE number 1324833 (Why is no real title available?)

This page was built for publication: Recent progress in program analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5196888)