Smalltalk Isn't Dead, It's Just Waiting in Deep Thought

There's also a paper at the upcoming VMM workshop

Boris Shingarov, Jan Vraný Debugging a Smalltalk VM assisted by large automated reasoning