Black-box testing based on colorful taint analysis

DOI10.1007/s11432-011-4291-yzbMath1245.68066OpenAlexW2258595003MaRDI QIDQ439720

Dengguo Feng, Purui Su, Yingjun Zhang, Kai Chen

Publication date: 17 August 2012

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4291-y

zbMATH Keywords

software testingblack-box testingcolorful taint analysisdynamic testingvulnerability detection

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)

Uses Software

• Saturn
• STP

Cites Work

• A novel formal approach to program slicing
• Program Slicing
• The program dependence graph and its use in optimization
• Computer Aided Verification

This page was built for publication: Black-box testing based on colorful taint analysis