Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs | IEEE Conference Publication | IEEE Xplore