Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 25 Issue 3, August 2016

Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples
Islem Baki, Houari Sahraoui
Article No.: 20
DOI: 10.1145/2904904

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...

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes
Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang
Article No.: 21
DOI: 10.1145/2907943

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
DOI: 10.1145/2907942

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
DOI: 10.1145/2932631

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
DOI: 10.1145/2928268

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
DOI: 10.1145/2934672

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
DOI: 10.1145/2955093

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...

Hierarchical Program Paths
Chunbai Yang, Shangru Wu, W. K. Chan
Article No.: 27
DOI: 10.1145/2963094

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...