DaTeC: Contextual data flow testing of java classes.

Giovanni Denaro Alessandra Gorla Mauro Pezzè

Published in: ICSE Companion (2009)

Keyphrases

data flow
object oriented software
object oriented
database machine
symbolic execution
control flow
contextual information
digital signal processing
systolic array
data transfer
open source
java programs
source code
lightweight
bottle neck
databases
context sensitive
test set
case study