Volume 31, Number 1, January 2005
: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
Volume 31, Number 2, February 2005
Special Issue on the Working Conference on Reverse Engineering
Volume 31, Number 3, March 2005
: Editorial: New Associate Editors Introduction.
Volume 31, Number 4, April 2005
2004 IEEE International Symposium on Software Testing and Analysis
: Guest Editor's Introduction: 2004 IEEE International Symposium on Software Testing and Analysis.
Volume 31, Number 5, May 2005
: An Empirical Investigation of the Key Factors for Success in Software Process Improvement.
Volume 31, Number 6, June 2005
: Editorial: New Associate Editor Introduction.
Special Issue on Mining Software Repositories
Richard W. Selby
: Enabling Reuse-Based Software Development of Large-Scale Systems.
Volume 31, Number 7, July 2005
Special Section on the International Conference on Software Reuse
Volume 31, Number 8, August 2005
Akif Günes Koru
, Jeff Tian
: Comparing High-Change Modules and Modules with the Highest Measurement Values in Two Large-Scale Open-Source Products.
Volume 31, Number 9, September 2005
: Resolving Race Conditions in Asynchronous Partial Order Scenarios.
, Calton Pu
: Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs.
Volume 31, Number 10, October 2005
Special Issue on Software Maintenance and Evolution
, David Notkin
: Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.
Atif M. Memon
, Qing Xie
: Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software.
Richard J. Botting
: Small Errors in "Toward Formalizing Domain Modeling Semantics in Language Syntax'.
Volume 31, Number 11, November 2005
: Evidence-Based Guidelines for Assessment of Software Development Cost Uncertainty.
Volume 31, Number 12, December 2005
Special Section on Interaction and State-Based Modeling