Automatic Test Data Generation and Model Checking with CHR
| Date | 18 Jul 2014 |
|---|---|
| Event | CHR 2014 |
| Location | Vienna, Austria |
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.
Permalink