Inferring Visual Contracts from Java Programs.

Abdullah M. Alshanqiti Reiko Heckel Timo Kehrer

Published in: SE/SWM (2019)

Keyphrases

java programs
multi threaded
software components
java language
database systems
supply chain
java virtual machine
evolutionary algorithm
test suite