Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6948148 | Information and Software Technology | 2018 | 60 Pages |
Abstract
Our feature-family-based strategy leverages both feature- and family-based strategies by taming the size of the models to be analyzed and by avoiding the products enumeration inherent to some state-of-the-art analysis methods.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
André Lanna, Thiago Castro, Vander Alves, Genaina Rodrigues, Pierre-Yves Schobbens, Sven Apel,