ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 23 Issue 1, February 2014

EDITORIAL
David S. Rosenblum
Article No.: 1
DOI: 10.1145/2559939

Architecture-centric support for adaptive service collaborations
Robrecht Haesevoets, Danny Weyns, Tom Holvoet
Article No.: 2
DOI: 10.1145/2559937

In today's volatile business environments, collaboration between information systems, both within and across company borders, has become essential to success. An efficient supply chain, for example, requires the collaboration of distributed and...

Automated cookie collection testing
Andrew F. Tappenden, James Miller
Article No.: 3
DOI: 10.1145/2559936

Cookies are used by over 80% of Web applications utilizing dynamic Web application frameworks. Applications deploying cookies must be rigorously verified to ensure that the application is robust and secure. Given the intense time-to-market...

Improving software modularization via automated analysis of latent topics and dependencies
Gabriele Bavota, Malcom Gethers, Rocco Oliveto, Denys Poshyvanyk, Andrea de Lucia
Article No.: 4
DOI: 10.1145/2559935

Oftentimes, during software maintenance the original program modularization decays, thus reducing its quality. One of the main reasons for such architectural erosion is suboptimal placement of source-code classes in software packages. To alleviate...

Do we need to handle every temporal violation in scientific workflow systems?
Xiao Liu, Yun Yang, Dong Yuan, Jinjun Chen
Article No.: 5
DOI: 10.1145/2559938

Scientific processes are usually time constrained with overall deadlines and local milestones. In scientific workflow systems, due to the dynamic nature of the underlying computing infrastructures such as grid and cloud, execution delays often...

Model-based synthesis of control software from system-level formal specifications
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Article No.: 6
DOI: 10.1145/2559934

Many embedded systems are indeed software-based control systems, that is, control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on formal model-based...

Join point interfaces for safe and flexible decoupling of aspects
Eric Bodden, Éric Tanter, Milton Inostroza
Article No.: 7
DOI: 10.1145/2559933

In current aspect-oriented systems, aspects usually carry, through their pointcuts, explicit references to the base code. Those references are fragile and hinder important software engineering properties such as modular reasoning and independent...

Prevalence of coincidental correctness and mitigation of its impact on fault localization
Wes Masri, Rawad Abou Assi
Article No.: 8
DOI: 10.1145/2559932

Researchers have argued that for failure to be observed the following three conditions must be met: CR = the defect was reached; CI = the program has transitioned into an infectious...

Traceability and SysML design slices to support safety inspections: A controlled experiment
Lionel Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
Article No.: 9
DOI: 10.1145/2559978

Certifying safety-critical software and ensuring its safety requires checking the conformance between safety requirements and design. Increasingly, the development of safety-critical software relies on modeling, and the System Modeling Language...

An in-depth study of the potentially confounding effect of class size in fault prediction
Yuming Zhou, Baowen Xu, Hareton Leung, Lin Chen
Article No.: 10
DOI: 10.1145/2556777

Background. The extent of the potentially confounding effect of class size in the fault prediction context is not clear, nor is the method to remove the potentially confounding effect, or the influence of this removal on the performance of...