Thread: Deterministic execution of Java Threads, tool support
How many letters are in the word Basic?