A mutation analysis tool for Java programs
✍ Scribed by P. Chevalley; P. Thévenod-Fosse
- Publisher
- Springer
- Year
- 2002
- Tongue
- English
- Weight
- 641 KB
- Volume
- 5
- Category
- Article
- ISSN
- 1433-2779
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
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
Emerging technologies on the World Wide Web promise to make program, algorithm and concept simulations universally accessible, and Java appears to be the best technology available. Simulations involving animation and visualization have a tremendous benefit when applied to various algorithms. We pres