The diversity of software application scenarios has led the evolution towards highly configurable systems. Testing of such systems is challenging due to an immense number of configurations and is usually performed on a small sample set. Sampling is a promising approach for the sample set generation. t-wise coverage is often used to measure the quality of sample sets. Uniform sampling being most known method can fail to achieve high coverage in presence of complex constraints on configurations. Another challenge is a scalability hurdle for the t-wise coverage computation leaving sampling for higher values of t unexplored. In this work, we present Baital, a platform that combines two novel techniques for sampling of configurable systems. It i...
The problem of uniform sampling is, given a formula F, sample solutions of F uniformly at random fro...
The combined algorithm selection and hyperparameter tuning (CASH) problem is characterized by large ...
Owing to the pervasiveness of software in our modern lives, software systems have evolved to be high...
The rise of highly configurable complex software and its widespread usage requires design of efficie...
Baital is a sample generator for configurable systems that generates a set of testing samples for la...
The variability of software product lines is a significant challenge to efficient software testing. ...
International audienceCharacterizing performance is essential to optimize programs and architectures...
Sample generation is a powerful and common strategy to address the challenges of testing highly conf...
Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem of th...
Abstract—A key challenge of the development and mainten-ance of configurable systems is to predict t...
Abstract—A key challenge of the development and mainten-ance of configurable systems is to predict t...
Assessing reliability of software programs during validation is a challenging task for engineers. Th...
Objective: Understand impacts of adaptive sampling and get to know more about pbrt Developing enviro...
International audienceMany approaches for testing configurable software systems start from the same ...
Recent years have seen an unprecedented adoption of artificial intelligence in a wide variety of app...
The problem of uniform sampling is, given a formula F, sample solutions of F uniformly at random fro...
The combined algorithm selection and hyperparameter tuning (CASH) problem is characterized by large ...
Owing to the pervasiveness of software in our modern lives, software systems have evolved to be high...
The rise of highly configurable complex software and its widespread usage requires design of efficie...
Baital is a sample generator for configurable systems that generates a set of testing samples for la...
The variability of software product lines is a significant challenge to efficient software testing. ...
International audienceCharacterizing performance is essential to optimize programs and architectures...
Sample generation is a powerful and common strategy to address the challenges of testing highly conf...
Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem of th...
Abstract—A key challenge of the development and mainten-ance of configurable systems is to predict t...
Abstract—A key challenge of the development and mainten-ance of configurable systems is to predict t...
Assessing reliability of software programs during validation is a challenging task for engineers. Th...
Objective: Understand impacts of adaptive sampling and get to know more about pbrt Developing enviro...
International audienceMany approaches for testing configurable software systems start from the same ...
Recent years have seen an unprecedented adoption of artificial intelligence in a wide variety of app...
The problem of uniform sampling is, given a formula F, sample solutions of F uniformly at random fro...
The combined algorithm selection and hyperparameter tuning (CASH) problem is characterized by large ...
Owing to the pervasiveness of software in our modern lives, software systems have evolved to be high...