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