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