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)

Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella,
   Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging

Stefano Di Alesio, Shiva Nejati, Lionel Briand, Arnaud Gotlieb,
   Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines

Sebastian Proksch, Johannes Lerch, Mira Mezini
   Intelligent Code Completion with Bayesian Networks

Will Dietz, Peng Li, John Regehr, Vikram Adve
   Understanding Integer Overflow in C/C++

Peter Whigham, Caitlin Owen, Stephen MacDonell
   A baseline model for software effort estimation

Pradeep Murukannaiah, Munindar Singh
   Platys: An Active Learning Framework for Place-Aware Application Development and Its Evaluation

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