Black-box testing based on colorful taint analysis

DOI10.1007/S11432-011-4291-YMaRDI QIDQ439720zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• FFFuzzer: filter your fuzz to get accuracy, efficiency and schedulability
• Detection techniques of format-string vulnerabilities in binary files
• A Stochastic Theory of Black-Box Software Testing
• Improved fuzz testing for compound document
• scientific article; zbMATH DE number 1418458

Cites work

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

Cited in

(6)

• FFFuzzer: filter your fuzz to get accuracy, efficiency and schedulability
• A Note on an Anomaly in Black-Box Testing
• Information gain of black-box testing
• Detection techniques of format-string vulnerabilities in binary files
• Improved fuzz testing for compound document
• scientific article; zbMATH DE number 1418458 (Why is no real title available?)

Describes a project that uses

Uses Software

• STP
• Saturn

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

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