Automated test-data generation from formal models of software | IEEE Conference Publication | IEEE Xplore