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
  

Volume 35, Number 4, July 2009

• Jeff Kramer:
  Editorial: New Associate Editors Introduction. 449
  
• Gerardo Canfora, Ladan Tahvildari, Hausi A. Müller:
  Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance. 450-451
  
• Pavan Kumar Chittimalli, Mary Jean Harrold:
  Recomputing Coverage Information to Assist Regression Testing. 452-469
  
• Margaret-Anne D. Storey, Jody Ryall, Janice Singer, Del Myers, Li-Te Cheng, Michael J. Muller:
  How Software Developers Use Tagging to Support Reminding and Refinding. 470-483
  
• Margaret Hamill, Katerina Goseva-Popstojanova:
  Common Trends in Software Fault and Failure Data. 484-496
  
• Hamid Abdul Basit, Stan Jarzabek:
  A Data Mining Approach for Detecting Higher-Level Clones in Software. 497-514
  
• Wuwei Shen, Kun Wang, Alexander Egyed:
  An Efficient and Scalable Approach to Correct Class Model Refinement. 515-533
  
• Chris F. Kemerer, Mark C. Paulk:
  The Impact of Design and Code Reviews on Software Quality: An Empirical Study Based on PSP Data. 534-550
  
• Sira Vegas, Natalia Juristo Juzgado, Victor R. Basili:
  Maturing Software Engineering Knowledge through Classifications: A Case Study on Unit Testing Techniques. 551-565
  
• Les Hatton:
  Power-Law Distributions of Component Size in General Software Systems. 566-572
  
• Stéphane Ducasse, Damien Pollet:
  Software Architecture Reconstruction: A Process-Oriented Taxonomy. 573-591
  

Volume 35, Number 5, September 2009

• Nannette P. Napier, Lars Mathiassen, Roy D. Johnson:
  Combining Perceptions and Prescriptions in Requirements Engineering Process Assessment: An Industrial Case Study. 593-606
  
• Yuming Zhou, Hareton K. N. Leung, Baowen Xu:
  Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness. 607-623
  
• Ning Nan, Donald E. Harter:
  Impact of Budget and Schedule Pressure on Software Development Cycle Time and Effort. 624-637
  
• Michel Benaroch, James Goldstein:
  An Integrative Economic Optimization Approach to Systems Development Risk Management. 638-653
  
• Ammar Masood, Rafae Bhatti, Arif Ghafoor, Aditya P. Mathur:
  Scalable and Effective Test Generation for Role-Based Access Control Systems. 654-668
  
• Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
  Specifying and Validating Data-Aware Temporal Web Service Properties. 669-683
  
• Bas Cornelissen, Andy Zaidman, Arie van Deursen, Leon Moonen, Rainer Koschke:
  A Systematic Survey of Program Comprehension through Dynamic Analysis. 684-702
  
• Enrico Vicario, Luigi Sassoli, Laura Carnevali:
  Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. 703-719
  
• Marco D'Ambros, Michele Lanza, Mircea Lungu:
  Visualizing Co-Change Information with the Evolution Radar. 720-735
  

Volume 35, Number 6, November 2009

• Jean-Marie Favre, Dragan Gasevic, Ralf Lämmel, Andreas Winter:
  Guest Editors' Introduction to the Special Section on Software Language Engineering. 737-741
  
• Colin Atkinson, Matthias Gutheil, Bastian Kennel:
  A Flexible Infrastructure for Multilevel Language Engineering. 742-755
  
• Daniel L. Moody:
  The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. 756-779
  
• Nicholas A. Kraft, Edward B. Duffy, Brian A. Malloy:
  Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring. 780-794
  
• Michal Antkiewicz, Krzysztof Czarnecki, Matthew Stephan:
  Engineering of Framework-Specific Modeling Languages. 795-824
  
• Jesús Sánchez Cuadrado, Jesús García Molina:
  A Model-Based Approach to Families of Embedded Domain-Specific Languages. 825-840
  
• Ghassan Beydoun, Graham C. Low, Brian Henderson-Sellers, Haralambos Mouratidis, Jorge J. Gómez-Sanz, Juan Pavón, Cesar Gonzalez-Perez:
  FAML: A Generic Metamodel for MAS Development. 841-863
  
• Marcelo Cataldo, Audris Mockus, Jeffrey A. Roberts, James D. Herbsleb:
  Software Dependencies, Work Dependencies, and Their Impact on Failures. 864-878
  

Last update Fri May 24 20:58:03 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page