https://hgpu.org/?p=10983
The Use of Automated Search in Deriving Software Testing Strategies