Upcoming ArticlesThe 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.
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