Applying Jlint to Space Exploration Software

@inproceedings{Artho2004ApplyingJT,
  title={Applying Jlint to Space Exploration Software},
  author={Cyrille Artho and Klaus Havelund},
  booktitle={VMCAI},
  year={2004}
}
Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly efficient static analyzer that checks a Java program for several common errors, such as null pointer exceptions, and overflow errors. It also includes checks for multi-threading problems, such as deadlocks and data races. The case study described here shows the effectiveness of Jlint in finding certain faults, including multi… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

G. Brat, D. Giannakopoulou, +5 authors W. Visser
  • SEI Software Mode! Checking Workshop,
  • 2003
VIEW 2 EXCERPTS

High-level data races

  • Softw. Test., Verif. Reliab.
  • 2003
VIEW 1 EXCERPT

Applying static analysis to large-scale, multi-threaded Java programs

  • Proceedings 2001 Australian Software Engineering Conference
  • 2001
VIEW 2 EXCERPTS

Model checking programs

  • Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
  • 2000

The Real-Time Spec8cation for Java

G. Bollella, J. Gosling, +3 authors M. Turnbull
  • 2000
VIEW 2 EXCERPTS