Inferring visual contracts from Java programs.

Abdullah M. Alshanqiti Reiko Heckel Timo Kehrer

Published in: Autom. Softw. Eng. (2018)

Keyphrases

java programs
software components
multi threaded
java language
real time
information systems
supply chain
high level
multi agent
cooperative
error rate
test suite
java virtual machine