IEEE Transactions on Software Engineering (TSE), Volume 35

Volume 35, Number 1, January - February 2009

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

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
  Electronic Edition (link) BibTeX
• Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi:
  Enhanced Modeling and Solution of Layered Queueing Networks. 148-161
  Electronic Edition (link) BibTeX
• Giuliano Casale:
  CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models. 162-177
  Electronic Edition (link) BibTeX
• Laura Carnevali, Leonardo Grassi, Enrico Vicario:
  State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. 178-194
  Electronic Edition (link) BibTeX
• Peter Kemper, Carsten Tepper:
  Automated Trace Analysis of Discrete-Event System Models. 195-208
  Electronic Edition (link) BibTeX
• Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
  Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. 209-223
  Electronic Edition (link) BibTeX
• Susanna Donatelli, Serge Haddad, Jeremy Sproston:
  Model Checking Timed and Stochastic Properties with CSL^{TA}. 224-240
  Electronic Edition (link) BibTeX
• Tingting Han, Joost-Pieter Katoen, Berteun Damman:
  Counterexample Generation in Probabilistic Model Checking. 241-257
  Electronic Edition (link) BibTeX
• Luca de Alfaro, Marco Faella, Mariëlle Stoelinga:
  Linear and Branching System Metrics. 258-273
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX