Towards software autogeneration | IEEE Conference Publication | IEEE Xplore