Technical
Sessions
Back
to main program page
Wednesday 26th May Testing I - Chair: Alessandro Orso Using
Simulation to Empirically Investigate Test Coverage Criteria Automated
Generation of Test Programs From Closed Specifications of Classes and
Test Cases Bi-Criteria
Models for All-Uses Test Suite Reduction
The
Dublo Architecture Pattern for Smooth Migration of Business Information
Systems Comparison
of Software Product Line Design Methods: COPA, FAST, FORM, KobrA and
QADA Oil
and Water? High Performance Garbage Collection in Java with JMTk
Eliciting
Security Requirements by Construction of Intentional Anti-Models Theme:
An Approach for Aspect-Oriented Analysis and Design Visual
Timed Event Scenarios
Precise
Service Level Agreements GlueQoS:
Middleware to Sweeten Quality-of-Service Policy Interactions An
Empirical Study of Software Reuse vs. Reliability and Stability
Verifying
DAML+OIL and Beyond in Z/EVES Assume-guarantee
Verification of Source Code with Design-Level Assumptions Compositional
Verification of Middleware-Based Software Architecture Descriptions
The
Evaluation of Large, Complex UML Analysis and Design Models Revisiting
Statechart Synthesis with an Algebraic Approach Precise
Specification of Design Patterns in UML
Team-based
Fault Content Estimation in the Software Inspection Process Evidence-based
Software Engineering
SNIAFL:
Towards a Static Non-Interactive Approach to Feature Location Feature-Based
Decomposition of Inductive Proofs Applied to Real-Time Avionics Software
Testing II - Chair: John C. Knight Applications
of Data Versioning in Database Application Development Generating
Tests from Counterexamples Automated
Support for Development, Maintenance, and Testing in the Presence of
Implicit Control Flow
Towards
Safe Distributed Application Development Design
of Large-Scale Polylingual Systems A
Hybrid Architectural Style for Distributed Parallel Processing of Generic
Data Streams
Breaking
the Ice for Agile Development of Embedded Software Unifying
Artifacts and Activities in a Visual Tool for Distributed Software Development
Teams Making
Resource Decisions for Software Projects
Using
Event-Based Translation to Support Dynamic Protocol Evolution Efficient
Decentralized Monitoring of Safety in Distributed Systems Extending
the Representational State Transfer (REST) Architectural Style for Decentralized
Systems
Validating
the Unit Correctness of Spreadsheet Programs A
Tool for Writing and Debugging Algebraic Specifications Skoll:
Distributed Continuous Quality Assurance
DiscoTect:
A System for Discovering Architectures from Running Systems Finding
Latent Code Errors via Machine Learning over Program Executions An
Empirical Comparison of Dynamic Impact Analysis Algorithms
Slicing - Chair: Mary Jean Harrold Efficient
Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision
Diagrams Using
Compressed Bytecode Traces for Slicing Java Programs A
Fast Assembly Level Reverse Execution Method via Dynamic Slicing
Polyphony
in Architecture Architecting
in the Face of Uncertainty: An Experience Report Using
Web Service Technologies to Create an Information Broker
Mining
Version Histories to Guide Software Changes An
Experimental, Pluggable Infrastructure for Modular Configuration Management
Policy Composition Imposing
a Memory Management Discipline on Software Deployment
An
Open Framework for Dynamic Reconfiguration Dynamic
Configuration of Resource-Aware Services Autonomous
Adaptation to Dynamic Availability Using a Service-Oriented Component
Model
DMS:
Program Transformations for Practical Scalable Software Evolution Heuristic-Based
Model Refinement for FLAVERS Static
Checking of Dynamically Generated Queries in Database Applications
Evaluating
Object-Oriented Designs with Link Analysis Responsibilities
and Rewards: Reasoning About Design Patterns Programming
with Traits
|