Data-flow testing (DFT) is a family of testing strategies designed to verify the interactions
between each program variable's definition and its uses. Such a test objective of interest is …

Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher
fault-detection ability over other structural testing techniques, practical DFT remains a …

Automated test data generation for unit testing C/C++ functions using concolic testing has
been known for improving software quality while reducing human testing effort. However …

Automated test data generation for unit testing C/C++ functions using concolic methods is
well-known for improving software quality while reducing human testing effort. However …

This paper improves the breadth-first search strategy in directed automated random testing
(DART) to generate a fewer number of test data while gaining higher branch coverage …

A rational cubic spline is developed to provide smooth curves (positive, monotone and
convex). To control the shape of the curve, two families of parameters are introduced in its …

Unit testing is defined as a test activity usually performed by a developer for the purpose of
demonstrating program functionality and meeting the requirements specification of module …

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la
validación y la evaluación de la calidad de un programa. El testing está integrado en todas …