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)

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

Peter Rigby, Daniel German, Laura Cowen, Margaret-Anne Storey
   Peer Review on Open Source Software Projects: Parameters, Statistical Models, and Theory

Yueqi Li, S.C. Cheung, Xiangyu Zhang, Yepang Liu
   Scaling Up Symbolic Analysis by Removing Z-Equivalent States

Tracy Hall, Min Zhang, David Bowes, Yi Sun
   Some Code Smells have a Significant but Small Effect on Faults

Kathryn Stolee, Sebastian Elbaum, Daniel Dobos
   Solving the Search for Source Code

Razieh Behjati, Shiva Nejati, Lionel Briand
   Architecture-Level Configuration of Large-Scale Embedded Software Systems

Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky
   Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing

Lucas Layman, Victor Basili, Marvin Zelkowitz
   A Methodology for Exposing Risk in Achieving Emergent System Properties

ThanhVu Nguyen; Stephanie Forrest; Deepak Kapur; Westley Weimer
   DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants

Mainul Islam, Christoph Csallner
   Generating Test Cases for Programs that Are Coded Against Interfaces and Annotations