Algorithmic transformation techniques for efficient exploration of alternative application instances