There is some research in this area, e.g. http://www.cs.berkeley.edu/~dawnsong/papers/se.pdf