Black-box testing based on colorful taint analysis

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

Dengguo Feng, Purui Su, Kai Chen, Yingjun Zhang

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)

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 (3)

• A Note on an Anomaly in Black-Box Testing
• Information gain of black-box testing
• 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)