SEJun 9, 2014
Automatic Test Data Generation and Model Checking with CHRRalf Gerlich
We present an example for application of Constraint Handling Rules to automated test data generation and model checking in verification of mission critical software for satellite control.