I am the co-PI on a project called ISSTAC: Integrated Symbolic execution for Space-Time Analysis of Code. Our team is developing a cloud-based symbolic execution engine to find vulnerabilities in Java bytecode.
I also maintain a tool called Polyglot for analyzing Statechart models. I wrote a multithreaded symbolic execution engine that really improves the symbolic execution of these models.