Upcoming Articles

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)

Robin Gandhi, Seok-Won Lee
  Discovering Multi-dimensional Correlations among Regulatory Requirements to Understand Risk

Changhai Nie, Hareton Leung, Baowen Xu
  The minimal failure-causing schema of combinatorial testing

Andreas Bauer, Martin Leucker, Christian Schallhart
  Runtime Verification for LTL and TLTL

Zhenyu Chen, Tsong Yueh Chen, Baowen Xu
  A Revisit of Fault Class Hierarchies in General Boolean Specifications

David Binkley, Mark Harman, Kiran Lakhotia
  FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags

Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao
  A Model for Spectra-based Software Diagnosis

John Anvik, Gail Murphy
  Reducing the Effort of Bug Report Triage: Recommenders for Development-oriented Decisions

Jinjun Chen, Yun Yang
  Temporal Dependency based Checkpoint Selection

Simon Miles, Paul Groth, Steve Munroe, Luc Moreau
  PrIMe: A Methodology for Developing Provenance-Aware Applications

Robert Dyer, Hridesh Rajan (Volume 20, Issue 2)
  Supporting Dynamic Aspect-oriented Features

Param Vir Singh (Volume 20, Issue 2)
  The Small World Effect

Kevin Sullivan, Bill Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari (Volume 20, Issue 2)
  Modular Aspect-Oriented Design with XPIs

Andrew Ko, Brad Myers (Volume 20, Issue 2)
  Extracting and Answering Why and Why Not Questions about Java Program Output

Ekwa Duala-Ekoko, Martin Robillard (Volume 20, Issue 1)
  Clone Region Descriptors: Representing and Tracking Duplication in Source Code

Kieran Conboy, Brian Fitzgerald (Volume 20, Issue 1)
  METHOD AND DEVELOPER CHARACTERISTICS FOR EFFECTIVE AGILE METHOD TAILORING: A STUDY OF EXPERT OPINION

Friedrich Steimann, Thomas Pawlitzki, Sven Apel, Christian Kästner (Volume 20, Issue 1)
  Types and Modularity for Implicit Invocation with Implicit Announcement

Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin (Volume 19, Issue 4)
  A Verification System for Interval-Based Specification Languages

Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani (Volume 19, Issue 4)
  Semantic Self-Assessment of Query Results in Dynamic Environments

Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani (Volume 19, Issue 4)
  Analysis and Applications of Timed Service Protocols

Chang Xu, S.C. Cheung, W.K. Chan, Chunyang Ye (Volume 19, Issue 3)
  Partial Constraint Checking for Context Consistency in Pervasive Computing

Antonio Brogi, Razvan Popescu, Matteo Tanca (Volume 19, Issue 3)
  Design and Implementation of Sator: a Web Service Aggregator

Jon Whittle, Praveen Jayaraman (Volume 19, Issue 3)
  Synthesizing Hierarchical State Machines from Expressive Scenario Descriptions

Last modified: Sat Nov 7 17:20:29 EST 2009