Black-box testing based on colorful taint analysis

DOI10.1007/S11432-011-4291-YzbMATH Open1245.68066OpenAlexW2258595003MaRDI QIDQ439720FDOQ439720

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

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

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)

Cites Work

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

Cited In (5)

• 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
• Title not available (Why is that?)

Uses Software

• Saturn
• STP

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)