IEEE Transactions on Software Engineering (TSE), Volume 35

Volume 35, Number 1, January - February 2009

• Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu:
  Atomicity Analysis of Service Composition across Organizations. 2-28
  
• Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde:
  Carving and Replaying Differential Unit Test Cases from System Test Cases. 29-45
  
• Pamela Zave, Eric Cheung:
  Compositional Control of IP Media. 46-66
  
• Sarah Spiekermann, Lorrie Faith Cranor:
  Engineering Privacy. 67-82
  
• Anders Mattsson, Björn Lundell, Brian Lings, Brian Fitzgerald:
  Linking Model-Driven Development and Software Architecture: A Case Study. 83-93
  
• Robin Abraham, Martin Erwig:
  Mutation Operators for Spreadsheets. 94-108
  
• An Ngo-The, Günther Ruhe:
  Optimized Resource Allocation for Software Release Planning. 109-123
  
• Peter Hearty, Norman E. Fenton, David Marquez, Martin Neil:
  Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model. 124-137
  

Volume 35, Number 2, March-April 2009

• Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek:
  Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. 145-147
  
• Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi:
  Enhanced Modeling and Solution of Layered Queueing Networks. 148-161
  
• Giuliano Casale:
  CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models. 162-177
  
• Laura Carnevali, Leonardo Grassi, Enrico Vicario:
  State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. 178-194
  
• Peter Kemper, Carsten Tepper:
  Automated Trace Analysis of Discrete-Event System Models. 195-208
  
• Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
  Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. 209-223
  
• Susanna Donatelli, Serge Haddad, Jeremy Sproston:
  Model Checking Timed and Stochastic Properties with CSL^{TA}. 224-240
  
• Tingting Han, Joost-Pieter Katoen, Berteun Damman:
  Counterexample Generation in Probabilistic Model Checking. 241-257
  
• Luca de Alfaro, Marco Faella, Mariëlle Stoelinga:
  Linear and Branching System Metrics. 258-273
  
• Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker:
  Compositional Dependability Evaluation for STATEMATE. 274-292
  
• Akif Günes Koru, Dongsong Zhang, Khaled El Emam, Hongfang Liu:
  An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules. 293-304
  

Volume 35, Number 3, May-June 2009

• Brian Demsky, Martin C. Rinard:
  Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. 305-324
  
• Patrizio Pelliccione, Paola Inverardi, Henry Muccini:
  CHARMY: A Framework for Designing and Verifying Architectural Specifications. 325-346
  
• Nikolaos Tsantalis, Alexander Chatzigeorgiou:
  Identification of Move Method Refactoring Opportunities. 347-367
  
• Magne Jørgensen, Tanja M. Gruschke:
  The Impact of Lessons-Learned Sessions on Effort Estimation and Uncertainty Assessments. 368-383
  
• Sebastián Uchitel, Greg Brunet, Marsha Chechik:
  Synthesis of Partial Behavior Models from Properties and Scenarios. 384-406
  
• Bente Anda, Dag I. K. Sjøberg, Audris Mockus:
  Variability and Reproducibility in Software Engineering: A Study of Four Companies that Developed the Same System. 407-429
  
• Mika Mäntylä, Casper Lassenius:
  What Types of Defects Are Really Discovered in Code Reviews? 430-448