enter search term and/or author name
Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples
Islem Baki, Houari Sahraoui
Article No.: 20
Model-driven engineering promotes models as main development artifacts. As several models may be manipulated during the software-development life cycle, model transformations ensure their consistency by automating model generation and update...
Probabilistic models are widely deployed in various systems. To ensure their correctness, verification techniques have been developed to analyze probabilistic systems. We propose the first sound and complete learning-based compositional...
Mining Privacy Goals from Privacy Policies Using Hybridized Task Recomposition
Jaspreet Bhatia, Travis D. Breaux, Florian Schaub
Article No.: 22
Privacy policies describe high-level goals for corporate data practices; regulators require industries to make available conspicuous, accurate privacy policies to their customers. Consequently, software requirements must conform to those privacy...
Multi-Criteria Code Refactoring Using Search-Based Software Engineering: An Industrial Case Study
Ali Ouni, Marouane Kessentini, Houari Sahraoui, Katsuro Inoue, Kalyanmoy Deb
Article No.: 23
One of the most widely used techniques to improve the quality of existing software systems is refactoring—the process of improving the design of existing code by changing its internal structure without altering its external behavior. While...
Using Cohesion and Coupling for Software Remodularization: Is It Enough?
Ivan Candela, Gabriele Bavota, Barbara Russo, Rocco Oliveto
Article No.: 24
Refactoring and, in particular, remodularization operations can be performed to repair the design of a software system and remove the erosion caused by software evolution. Various approaches have been proposed to support developers during the...
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage
Gregory Gay, Ajitha Rajan, Matt Staats, Michael Whalen, Mats P. E. Heimdahl
Article No.: 25
Test adequacy metrics defined over the structure of a program, such as Modified Condition and Decision Coverage (MC/DC), are used to assess testing efforts. However, MC/DC can be “cheated” by restructuring a program to make it easier...
Stochastic Performance Analysis of Global Software Development Teams
Ricardo M. Czekster, Paulo Fernandes, Lucelene Lopes, Afonso Sales, Alan R. Santos, Thais Webber
Article No.: 26
Measuring productivity in globally distributed projects is crucial to improve team performance. These measures often display information on whether a given project is moving forward or starts to demonstrate undesired behaviors. In this paper we...
Complete dynamic control flow is a fundamental kind of execution profile about program executions with a wide range of applications. Tracing the dynamic control flow of program executions for a brief period easily generates a trace...