on 08/06/2011 11:57 David A. Ramos said the following: > Hi Andriy, > > We have an upcoming CAV paper on this topic. Check it out at > http://keeda.stanford.edu/~daramos/ucklee-cav-2011.pdf. Unfortunately, our > UC-KLEE repository is unstable and not currently released to the public. > Hopefully that will change at some point.
David, very interesting paper and approach! It is exactly like what I've asked for. Very anxious to try UC-KLEE in practice. :) Thank you very much for the research and the information. -- Andriy Gapon
