Towards verification and testing of Java programs.

Ana Cristina Vieira de Melo Paulo R. F. Nunes Kleber S. Xavier

Published in: SAC (2008)

Keyphrases

java programs
test case generation
test suite
multi threaded
test cases
software components
java language
test generation
software testing
model checking
general purpose
real time
test set
test data generation
information security
programming language
java virtual machine
high level
artificial intelligence