I recommend people look through their whole publication list here: http://klee.github.io/publications/ http://klee.github.io/publications/ That group does som

I recommend people look through their whole publication list here: http://klee.github.io/publications/ http://klee.github.io/publications/ That group does some amazing work bridging neat theories and putting things into practice. I wish more researchers would build on KLEE to see just how much more it could accomplish. That is, on top of more developers using tools like it.