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.

To Appear (most recent accepted papers listed from top)

Jooyong Yi, Dawei Qi, Shin Tan, Abhik Roychoudhury
   Software Change Contracts

Wiem Mkaouer, Marouane Kessentini,; Slim Bechikh, Kalyanmoy Deb, Ali Ouni
   Many-Objective Software Remodularization using NSGA-III

Cosmin Radoi, Danny Dig
   Effective Techniques for Static Race Detection in Java

Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
   Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications

Elena Sherman, Brady Garvin, Matthew Dwyer
   Deciding Type-based Partial Order Constraints for Path-sensitive Analysis

Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero
   Documenting Design Pattern Instances: a Family of Experiments on Source Code Comprehensibility

Tevfik Bultan, Jaideep Nijjar, Ivan Bocic
   Data Model Property Inference, Verification and Repair for Web Applications

Tao Yue, Lionel Briand, Yvan Labiche
   aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models

Gordon Fraser, Matthew Staats, Phil McMinn, Andrea Arcuri, Frank Padberg
   Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study

Milos Gligoric, Alex David Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Alipour, Darko Marinov
   Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites