JACOT: A UML-Based Tool for the Run-Time Inspection of Concurrent Java

Many software systems nowadays rely on concurrency to achieve greater processing power, to improve human-computer interaction and build real-time applications. However, despite their numerous advantages, concurrent programs are difficult to comprehend, debug and maintain. This is mostly due to their complexity. In a multi-threaded program, there can be multiple flows of control and indeed the same program may result in different output each time that it is executed due to the inheren