2nd Workshop on the state of the art in automated software engineering

Andrea Zisman, Thomas Ellman

The 2nd Workshop on the State of the Art in Automated Software Engineering took place on the 27 th of July 2005, at City University, London - UK. During the workshop there were seven presentations about various aspects concerning the theory and practice of automating the software…

RCAT: A Performance Analysis Tool

Zakarya A. Alzamil

Case Study of Coverage-Checked Random Data Structure Testing

James H. Andrews

A Differencing Algorithm for Object-Oriented Programs

Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold

Automated Dynamic Reconfiguration using AI Planning

Naveed Arshad

Verifiable Concurrent Programming Using Concurrency Controllers

Aysu Betin-Can, Tevfik Bultan

Parameterized Interfaces for Open System Verification of Product Lines

Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck

Modeling Web-Based Dialog Flows for Automatic Dialog Control

Matthias Book, Volker Gruhn

Automated Data Mapping Specification via Schema Heuristics and User Interaction

Sebastian Bossung, Hermann Stoeckle, John C. Grundy, Robert Amor, John G. Hosking

Group Support for Distributed Collaborative Concurrent Software Modeling

Naoufel Boulila

Case Study in JML-Based Software Validation

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

Aspect Mining Using Event Traces

Silvia Breu, Jens Krinke

Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool

Yuhong Cai, John C. Grundy, John G. Hosking

An Architecture for Generating Web-Based, Thin-Client Diagramming Tools

Shuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero

Interactive Visualization of Concurrents Programs

Roberto Capuano

Combination Model Checking: Approach and a Case Study

Yunja Choi, Mats Per Erik Heimdahl

Automated Performance Validation of Software Design: An Industrial Experience

Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi

Analyzing Interaction Orderings with Model Checking

Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser

Context-Aware Code Certification

Jutta Eusterbrock

From Testing to Diagnosis: An Automated Approach

Franck Fleurey, Yves Le Traon, Benoit Baudry