Text this: An efficient test generation algorithm for behavioral descriptions of digital devices