Automatic Test Data Generation and Model Checking with CHR
Software Engineering
2014-06-10 v1 Programming Languages
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.
Cite
@article{arxiv.1406.2122,
title = {Automatic Test Data Generation and Model Checking with CHR},
author = {Ralf Gerlich},
journal= {arXiv preprint arXiv:1406.2122},
year = {2014}
}
Comments
Part of CHR 2014 proceedings (arXiv:1406.1510)