Volume 33,
Number 1,
January 2007
Editorial
Regular Papers
Volume 33,
Number 2,
February 2007
- Erik Arisholm, Hans Gallis, Tore Dybå, Dag I. K. Sjøberg:
Evaluating Pair Programming with Respect to System Complexity and Programmer Expertise.
65-86
Electronic Edition (link) BibTeX
- Jo Erskine Hannay, Dag I. K. Sjøberg, Tore Dybå:
A Systematic Review of Theory Use in Software Engineering Experiments.
87-107
Electronic Edition (link) BibTeX
- Dennis Jeffrey, Neelam Gupta:
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction.
108-123
Electronic Edition (link) BibTeX
- Cemal Yilmaz, Adam A. Porter, Arvind S. Krishna, Atif M. Memon, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan:
Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems.
124-141
Electronic Edition (link) BibTeX
Volume 33,
Number 3,
March 2007
- Manish Agrawal, Kaushal Chari:
Software Effort, Quality, and Cycle Time: A Study of CMM Level 5 Projects.
145-156
Electronic Edition (link) BibTeX
- Christian Attiogbé, Pascal Poizat, Gwen Salaün:
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.
157-170
Electronic Edition (link) BibTeX
- Hasan Cavusoglu, Huseyin Cavusoglu, Srinivasan Raghunathan:
Efficiency of Vulnerability Disclosure Mechanisms to Disseminate Vulnerability Knowledge.
171-185
Electronic Edition (link) BibTeX
- Giorgia Lodi, Fabio Panzieri, Davide Rossi, Elisa Turrini:
SLA-Driven Clustering of QoS-Aware Application Servers.
186-197
Electronic Edition (link) BibTeX
- Simon P. Wilson, Francisco J. Samaniego:
Nonparametric Analysis of the Order-Statistic Model in Software Reliability.
198-208
Electronic Edition (link) BibTeX
Volume 33,
Number 4,
April 2007
- Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle:
Model Checking Markov Chains with Actions and State Labels.
209-224
Electronic Edition (link) BibTeX
- Zheng Li, Mark Harman, Robert M. Hierons:
Search Algorithms for Regression Test Case Prioritization.
225-237
Electronic Edition (link) BibTeX
- Dragan Milicev:
On the Semantics of Associations and Association Ends in UML.
238-251
Electronic Edition (link) BibTeX
- Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon:
Test Synthesis from UML Models of Distributed Software.
252-269
Electronic Edition (link) BibTeX
Volume 33,
Number 5,
May 2007
- Carina Andersson, Per Runeson:
A Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems.
273-286
Electronic Edition (link) BibTeX
- Murali Haran, Alan F. Karr, Michael Last, Alessandro Orso, Adam A. Porter, Ashish P. Sanil, Sandro Fouché:
Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks.
287-304
Electronic Edition (link) BibTeX
- Mika Murtojarvi, Jouni Järvinen, Mika Johnsson, Timo Leipälä, Olli Nevalainen:
Determining the Proper Number and Price of Software Licenses.
305-315
Electronic Edition (link) BibTeX
- Barbara A. Kitchenham, Emilia Mendes, Guilherme Horta Travassos:
Cross versus Within-Company Cost Estimation Studies: A Systematic Review.
316-329
Electronic Edition (link) BibTeX
- Ajay D. Kshemkalyani, Bin Wu:
Detecting Arbitrary Stable Properties Using Efficient Snapshots.
330-346
Electronic Edition (link) BibTeX
- Bev Littlewood, David Wright:
The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example.
347-365
Electronic Edition (link) BibTeX
Volume 33,
Number 6,
June 2007
- Danilo Ardagna, Barbara Pernici:
Adaptive Service Composition in Flexible Processes.
369-384
Electronic Edition (link) BibTeX
- Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi:
Integrating Software Models and Platform Models for Performance Analysis.
385-401
Electronic Edition (link) BibTeX
- Hector M. Olague, Letha H. Etzkorn, Sampson Gholston, Stephen Quattlebaum:
Empirical Validation of Three Software Metrics Suites to Predict Fault-Proneness of Object-Oriented Classes Developed Using Highly Iterative or Agile Software Development Processes.
402-419
Electronic Edition (link) BibTeX
- Denys Poshyvanyk, Yann-Gaël Guéhéneuc, Andrian Marcus, Giuliano Antoniol, Václav Rajlich:
Feature Location Using Probabilistic Ranking of Methods Based on Execution Scenarios and Information Retrieval.
420-432
Electronic Edition (link) BibTeX
Volume 33,
Number 7,
July 2007
Volume 33,
Number 8,
August 2007
- Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
Semantics-Preserving Design of Embedded Control Software from Synchronous Models.
497-509
Electronic Edition (link) BibTeX
- Adam A. Porter, Cemal Yilmaz, Atif M. Memon, Douglas C. Schmidt, Balachandran Natarajan:
Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance.
510-525
Electronic Edition (link) BibTeX
- Johannes Henkel, Christoph Reichenbach, Amer Diwan:
Discovering Documentation for Java Container Classes.
526-543
Electronic Edition (link) BibTeX
- Rahul Telang, Sunil Wattal:
An Empirical Analysis of the Impact of Software Vulnerability Announcements on Firm Stock Price.
544-557
Electronic Edition (link) BibTeX
- Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu:
Integrating formal verification and conformance testing for reactive systems.
558-574
Electronic Edition (link) BibTeX
Volume 33,
Number 9,
September 2007
- Stefan Bellon, Rainer Koschke, Giuliano Antoniol, Jens Krinke, Ettore Merlo:
Comparison and Evaluation of Clone Detection Tools.
577-591
Electronic Edition (link) BibTeX
- Dennis Strein, Rüdiger Lincke, Jonas Lundberg, Welf Löwe:
An Extensible Meta-Model for Program Analysis.
592-607
Electronic Edition (link) BibTeX
- Brenda S. Baker:
Finding Clones with Dup: Analysis of an Experiment.
608-621
Electronic Edition (link) BibTeX
- Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper:
Systematic Testing of Model-Based Code Generators.
622-634
Electronic Edition (link) BibTeX
- Hongyu Zhang, Xiuzhen Zhang:
Comments on "Data Mining Static Code Attributes to Learn Defect Predictors".
635-637
Electronic Edition (link) BibTeX
- Tim Menzies, Alex Dekhtyar, Justin Distefano, Jeremy Greenwald:
Problems with Precision: A Response to "Comments on 'Data Mining Static Code Attributes to Learn Defect Predictors'".
637-640
Electronic Edition (link) BibTeX
Volume 33,
Number 10,
October 2007
- Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori L. Pollock, Amie Souter Greenwald:
Applying Concept Analysis to User-Session-Based Testing of Web Applications.
643-658
Electronic Edition (link) BibTeX
- Gerard J. Holzmann, Dragan Bosnacki:
The Design of a Multicore Extension of the SPIN Model Checker.
659-674
Electronic Edition (link) BibTeX
- Ganesh J. Pai, Joanne Bechta Dugan:
Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods.
675-686
Electronic Edition (link) BibTeX
- Giulio Concas, Michele Marchesi, Sandro Pinna, Nicola Serra:
Power-Laws in a Large Object-Oriented Software System.
687-708
Electronic Edition (link) BibTeX
- Kung-Kiu Lau, Zheng Wang:
Software Component Models.
709-724
Electronic Edition (link) BibTeX
Volume 33,
Number 11,
November 2007
Volume 33,
Number 12,
December 2007
International Conference on Software Maintenance and Evolution
- David Binkley, Rainer Koschke, Spiros Mancoridis:
Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance and Evolution.
797-798
Electronic Edition (link) BibTeX
- Dennis Strein, Rüdiger Lincke, Jonas Lundberg, Welf Löwe:
An Extensible Metamodel for Program Analysis (abstract only).
799
Electronic Edition (link) BibTeX
- Bart Van Rompaey, Bart Du Bois, Serge Demeyer, Matthias Rieger:
On The Detection of Test Smells: A Metrics-Based Approach for General Fixture and Eager Test.
800-817
Electronic Edition (link) BibTeX
- Zhenchang Xing, Eleni Stroulia:
API-Evolution Support with Diff-CatchUp.
818-836
Electronic Edition (link) BibTeX
- Ying Zou, Qi Zhang, Xulin Zhao:
Improving the Usability of E-Commerce Applications using Business Processes.
837-855
Electronic Edition (link) BibTeX
- Yves Vandewoude, Peter Ebraert, Yolande Berbers, Theo D'Hondt:
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates.
856-868
Electronic Edition (link) BibTeX
Regular Papers
Copyright © Sun May 17 00:30:44 2009
by Michael Ley (ley@uni-trier.de)