Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing.

Ulrike Witteck, Denis Griebach, Paula Herber

Browse the full ICSoft paper archive.