Papers 2014
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
Files
Automated Source-code-based Testing of Object-Oriented Software
Date | 3 June 2014 - 5 June 2014 |
---|---|
Event | DASIA 2014 |
Location | Warsaw, Poland |
With the advent of languages such as C++ and Java
in mission- and safety-critical space on-board software, new
challenges for testing and specifically automated testing arise.
In this paper we discuss some of these challenges, consequences
and solutions based on an experiment in automated source-
code-based testing for C++.
Permalink