𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Tool support for testing concurrent Java components

✍ Scribed by Long, B.; Hoffman, D.; Strooper, P.

Book ID
117936562
Publisher
IEEE
Year
2003
Tongue
English
Weight
499 KB
Volume
29
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A deadlock detection tool for concurrent
A deadlock detection tool for concurrent Java programs
✍ Claudio Demartini; Radu Iosif; Riccardo Sisto πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 160 KB πŸ‘ 2 views

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model

Judy - a mutation testing tool for java
Judy - a mutation testing tool for java
✍ Madeyski, L.; Radyk, N. πŸ“‚ Article πŸ“… 2010 πŸ› The Institution of Engineering and Technology 🌐 English βš– 412 KB