Textmeddelande: Liveness-Driven Random Program Generation