E.T.S.I. DE INFORMÁTICA
2023
-
A Monte Carlo tree search conceptual framework for feature model analyses
Journal of Systems and Software, Vol. 195
-
A modular metamodel and refactoring rules to achieve software product line interoperability
Journal of Systems and Software, Vol. 197
-
Analysis and optimisation of SPL products using goal models
Proceedings of the IEEE International Conference on Requirements Engineering
-
Applying QoS in FaaS Applications: A Software Product Line Approach
OpenAccess Series in Informatics
-
Automatic prediction of developers’ resolutions for software merge conflicts
Journal of Systems and Software, Vol. 206
-
Detecting feature influences to quality attributes in large and partially measured spaces using smart sampling and dynamic learning
Knowledge-Based Systems, Vol. 270
-
Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs
ACM International Conference Proceeding Series
-
Empirical analysis of the tool support for software product lines
Software and Systems Modeling, Vol. 22, Núm. 1, pp. 377-414
-
Evolver: Meta-optimizing multi-objective metaheuristics
SoftwareX, Vol. 24
-
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction
Journal of Systems and Software, Vol. 198
-
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models
ACM International Conference Proceeding Series
-
FUSPAQ: A Function Selection Platform to Adjust QoS in a FaaS Application
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
HybridCISave: A Combined Build and Test Selection Approach in Continuous Integration
ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 4
-
Improving Developers' Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies
Proceedings - IEEE Symposium on Security and Privacy
-
Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers
IEEE Software, Vol. 40, Núm. 6, pp. 95-101
-
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML
Software and Systems Modeling, Vol. 22, Núm. 3, pp. 781-793
-
POM: A Trust-Based AHP-Like Methodology to Solve Conflict Requirements for the IoT
Advanced Sciences and Technologies for Security Applications (Springer), pp. 145-170
-
STAn: analysis of data traces using an event-driven interval temporal logic
Automated Software Engineering, Vol. 30, Núm. 1
-
Software assistants in software engineering: A systematic mapping study
Software - Practice and Experience, Vol. 53, Núm. 3, pp. 856-892
-
Statistical Model Checking for P
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)