Software reliability checks help teams determine whether an application behaves