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)

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

Juan de Lara, Esther Guerra, Jesus Sanchez Cuadrado
   When and How to Use Multi-Level Modelling

Hassan Eldib, Chao Wang, Patrick Schaumont
   SMT-Based Verification of Software Countermeasures against Side-Channel Attacks

Dan Hao, Lingming Zhang, Lu Zhang, Gregg Rothermel, Hong Mei
   A Unified Test-Case Prioritization Approach

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

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