Efficient Analysis using search space partitioning

...

Symbolic Analysis of Database Applications

...

Analysis of Interactive Web Applications

...

Analysis of Multicore and Distributed Programs

...