paper

Automatic Test Data Generation and Model Checking with CHR

arXiv:1406.2122

Abstract

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.

Part of CHR 2014 proceedings (arXiv:1406.1510)

Automatic Test Data Generation and Model Checking with CHR · wovepaper