[Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring | IEEE Conference Publication | IEEE Xplore