Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms Topics: Embedded Systems; Image Processing and Computer Vision; Software Engineering Tools; Testing and Testability In Proceedings of the 14th International Conference on Software Technologies ICSOFT - Volume 1, 15-26, 2019 , Prague, Czech Republic