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 (RSS 2.0)!)

To Appear (most recent accepted papers listed from top)

Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy, Hongyang Qu, Rachida Dssouli
   Conditional Commitments: Reasoning and Model Checking

Gordon Fraser, Andrea Arcuri
   A Large Scale Evaluation of Automated Unit Test Generation Using EvoSuite

Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
   Residual Investigation: Predictive and Precise Bug Detection

Dilan Sahin, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb,
   Code-Smells Detection as a Bi-Level Problem

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

Rob Hierons
   Combining centralised and distributed testing

Anirudh Santhiar, Omesh Pandita, Aditya Kanade
   Mining Unit Tests for Discovery and Migration of Math APIs

Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
   Directed Incremental Symbolic Execution

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
   A Continuous ASM Modelling Approach to Pacemaker Sensing

Giuseppe Scanniello, Filippo Ricca, Marco Torchiano, Gianna Reggio, Egidio Astesiano
   Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements