14:00 - 15:30 |
S3.1 Papers: Requirements Engineering
Agent-Based Tactics for Goal-Oriented Requirements Elaboration
Emmanuel Letier, Axel van Lamsweerde (Université Catholique de Louvain)
Requirements, Domain and Specifications: A Viewpoint-based Approach to Requirements Engineering
Andrés Silva (Universidad Politécnica de Madrid)
Detection of Conflicting Functional Requirements in a Use Case-Driven Approach
Jan Hendrik Hausmann, Reiko Hecke, Gabi Taentzer (University of Paderborn)
|
S3.2 Papers: Software Testing
A History-Based Test Prioritization Technique for Regression Testing in Resource Constrained Environments
Jung-Min Kim, Adam Porter (University of Maryland, College Park)
The Impact of Test Suite Granularity on the Cost-Effectiveness of Regression Testing
Gregg Rothermel (Oregon State University), Sebastian Elbaum (University of Nebraska - Lincoln), Alexey G. Malishevsky (Oregon State University), Praveen Kallakuri (University of Nebraska - Lincoln), Brian Davia (Oregon State University)
Automated Test Case Generation for Spreadsheets
Marc Fisher II, Mingming Cao, Gregg Rothermel, Curtis R. Cook, Margaret M. Burnett (Oregon State University)
|
S3.3 Papers: Software Process
Deriving Executable Process Descriptions from UML
Elisabetta Di Nitto, Luigi Lavazza, Marco Schiavoni, Emma Tracanella, Michele Trombetta (Politecnico di Milano)
Verification Support for Workflow Design with UML Activity Graphs
Rik Eshuis, Roel Wieringa (University of Twente)
Progressive Open Source
Jamie Dinkelacker, Pankaj K. Garg, Rob Miller, Dean Nelson (Hewlett-Packard Company)
|
S3.4 Industry: Software Component Quality Assessment in Industry
Ian Gorton, Pacific Northwest National Laboratory
Anna Liu, Commonwealth Scientific & Industrial Research Organization (CSIRO) Sydney, Australia
|
16:00 - 17:30 |
S4.1 Papers: Architecture and Implementation
ArchJava: Connecting Software Architecture to Implementation
Jonathan Aldrich, Craig Chambers, David Notkin (University of Washington)
Mixin'Up Components
Vugranam C. Sreedhar (IBM TJ Watson Research Center)
Static and Dynamic Structure in Design Patterns
Eric Eide, Alastair Reid, John Regehr, Jay Lepreau (University of Utah)
|
S4.2 Papers: Software Evaluation
Goal-Oriented Software Assessment
David M. Weiss, David Bennett, John Y. Payseur, Pat Tendick, Ping Zhang (Avaya Labs Research)
Security Attribute Evaluation Method: A Cost-Benefit Approach
Shawn A. Butler (Carnegie Mellon University)
An Empirical Evaluation of Fault-Proneness Models
Giovanni Denaro (Politecnico di Milano), Mauro Pezzè (Università degli Studi di Milano - Bicocca)
|
S4.3 State-of-the-Art: Safety-Critical Systems: Challenges and Directions
by John Knight, University of Virginia
|
S4.4 Industry: Accelerating Software Development Through Collaboration
Larry Augustine, VA Software
|