Towards efficient data-flow test data generation

DOI10.1007/978-3-031-40436-8_10MaRDI QIDQ6535835zbMATH OpenFDO

Authors Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su

Publication date 28 February 2024

zbMATH Keywords

model checkingsymbolic executiondata-flow testing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• An efficient bitwise algorithm for intra-procedural data-flow testing coverage
• Selecting Software Test Data Using Data Flow Information
• scientific article; zbMATH DE number 1956607
• Combining model checking and data-flow analysis
• Coverage-based testing with symbolic transition systems

Cites work

• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• Abstraction-driven concolic testing
• Automatic test data generation for data flow testing using particle swarm optimization
• Interprocedural def-use associations for C systems with single level pointers
• Introduction to Software Testing
• Lazy abstraction
• Selecting Software Test Data Using Data Flow Information
• Software model checking
• Symbolic execution and program testing
• The complexity of data flow criteria for test data selection
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Towards efficient data-flow test data generation

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