1. 3

Approach to automatically generate high, test coverage of software without formal spec. The generated sequences must be legal and behaviorally diverse. The combo of methods the Palus prototype uses found more bugs and got more coverage than competition. Google used it internally to find 22 errors in four, well-tested products.