Path-sensitive Alias Analysis for Data Flow Testing.

Delia I. S. Marx Phyllis G. Frankl

Published in: Softw. Test. Verification Reliab. (1999)

Keyphrases

data flow
object oriented software
database machine
statistical analysis
data transfer
databases
data analysis
image analysis
control flow
data sets
symbolic execution