Writing Concurrent Java Programs Based on CafeOBJ Specifications.

Xuan-Linh Ha Kazuhiro Ogata

Published in: APSEC (2017)

Keyphrases

java programs
multi threaded
concurrent programming
software components
java language
java virtual machine
test case generation
high level
programming language
test suite
formal specification
social networks
genetic programming
operating system