Login / Signup

Using SPIN for automated debugging of infinite executions of Java programs.

Damián AdalidAlberto SalmerónMaría-del-Mar GallardoPedro 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