Sigma*: symbolic learning of input-output specifications
MiBench: A free, commercially representative embedded benchmark suite