Login / Signup
Using SPIN for automated debugging of infinite executions of Java programs.
Damián Adalid
Alberto Salmerón
María-del-Mar Gallardo
Pedro Merino
Published in:
J. Syst. Softw. (2014)
Keyphrases
</>
java programs
multi threaded
java language
software components
java virtual machine
test suite
real time
query language
operating system
error rate