Transparently improving regression testing using symbolic execution