Verifying temporal specifications of Java programs.

Francesco Spegni Luca Spalazzi Giovanni Liva Martin Pinzger Andreas Bollin

Published in: Softw. Qual. J. (2020)

Keyphrases

java programs
java language
multi threaded
software components
formal specification
model checking
test suite
high level
evolutionary computation
general purpose
query language
computer architecture
multi agent systems
training data
java virtual machine
case study
test case generation