A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain.
Goiuria SagarduiLeire EtxeberriaJoseba Andoni AgirreAitor ArrietaCarlos Fernando NicolásJose-Maria MartinPublished in: ISSRE Workshops (2017)