• Artículo
      Icon

      An overview on test generation from functional requirements 

      Escalona Cuaresma, María José; Gutiérrez Rodríguez, Javier Jesús; Mejías Risoto, Manuel; Aragón Serrano, Gustavo; Ramos Román, Isabel; Torres Valderrama, Jesús; Domínguez Mayo, Francisco José (Elsevier, 2011)
      Despite the fact that the test phase is described in the literature as one of the most relevant for quality assurance in ...
    • Artículo
      Icon

      CSP aplicados a la diagnosis basada en modelos 

      Ceballos Guerrero, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Martínez Gasca, Rafael (Asociación Española para la Inteligencia Artificial, 2003)
      En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...
    • Artículo
      Icon

      Model Transformation Testing and Debugging: A Survey 

      Troya Castilla, Javier; Segura Rueda, Sergio; Burgueño, Lola; Wimmer, Manuel (ACM Digital Library, 2022-11-21)
      Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a ...
    • Artículo
      Icon

      Spectrum-Based Fault Localization in Model Transformations 

      Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2018)
      Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ...
    • Artículo
      Icon

      Testing variability-intensive systems using automated analysis: an application to Android 

      Galindo Duarte, José Ángel; Turner, Hamilton; Benavides Cuevas, David Felipe; White, Jules (Springer, 2016)
      Software product lines are used to develop a set of software products that, while being different, share a common set of ...