Sign in

Modeling time in Java programs for automatic error detection.

Giovanni LivaMuhammad Taimoor KhanFrancesco SpegniLuca SpalazziAndreas BollinMartin Pinzger
Published in: FormaliSE@ICSE (2018)
Keyphrases
  • error detection
  • java programs
  • error correction
  • fault tolerance
  • software components
  • fault isolation
  • digital libraries
  • response time
  • intelligent agents