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. 
Ralf Gerlich
cs.SE cs.PL