Towards Verification of Java Programs in perICS.

Andrzej Zbrzezny Bozena Wozna

Published in: Fundam. Informaticae (2008)

Keyphrases

java programs
multi threaded
software components
java language
test suite
artificial intelligence
test case generation
information systems
evolutionary algorithm
formal methods