Discover open access scientific publications

Search, annotate, share and cite publications

Publications by David Benavides

FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

Software and Systems Modeling
ModelingSoftwareSimulation
2015English

Testing Variability-Intensive Systems Using Automated Analysis: An Application to Android

Software Quality Journal
Media TechnologyRiskReliabilitySafetyQualitySoftware
2014English

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach

2010English

A First Approach to Build Product Lines of Multi-Organizational Web Based Systems (MOWS)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Applying System Families Concepts to Requirements Engineering Process Definition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Automated Reasoning on Feature Models

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy