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

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

Robert Dyer, Hridesh Rajan,
  Supporting Dynamic Aspect-oriented Features

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

Param Vir Singh
  The Small World Effect

Kevin Sullivan, Bill Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari
  Modular Aspect-Oriented Design with XPIs

Andrew Ko, Brad Myers
  Extracting and Answering Why and Why Not Questions about Java Program Output

Kieran Conboy, Brian Fitzgerald
  METHOD AND DEVELOPER CHARACTERISTICS FOR EFFECTIVE AGILE METHOD TAILORING: A STUDY OF EXPERT OPINION

Friedrich Steimann, Thomas Pawlitzki, Sven Apel, Christian Kästner
  Types and Modularity for Implicit Invocation with Implicit Announcement

Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani
  Semantic Self-Assessment of Query Results in Dynamic Environments

Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani
  Analysis and Applications of Timed Service Protocols

Chang Xu, S.C. Cheung, W.K. Chan, Chunyang Ye
  Partial Constraint Checking for Context Consistency in Pervasive Computing

Antonio Brogi, Razvan Popescu, Matteo Tanca
  Design and Implementation of Sator: a Web Service Aggregator

P. Mohagheghi, R. Conradi
  An Empirical Investigation of Software Reuse Benefits in a Large Telecom Product

A. Tiwana
  Impact of Tools on Development Performance

J. Henkel, C. Reichenbach, A. Diwan
  Developing and Debugging Algebraic Specifications for Java Classes

C. Gencel, O. Demirors
  Functional Size Measurement Revisited

T.Y. Chen, R. Merkel
  An Upper Bound on Software Testing Effectiveness

S. Siegel, A. Mironova, G. Avrunin, L. Clarke
  Using Model Checking with Symbolic Execution to Verify Parallel Numerical Programs

S. Fink, E. Yahav, G. Ramalingam, N. Dor, E. Geay
  Effective Typestate Verification in the Presence of Aliasing

P. Jalote, B. Murphy, V. S. Sharma
  Post-Release Reliability Growth in Software Products

M. Robillard
  Topology Analysis of Software Dependencies

W. Emmerich, J. Sventek, M. Aoyama
  The Impact of Research on the Development of Middleware Technology

T. Gruschke, M. Jorgensen
  Assessing Uncertainty of Software Development Effort Estimates: Learning from Outcome Feedback

Karam, Marcel; Smedley, Trevor; Dascalus, Sergiu
  Unit Level Test Adequacy Criteria for Visual Dataflow Languages and a Testing Methodology

Louridas, Panagiotis; Spinellis, Diomidis; Vlachos, Vasileios
  Power Laws in Software

Lhotak, Ondrej; Hendren, Laurie
  Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation

Memon, Atif
  Automatically Repairing Event Sequence-Based GUI Test Suites for Regression Testing

Breaux, Travis; Anton, Annie; Doyle, Jon
  Semantic Parameterization: A Process for Modeling Domain Descriptions

Huang, Shan Shan; Zook, David; Smaragdakis, Yannis
  Domain-Specific Languages and Program Generation with Meta-AspectJ

Xie, Qing; Memon, Atif
  Using a Pilot Study to Derive a GUI Model for Automated Testing

Cobleigh, Jamieson; Avrunin, George; Clarke, Lori
  Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning

Bauer, Lujo; Ligatti, Jay; Walker, David
  Composing Expressive Run-time Security Policies

Hall, Tracy; Beecham, Sarah; Baddoo, Nathan; Sharp, Helen; Robinson, Hugh
  A Systematic Review of Theory Use in Studies Investigating the Motivations of Software Engineers

McMinn, Phil; binkley, dave; Harman, Mark
  Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing

Csallner, Christoph; Smaragdakis, Yannis; Xie, Tao
  DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

Hamlet, Richard
  Tools and Experiments Supporting a Testing-based Theory of Component Composition

Goel, Ankit; Roychoudhury, Abhik; Thiagarajan, P. S
  Interacting Process Classes

Hierons, Rob
  Verdict Functions in Testing with a Fault Domain or Test Hypotheses

Mamei, Marco; Zambonelli, Franco
  Programming Pervasive and Mobile Computing Applications: the TOTA Approach

Tilevich, Eli; Smaragdakis, Yannis
  J-Orchestra: Enhancing Java Programs with Distribution Capabilities

Ouyang, Chun; Dumas, Marlon; van der Aalst, Wil; ter Hofstede, Arthur; Mendling, Jan
  From Business Process Models to Process-oriented Software Systems

Rajan, Hridesh; Sullivan, Kevin
  Unifying Aspect- and Object-Oriented Design

Tan, Hee Beng Kuan; Zhao, Yuan; Zhang, HongYu
  Conceptual Data Model Based Software Size Estimation for Information System

Last modified: Sat Jun 27 15:24:17 EDT 2009