Ethan K. Jackson and Daniel Balasubramanian16 November 2009
In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering