On Source Code Optimization for Interpreted Languages using State Models Topics: Formal Methods; Software Quality Management; System Complexity In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ENASE - Volume 1, 282-287, 2016 , Rome, Italy