1. Codeboard. https://codeboard.io/. Accessed 30 Apr 2023
2. Deadlock not being detected. https://groups.google.com/g/java-pathfinder/c/rzkaeuNDZCY. Accessed 04 Jan 2023
3. Dl-Check. https://github.com/devexperts/dlcheck. Accessed 02 Jan 2023
4. Google groups thread: java.lang.error: java.lang.nosuchfieldexception: tid. https://groups.google.com/g/java-pathfinder/c/t1n73xdyrFI. Accessed 29 April 2023
5. JaDA. http://jada.cs.unibo.it/demo.html. Accessed 30 Apr 2023