scholarly journals A Rule-Learning Approach for Detecting Faults in Highly Configurable Software Systems from Uniform Random Samples

2022 ◽  
Author(s):  
Ruben Heradio ◽  
David Fernandez-Amoros ◽  
Victoria Ruiz ◽  
Manuel J. Cobo
2020 ◽  
Author(s):  
Gleyberson Andrade ◽  
Elder Cirilo ◽  
Vinicius Durelli ◽  
Bruno Cafeo ◽  
Eiji Adachi

Configurable software systems offer a variety of benefits such as supporting easy configuration of custom behaviours for distinctive needs. However, it is known that the presence of configuration options in source code complicates maintenance tasks and requires additional effort from developers when adding or editing code statements. They need to consider multiple configurations when executing tests or performing static analysis to detect vulnerabilities. Therefore, vulnerabilities have been widely reported in configurable software systems. Unfortunately, the effectiveness of vulnerability detection depends on how the multiple configurations (i.e., samples sets) are selected. In this paper, we tackle the challenge of generating more adequate system configuration samples by taking into account the intrinsic characteristics of security vulnerabilities. We propose a new sampling heuristic based on data-flow analysis for recommending the subset of configurations that should be analyzed individually. Our results show that we can achieve high vulnerability-detection effectiveness with a small sample size.


Appetite ◽  
2016 ◽  
Vol 103 ◽  
pp. 128-136 ◽  
Author(s):  
Allison E. Doub ◽  
Meg L. Small ◽  
Aron Levin ◽  
Kristie LeVangie ◽  
Timothy R. Brick

Author(s):  
MAI XU ◽  
MARIA PETROU ◽  
JIANHUA LU

In this paper, we propose a novel logic-rule learning approach for the Tower of Knowledge (ToK) architecture, based on Markov logic networks, for scene interpretation. This approach is in the spirit of the recently proposed Markov logic networks for machine learning. Its purpose is to learn the soft-constraint logic rules for labeling the components of a scene. In our approach, FOIL (First Order Inductive Learner) is applied to learn the logic rules for MLN and then gradient ascent search is utilized to compute weights attached to each rule for softening the rules. This approach also benefits from the architecture of ToK, in reasoning whether a component in a scene has the right characteristics in order to fulfil the functions a label implies, from the logic point of view. One significant advantage of the proposed approach, rather than the previous versions of ToK, is its automatic logic learning capability such that the manual insertion of logic rules is not necessary. Experiments of labeling the identified components in buildings, for building scene interpretation, illustrate the promise of this approach.


2015 ◽  
Vol 67 ◽  
pp. 37-58 ◽  
Author(s):  
David García ◽  
Juan Carlos Gámez ◽  
Antonio González ◽  
Raúl Pérez

Sign in / Sign up

Export Citation Format

Share Document