An efficient bitwise algorithm for intra-procedural data-flow testing coverage

DOI10.1016/J.IPL.2013.02.007MaRDI QIDQ2377243zbMATH OpenOpenAlexFDO

Authors Marcos Lordello Chaim, Roberto Paulo Andrioli de Araujo

Publication date 28 June 2013

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2013.02.007

zbMATH Keywords

data structuresdesign of algorithmssoftware engineeringprogram instrumentationdata-flow testing coveragerun-time environments

Mathematics Subject Classification ID

Data structures (68P05) Nonnumerical algorithms (68W05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2103903
• Selecting Software Test Data Using Data Flow Information
• scientific article; zbMATH DE number 2087560
• An efficient general iterative algorithm for dataflow analysis
• Structurally defined conditional data-flow static analysis

Cited in

(1)

• Towards efficient data-flow test data generation

This page was built for publication: An efficient bitwise algorithm for intra-procedural data-flow testing coverage

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