Topics relevant for upcoming mini test?

Hello, I wanted to ask that is Software Correctness also relevant for the upcoming Minitest or the test will be purely based on Java?