On Data Flow Guided Program Testing.

Janusz W. Laski

Published in: ACM SIGPLAN Notices (1982)

Keyphrases

data flow
symbolic execution
control flow
object oriented software
database machine
test cases
data transfer
digital signal processing
software testing
systolic array
search based software testing
object oriented
static analysis
computer programs
software maintenance
open source
databases