Alchemy: transmuting base alloy specifications into implementations (2008)

by S Krishnamurthi, K Fisler, D J Dougherty, D Yoo
Venue:In Proceedings of FSE’08