Still a masterpiece if you ask me. I love that movie.
At some point the complexity is high enough that you indeed need more tools than only handcrafted tests to discover bugs.