Scalable data-flow testing
Data-flow (DF) testing was introduced more than thirty years ago aiming at verifying a program by extensively exploring its structure. It requires tests that traverse paths in which the assignment of a value to a variable (a definition) and its subsequent reference (a use) is verified. This relation...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2014
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/ |