<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href='static/style.xsl' type='text/xsl'?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-04-07T10:03:08Z</responseDate><request verb="GetRecord" identifier="oai:ebiltegia.mondragon.edu:20.500.11984/5791" metadataPrefix="rdf">https://ebiltegia.mondragon.edu/oai/request</request><GetRecord><record><header><identifier>oai:ebiltegia.mondragon.edu:20.500.11984/5791</identifier><datestamp>2026-04-01T07:41:04Z</datestamp><setSpec>com_20.500.11984_1143</setSpec><setSpec>col_20.500.11984_1148</setSpec></header><metadata><rdf:RDF xmlns:rdf="http://www.openarchives.org/OAI/2.0/rdf/" xmlns:ow="http://www.ontoweb.org/ontology/1#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:ds="http://dspace.org/ds/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/rdf/ http://www.openarchives.org/OAI/2.0/rdf.xsd">
   <ow:Publication rdf:about="oai:ebiltegia.mondragon.edu:20.500.11984/5791">
      <dc:title>A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain</dc:title>
      <dc:creator>Sagardui, Goiuria</dc:creator>
      <dc:creator>Etxeberria, Leire</dc:creator>
      <dc:creator>Agirre, Joseba Andoni</dc:creator>
      <dc:creator>Arrieta, Aitor</dc:creator>
      <dc:contributor>Martín, Jose María</dc:contributor>
      <dc:contributor>Nicolás, Carlos Fernando</dc:contributor>
      <dc:subject>testing</dc:subject>
      <dc:subject>Elevators</dc:subject>
      <dc:subject>Embedded software</dc:subject>
      <dc:subject>Software packages</dc:subject>
      <dc:subject>Embedded systems</dc:subject>
      <dc:subject>Mathematical model</dc:subject>
      <dc:description>As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is large, and requires automated testing solutions. In this paper we propose a methodology that automatically generates validation environments for highly configurable embedded software that is being refactored. The method has allowed for systematically testing a real-world industrial case study involving the software in charge of controlling the doors of an elevator. Finally, we extract the lessons learned from its application.</dc:description>
      <dc:date>2022-10-31T13:01:18Z</dc:date>
      <dc:date>2022-10-31T13:01:18Z</dc:date>
      <dc:date>2017</dc:date>
      <dc:identifier>9781538623879</dc:identifier>
      <dc:identifier>https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&amp;ficha_no=128450</dc:identifier>
      <dc:identifier>https://hdl.handle.net/20.500.11984/5791</dc:identifier>
      <dc:language>eng</dc:language>
      <dc:rights>© 2017 IEEE</dc:rights>
      <dc:publisher>IEEE</dc:publisher>
   </ow:Publication>
</rdf:RDF></metadata></record></GetRecord></OAI-PMH>