Solutions to Engineering Challenges

Engineering Challenges and Their Solutions

In our [SCAM 2018] [engineering paper], we highlighted several engineering challenges in building and evaluating this project. We list these challenges below and provide links to the code that implements their solutions:

Programmatically Utilizing SAFE

Building APIs to Create Automata When Necessary

Creating "Typestate Rules:"

https://github.com/ponder-lab/Optimize-Java-8-Streams-Refactoring/blob/b3753532bf0d701d693c5ea10efff4d1c29a71ad/edu.cuny.hunter.streamrefactoring.core/src/edu/cuny/hunter/streamrefactoring/core/analysis/StreamStateMachine.java#L998