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

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: Sun Apr 27 23:52:29 EDT 2008