Buscar
Mostrando ítems 1-10 de 10
Ponencia
Extensible and modular abstract syntax for feature modeling based on language constructs
(ACM Digital Library, 2020)
Since the definition of feature models in 1990, a large number of language constructs have emerged. Each language construct usually comes with its own abstract and concrete syntax, its semantics, and even its complete ...
Ponencia
AMADEUS: Towards the AutoMAteD secUrity teSting
(ACM: Association for Computing Machinery, 2020)
The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis of cyber security vulnerabilities is a mandatory task, but the number of vul nerabilities and system ...
Ponencia
The current limitations of blockchain traceability: challenges from industry
(SciTePress, 2020)
Blockchain technology is a chain of cryptographically linked blocks. It was designed to be immutable, so that the identity and traceability of the information entered would be guaranteed. After analyzing several traceability ...
Ponencia
Uniform and scalable SAT-sampling for configurable systems
(Association for Computing Machinery (ACM), 2020)
Several relevant analyses on configurable software systems remain intractable because they require examining vast and highly-constrained configuration spaces. Those analyses could be addressed through statistical inference, ...
Ponencia
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
(Springer, 2020)
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those which use modern constraint satisfaction solvers, perform a complete search, making them unsuitable ...
Ponencia
Discovering Business Process Simulation Models in the Presence of Multitasking
(Springer, 2020)
Business process simulation is a versatile technique for analyzing business processes from a quantitative perspective. A well-known limitation of process simulation is that the accuracy of the simulation results is limited ...
Ponencia
AI-driven web API testing
(Association for Computing Machinery (ACM), 2020)
Testing of web APIs is nowadays more critical than ever before, as they are the current standard for software integration. A bug in an organization’s web API could have a huge impact both in ternally (services relying ...
Ponencia
QoS-aware Metamorphic Testing: An Elevation Case Study
(IEEE Computer Society, 2020)
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ...
Ponencia
A Proposal to Evolving Towards Digital Twins in Healthcare
(SpringerLink, 2020-05)
The main objective in this proposal is to orchestrate an ecosystem of manipulation of reliable and safe data, applied to the field of health, specifically lung cancer, by introducing the creation of digital twins for ...
Ponencia
RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs
(Springer, 2020)
Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived from the API specification. These techniques show promising results, but they neglect constraints ...