Buscar
Mostrando ítems 1-5 de 5
Artículo
Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques ...
Artículo
CSP aplicados a la diagnosis basada en modelos
(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 para la diagnosis de sistemas desde el campo de la Inteligencia Artificial. Dicha metodolog´ıa ...
Artículo
An overview on test generation from functional requirements
(Elsevier, 2011)
Despite the fact that the test phase is described in the literature as one of the most relevant for quality assurance in software projects, this test phase is not usually developed, among others, with enough resources, ...
Artículo
Testing variability-intensive systems using automated analysis: an application to Android
(Springer, 2016)
Software product lines are used to develop a set of software products that, while being different, share a common set of features. Feature models are used as a compact representation of all the products (e.g., possible ...
Artículo
Model Transformation Testing and Debugging: A Survey
(ACM Digital Library, 2022-11-21)
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ...