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

DOI10.1016/J.IPL.2013.02.007zbMATH Open1267.68095OpenAlexW2086868742MaRDI QIDQ2377243FDOQ2377243

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

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

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)

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)