The following papers will be published in future issues of the
ACM Transactions on Software Engineering and
Methodology. They are listed here in approximate order of
appearance.
(
Stay tuned with 
(RSS 2.0)!)
To Appear (most recent accepted papers listed from top)
Yuming Zhou, Baowen Xu, Hareton Leung, Lin Chen
An in-depth study of the potentially confounding effect of class size in fault prediction
Lionel Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
Wes Masri, Rawad Abou Assi
Prevalence of Coincidental Correctness and Mitigation of its Impact on Fault-Localization
Eric Bodden, Éric Tanter, Milton Inostroza
Joint Point Interfaces for Safe and Flexible Decoupling of Aspects
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Model Based Synthesis of Control Software from System Level Formal Specifications
Xiao Liu, Yun Yang, Yuan Dong, Jinjun Chen
Do We Need to Handle Every Temporal Violation in Scientific Workflow Systems?
Rocco Oliveto, Gabriele Bavota, Malcom Gethers, Denys Poshyvanyk, Andrea De Lucia
Improving Software Modularization via Automated Analysis of Latent Topics and Dependencies
Andrew Tappenden, James Miller
Automated Cookie Collection Testing
Robrecht Haesevoets, Danny Weyns, Tom Holvoet
Architecture-Centric Support for Dynamic Service Collaborations
Abhik Roychoudhury, Dawei Qi, Hoang Nguyen
Path Exploration based on Symbolic Output
Michael Würsch, Emanuel Giger, Harald Gall
Evaluating a Query Framework for Software Evolution Data
David Lizcano, Fernando Alonso, Javier Soriano, Genoveva López
A Web-Centered Approach to End-User Software Engineering
Leandro Minku, Xin Yao
Software Effort Estimation as a Multi-objective Learning Problem
Roberto Di Cosmo, Jérôme Vouillon
On Software Component Co-Installability
Xiaoyuan Xie, Tsong Chen, Fei-Ching Kuo, Baowen Xu
A Theoretical Analysis of the Risk Evaluation Formulas for Spectrum-Based Fault Localization
Takaaki Tateishi, Marco Pistoia, Omer Tripp
Path- and Index-sensitive String Analysis Based on Monadic Secord-order Logic
Leonardo Mariani, Hervé Chang, Mauro Pezzè
Exception Handlers for Healing Component Based Systems
Denys Poshyvanyk, Collin McMillan, Mark Grechanik, Qing Xie, Chen Fu
Portfolio: Searching for Relevant Functions and Their Usages in Millions of Lines of Code
Roberto Paleari, Lorenzo Martignoni, Alessandro Reina, Giampaolo Fresi Roglia, Danilo Bruschi
A Metholdology for Testing CPU Emulators
Giovanni Denaro, Mauro Pezzè, Davide Tosi
Test-and-Adapt: an Approach for Improving Service Interchangeability
Shin Yoo, Mark Harman, David Clark
Fault Localization Prioritization: Comparing Information Theoretic and Coverage Based Approaches
Wei Le, Mary Lou Soffa
Marple: Detecting Faults in Path Segments Using Automatically Generated Analyses
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
Use Case and Task Models: An Integrated Development Methodology and Its Formal Foundation
Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja Vos, Alain Abran
Using a Functional Size Measurement Procedure to Evaluate the Quality of Models in MDD Environments
Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel
Enabledness-based Program Abstractions for Behaviour Validation
Azzam Maraee, Mira Balaban
Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy
Hong Zhu, Ian Bayley
An Algebra of Design Patterns
Kevin Hoffman, Patrick Eugster
Trading Obliviousness ror Modularity with Cooperative Aspect-oriented Programming
Davide Falessi, Lionel Briand, Giovanni Cantone, Rafael Capilla, Philippe Kruchten
The Value of Design Rationale Information
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
Guoqing Xu, Atanas Rountev
Precise Memory Leak Detection for Java Software Using Container Profiling
.