Text this: Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker