SBSE4VM: Search Based Software Engineering for Variability Management

Lopez-Herrejon, Roberto E.; Egyed, Alexander

doi:10.1109/csmr.2013.67

Cited by 5 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Lopez-Herrejon and Egyed [101] suggest that SBSE could be used to search for inconsistencies in software product line feature models and architectures, a concept being developed within the SBSE4VM project on techniques to reverse engineer, evolve, and fix inconsistencies in systems with variability [102].…”

Section: Search Based Architectural Improvementmentioning

confidence: 99%

Search based software engineering for software product line engineering

Harman

Jia

Krinke

et al. 2014

Proceedings of the 18th International Software Product Line Conference - Volume 1

114

View full text Add to dashboard Cite

This paper 1 presents a survey of work on Search Based Software Engineering (SBSE) for Software Product Lines (SPLs). We have attempted to be comprehensive, in the sense that we have sought to include all papers that apply computational search techniques to problems in software product line engineering. Having surveyed the recent explosion in SBSE for SPL research activity, we highlight some directions for future work. We focus on suggestions for the development of recent advances in genetic improvement, showing how these might be exploited by SPL researchers and practitioners: Genetic improvement may grow new products with new functional and non-functional features and graft these into SPLs. It may also merge and parameterise multiple branches to cope with SPL branchmania.

show abstract

Section: Search Based Architectural Improvementmentioning

confidence: 99%

Search based software engineering for software product line engineering

Harman

Jia

Krinke

et al. 2014

Proceedings of the 18th International Software Product Line Conference - Volume 1

114

View full text Add to dashboard Cite

show abstract

“…[45]), or focused only on a project description (e.g. [46]). For the fourth step we performed snowballing readings, resulting in 3 more articles.…”

Section: Resultsmentioning

confidence: 99%

A systematic mapping study of search-based software engineering for software product lines

Lopez-Herrejon

Linsbauer

Egyed

2015

Information and Software Technology

View full text Add to dashboard Cite

“…Besides software testing, search-based optimization techniques have also been applied to fault localization [65], program analysis [76], software refactoring [29,30,55], cost estimation [19], project scheduling [1,18], decisions design optimization [10], automated negotiation [17], source code parallelization [57], requirement engineering [27,64], variability management [41], and so on.…”

Section: Search-based Software Engineeringmentioning

confidence: 99%

Search-based inference of polynomial metamorphic relations

Zhang

Chen

Hao

et al. 2014

Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

102

View full text Add to dashboard Cite

Metamorphic testing (MT) is an effective methodology for testing those so-called "non-testable" programs (e.g., scientific programs), where it is sometimes very difficult for testers to know whether the outputs are correct. In metamorphic testing, metamorphic relations (MRs) (which specify how particular changes to the input of the program under test would change the output) play an essential role. However, testers may typically have to obtain MRs manually.In this paper, we propose a search-based approach to automatic inference of polynomial MRs for a program under test. In particular, we use a set of parameters to represent a particular class of MRs, which we refer to as polynomial MRs, and turn the problem of inferring MRs into a problem of searching for suitable values of the parameters. We then dynamically analyze multiple executions of the program, and use particle swarm optimization to solve the search problem.To improve the quality of inferred MRs, we further use MR filtering to remove some inferred MRs.We also conducted three empirical studies to evaluate our approach using four scientific libraries (including 189 scientific functions). From our empirical results, our approach is able to infer many high-quality MRs in acceptable time (i.e., from 9.87 seconds to 1231.16 seconds), which are effective in detecting faults with no false detection.

show abstract

SBSE4VM: Search Based Software Engineering for Variability Management

Cited by 5 publications

References 14 publications

Search based software engineering for software product line engineering

Search based software engineering for software product line engineering

A systematic mapping study of search-based software engineering for software product lines

Search-based inference of polynomial metamorphic relations

Contact Info

Product

Resources

About