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 rela...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Universidade de São Paulo
2014
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/ |