𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Data Generation for Path Testing

✍ Scribed by Nashat Mansour; Miran Salame


Book ID
111612216
Publisher
Springer US
Year
2004
Tongue
English
Weight
137 KB
Volume
12
Category
Article
ISSN
0963-9314

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Path-sensitive alias analysis for data f
✍ Delia I. S. Marx; Phyllis G. Frankl πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 173 KB

This paper describes a new approach to performing data flow testing in the presence of aliasing, and a tool based on this method. The technique is based on the observation that, under certain reasonable assumptions, one can statically determine which variables are aliased whenever control reaches a