Judy - a mutation testing tool for java
β Scribed by Madeyski, L.; Radyk, N.
- Book ID
- 114444985
- Publisher
- The Institution of Engineering and Technology
- Year
- 2010
- Tongue
- English
- Weight
- 412 KB
- Volume
- 4
- Category
- Article
- ISSN
- 1751-8806
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
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