Automatic Test Data Generation and Model Checking with CHR
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.
cs.SE↗