Automated Test Case Generation and Model Checking with CHR
Author: Ralf Gerlich
Paper Information
| Title: | Automated Test Case Generation and Model Checking with CHR |
| Authors: | Ralf Gerlich |
| Proceedings: | CHR 2014 CoRR proceedings |
| Editors: | Rémy Haemmerlé and Jon Sneyers |
| Keywords: | software test, test data generation, model checking, verification |
| Abstract: | ABSTRACT. We present an example for application of CHR to automated test data generation and model checking in verification of mission critical software for satellite control. |
| Pages: | 8 |
| Talk: | Jul 18 10:45 |
| Paper: |  |