S2E MODELING