Towards efficient data-flow test data generation

DOI10.1007/978-3-031-40436-8_10zbMATH Open1547.68454MaRDI QIDQ6535835FDOQ6535835

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

Publication date: 28 February 2024

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

zbMATH Keywords

model checkingsymbolic executiondata-flow testing

Mathematics Subject Classification ID

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

Cites Work

• Symbolic execution and program testing
• Lazy abstraction
• Software model checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Introduction to Software Testing
• Title not available (Why is that?)
• Selecting Software Test Data Using Data Flow Information
• The complexity of data flow criteria for test data selection
• 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

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)