4. Formally proving that the test input generation problem is NP-hard (Section IV.D)