Don Batory
YOU?
Author Swipe
Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees Open
A Software Product Line ( SPL ) is a family of similar programs. Each program is defined by a unique set of features, called a configuration , that satisfies all feature constraints. “What configuration achieves the best performance for a …
Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language Open
Real-world Software Product Lines (SPLs) need Numerical Feature Models (NFMs) whose features have not only boolean values that satisfy boolean constraints but also have numeric attributes that satisfy arithmetic constraints. An essential o…
Nemo2 (Numbers, fEatures, MOdels, version 2) Testing Files Open
The publications and research associated with this software is currently under review in the "Journal of Systems and Software". You can find the official Github repository of this dataset in: https://github.com/danieljmg/Nemo2_models
Nemo2 (Numbers, fEatures, MOdels, version 2) Testing Files Open
The publications and research associated with this software is currently under review in the "Journal of Systems and Software". You can find the official Github repository of this dataset in: https://github.com/danieljmg/Nemo2_models
Dataset and source code for the paper "Finding Near-Optimal Configurations in Colossal Product Spaces with Statistical Confidence" Open
Dataset and source code for the paper "Finding Near-Optimal Configurations in Colossal Product Spaces with Statistical Confidence"
Dataset and source code for the paper "Finding Near-Optimal Configurations in Colossal Product Spaces with Statistical Confidence" Open
Dataset and source code for the paper "Finding Near-Optimal Configurations in Colossal Product Spaces with Statistical Confidence"
On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels Open
Model Driven Engineering ( MDE ) is a general-purpose engineering methodology to elevate system design, maintenance, and analysis to corresponding activities on models. Models (graphical and/or textual) of a target application are automati…
Nemo: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints Open
This is a pre-print, please access and cite the published version: https://doi.org/10.1007/978-3-031-08129-3_4 Real-world Software Product Lines (SPLs) need Numerical Feature Models (NFMs) whose features not only have boolean values satisf…
Uniform and scalable sampling of highly configurable systems Open
Many analyses on configurable software systems are intractable when confronted with colossal and highly-constrained configuration spaces. These analyses could instead use statistical inference, where a tractable sample accurately predicts …
Modularizing Theorems for Software Product Lines: The Jbook Case Study Open
A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated into feature-based development of software product lines. As…
Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features Open
Analyses of Software Product Lines (SPLs) rely on automated solvers to navigate complex dependencies among features and find legal configurations. Often these analyses do not support numerical features with constraints because propositiona…
<i>t</i> -wise Coverage by Uniform Sampling Open
Efficiently testing large configuration spaces of Software Product Lines (SPLs) needs a sampling algorithm that is both scalable and provides good t-wise coverage. The 2019 SPLC Sampling Challenge provides large real-world feature models a…
Fourth International Workshop on Variability Modelling of Software-intensive Systems Open
This ICB Research Report constitutes the Proceedings of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS’10), which was held from January 27–29, 2010 at the Johannes Kepler University Linz.
COPE Open
Software engineering involves a lot of change as code artifacts are not only created once but maintained over time. In the last 25 years, major paradigms of program development have arisen -- agile development with refactorings, software p…