Variability bugs in highly configurable systems: A qualitative analysis

I Abal, J Melo, Ş Stănciulescu, C Brabrand… - ACM Transactions on …, 2018 - dl.acm.org
Variability-sensitive verification pursues effective analysis of the exponentially many variants
of a program family. Several variability-aware techniques have been proposed, but …
被引用次数：74 相关文章
[PDF] itu.dk

[PDF][PDF] Variability Bugs in Highly Configurable Systems: A Qualitative Analysis

I Abal, J Melo, S Stanciulescu, C Brabrand… - ACM Transactions on …, 2018 - pure.itu.dk
Variability-sensitive verification pursues effective analysis of the exponentially many variants
in number of features of a program family. Several variability-aware techniques have been …
[PDF] google.com

[PDF][PDF] Variability bugs in highly configurable systems: A qualitative analysis

I Abal, J Melo, Ş Stănciulescu, C Brabrand… - ACM Transactions on …, 2018 - drive.google.com
Many software projects adopt variability to tailor development of individual software products
to particular market niches [3]. Other software projects, such as the Linux kernel, embrace …
[PDF] google.com

[PDF][PDF] Variability bugs in highly configurable systems: A qualitative analysis

I Abal, J Melo, Ş Stănciulescu, C Brabrand… - ACM Transactions on …, 2018 - drive.google.com
Variability-sensitive verification pursues effective analysis of the exponentially many variants
of a program family. Several variability-aware techniques have been proposed, but …

Variability Bugs in Highly Configurable Systems: A Qualitative Analysis

I Abal, J Melo, S Stanciulescu, C Brabrand… - ACM Transactions on …, 2018 - pure.itu.dk
Variability-sensitive verification pursues effective analysis of the exponentially many variants
in number of features of a program family. Several variability-aware techniques have been …