26/5/2014 ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods,

lifecycle concer
http://dl.acm.org/citation.cfm?id=2522920&picked=prox&CFID=466087455&CFTOKEN=57860271 1/3
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing,
debugging, and error handling, formal methods, lifecycle concerns, evolution and
maintenance
Volume 22 Issue 4, October 2013
Table of Contents
previous issue | next issue
Test-and-adapt: An approach for improving service interchangeability
Giovanni Denaro, Mauro Pezz, Davide Tosi
Article No.: 28
doi>10.1145/2522920.2522921
Full text: PDF
Service-oriented applications do not fully benefit from standard APIs yet, and many applications fail to
use interchangeably all the services that implement a standard service API. This article presents an
approach to develop adaptation strategies that ... expand
A methodology for testing CPU emulators
Lorenzo Martignoni, Roberto Paleari, Alessandro Reina, Giampaolo Fresi Roglia, Danilo Bruschi
Article No.: 29
doi>10.1145/2522920.2522922
Full text: PDF
A CPU emulator is a software system that simulates a hardware CPU. Emulators are widely used by
computer scientists for various kind of activities (e.g., debugging, profiling, and malware analysis).
Although no theoretical limitation prevents developing ... expand
Exception handlers for healing component-based systems
Herv Chang, Leonardo Mariani, Mauro Pezz
Article No.: 30
doi>10.1145/2522920.2522923
Full text: PDF
To design effective exception handlers, developers must predict at design time the exceptional events
that may occur at runtime, and must implement the corresponding handlers on the basis of their
predictions. Designing exception handlers for component-based ... expand
A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization
Xiaoyuan Xie, Tsong Yueh Chen, Fei-Ching Kuo, Baowen Xu
Article No.: 31
doi>10.1145/2522920.2522924
Full text: PDF
An important research area of Spectrum-Based Fault Localization (SBFL) is the effectiveness of risk
evaluation formulas. Most previous studies have adopted an empirical approach, which can hardly be
considered as sufficiently comprehensive because of ... expand
Path exploration based on symbolic output
Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury
Article No.: 32
doi>10.1145/2522920.2522925
Full text: PDF
Efficient program path exploration is important for many software engineering activities such as
testing, debugging, and verification. However, enumerating all paths of a program is prohibitively
26/5/2014 ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concer
http://dl.acm.org/citation.cfm?id=2522920&picked=prox&CFID=466087455&CFTOKEN=57860271 2/3
expensive. In this article, we develop a partitioning ... expand
Path- and index-sensitive string analysis based on monadic second-order logic
Takaaki Tateishi, Marco Pistoia, Omer Tripp
Article No.: 33
doi>10.1145/2522920.2522926
Full text: PDF
We propose a novel technique for statically verifying the strings generated by a program. The
verification is conducted by encoding the program in Monadic Second-order Logic (M2L). We use M2L
to describe constraints among program variables and to abstract ... expand
On software component co-installability
Jrme Vouillon, Roberto Di Cosmo
Article No.: 34
doi>10.1145/2522920.2522927
Full text: PDF
Modern software systems are built by composing components drawn from large repositories, whose
size and complexity is increasing at a very fast pace. A fundamental challenge for the maintainability
and the scalability of such software systems ... expand
Software effort estimation as a multiobjective learning problem
Leandro L. Minku, Xin Yao
Article No.: 35
doi>10.1145/2522920.2522928
Full text: PDF
Ensembles of learning machines are promising for software effort estimation (SEE), but need to be
tailored for this task to have their potential exploited. A key issue when creating ensembles is to
produce diverse and accurate base models. Depending ... expand
A web-centred approach to end-user software engineering
David Lizcano, Fernando Alonso, Javier Soriano, Genoveva Lopez
Article No.: 36
doi>10.1145/2522920.2522929
Full text: PDF
This article addresses one of the major end-user software engineering (EUSE) challenges, namely,
how to motivate end users to apply unfamiliar software engineering techniques and activities to
achieve their goal: translate requirements into software ... expand
Portfolio: Searching for relevant functions and their usages in millions of lines of code
Collin Mcmillan, Denys Poshyvanyk, Mark Grechanik, Qing Xie, Chen Fu
Article No.: 37
doi>10.1145/2522920.2522930
Full text: PDF
Different studies show that programmers are more interested in finding definitions of functions and
their uses than variables, statements, or ordinary code fragments. Therefore, developers require
support in finding relevant functions and determining ... expand
Evaluating a query framework for software evolution data
Michael Wrsch, Emanuel Giger, Harald C. Gall
Article No.: 38
doi>10.1145/2522920.2522931
Full text: PDF
26/5/2014 ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concer
http://dl.acm.org/citation.cfm?id=2522920&picked=prox&CFID=466087455&CFTOKEN=57860271 3/3