Travelled to:1 × France
1 × Germany
1 × Ireland
1 × Republic of China
2 × USA
3 × Portugal
Collaborated with:A.R.Cortés P.Trinidad S.Segura P.T.Martín-Arroyo J.White D.C.Schmidt J.A.Galindo A.Hubaux P.Heymans R.M.Hierons B.Dougherty M.Alférez M.Acher B.Baudry A.Jimenez D.Dhungana D.Seichter G.Botterweck R.Rabiser P.Grünbacher
Talks about:model (9) featur (7) autom (6) configur (3) approach (3) variabl (3) product (3) reason (3) test (3) line (3)
Person: David Benavides
DBLP: Benavides:David
Facilitated 1 volumes:
EdContributed to:
20142011
201020092008
2007
20052005
2005Wrote 11 papers:
- ISSTA-2014-GalindoAABB #approach #sequence #testing #variability #video
- A variability-based testing approach for synthesizing video sequences (JAG, MA, MA, BB, DB), pp. 293–303.
- SPLC-2011-DhunganaSBRGBG #modelling #multi #product line #variability
- Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches (DD, DS, GB, RR, PG, DB, JAG), pp. 120–129.
- ICST-2010-SeguraHBR #analysis #approach #automation #feature model #generative #modelling #testing
- Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach (SS, RMH, DB, ARC), pp. 35–44.
- SPLC-2009-WhiteDSB #automation #feature model #multi #problem #reasoning
- Automated reasoning for multi-step feature model configuration problems (JW, BD, DCS, DB), pp. 11–20.
- SPLC-2008-HubauxHB #challenge #modelling #open source #product line #re-engineering #variability
- Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project (AH, PH, DB), pp. 55–64.
- SPLC-2008-TrinidadBCSJ #framework
- FAMA Framework (PT, DB, ARC, SS, AJ), p. 359.
- SPLC-2008-WhiteSBTC #automation #fault #feature model #modelling #product line
- Automated Diagnosis of Product-Line Configuration Errors in Feature Models (JW, DCS, DB, PT, ARC), pp. 225–234.
- GTTSE-2007-SeguraBCT #automation #feature model #graph transformation #modelling #using
- Automated Merging of Feature Models Using Graph Transformations (SS, DB, ARC, PT), pp. 489–505.
- CAiSE-2005-BenavidesTC #automation #feature model #modelling #reasoning
- Automated Reasoning on Feature Models (DB, PTMA, ARC), pp. 491–503.
- GTTSE-2005-BenavidesSMC #analysis #automation #csp #feature model #java #modelling #using
- Using Java CSP Solvers in the Automated Analyses of Feature Models (DB, SS, PTMA, ARC), pp. 399–408.
- SEKE-2005-BenavidesTC #constraints #feature model #modelling #programming #using
- Using Constraint Programming to Reason on Feature Models (DB, PT, ARC), pp. 677–682.