Compliant model generation against existing Test suite