https://hgpu.org/?p=8482
Sigma*: Symbolic Learning of Input-Output Specifications