A Translator of Java Programs to TADDs.

Artur Rataj Bozena Wozna Andrzej Zbrzezny

Published in: Fundam. Informaticae (2009)

Keyphrases

java programs
multi threaded
java language
software components
test case generation
limited resources
test suite
real time
training data
cooperative
data management
information flow
multi core processors
java virtual machine