Verifying Transformations of Java Programs Using Alloy.

Tarciana Dias da Silva Augusto Sampaio Alexandre Mota

Published in: SBMF (2015)

Keyphrases

java programs
multi threaded
software components
java language
test suite
test case generation
information systems
training data