Regression test optimization for software of the cellular network base stations: A language-based approach | Synapse