Path expression in data flow program testing.

Janusz W. Laski

Published in: COMPSAC (1990)

Keyphrases

data flow
symbolic execution
control flow
object oriented software
path expressions
database machine
test cases
xml queries
software testing
systolic array
xml data
query language
xml query languages
test suite
multi valued
semi structured data
cost model
complex objects
management system
database