A Case Study on the Efficiency of Model-Based Testing at the European Space Agency.

Stefan Mohacsi, Michael Felderer, Armin Beer

Browse the full ICST paper archive.