A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain.

Goiuria Sagardui, Leire Etxeberria, Joseba Andoni Agirre, Aitor Arrieta, Carlos Fernando Nicols, Jose-Maria Martin

Browse the full ISSRE paper archive.