Text this: An automated testing tool for safety critical software systems /