Proc. 24th IEEE/ACM Conference on Automated Software Engineering, Auckland, New Zealand (ASE 2009), pp. 590-594
January 31, 2009
A. David, A. Chaudhuri, J. Foster