Automated Software Engineering

ASE20012001

Final Program

pool



 

Monday, 26th November 2001 

Morning Room Room
Tutorial 1
Behavioral Verification with BOBJ and Kumo
Joseph Goguen, Kai Lin, and Grigore Rosu
Tutorial 2
Practical Machine Learning for Software Engineering
Tim Menzies
Lunch
Afternoon Room Room
Tutorial 3
Theory and Practice of Software Architectures
Jose Luiz Fiadeiro, Antonia Lopes and Michel Wermelinger 
Tutorial 4
Reading between the lines: reading and understanding computer programs
Spencer Rugaber 



Tuesday, 27th November 2001

8:30 am
-
9:00 am

Welcome

9:00 am
-
10:30 am

Keynote Address
Bob Balzer
Chief Technical Officer
Teknowledge Corporation
Marina del Rey, California
Software Assistance Revisited

Session Chair: Debra Richardson

10:30 am
-
11:00 am

Break

11:00 am
-
12:30 pm

Testing 1

Session Chair: Yves Ledru

Transformation / Construction 1
Session Chair: Bob Hall

S.-D. Gouraud, Alain Denise, Marie-Claude Gaudel, Bruno Marre:
A New Way of Automating Statistical Structural Testing Methods

Nguyen Tran Sy, Yves Deville
Automatic Test Data Generation for Programs with Integer and Float Variables

Sarfraz Khurshid:
TestEra: A Novel Framework for Testing Java Programs
John Grundy, Rick Mugridge, John Hosking, Paul Kendall
Generating EDI Message Translations from Visual Specifications

Ewen Denney
The Synthesis of a Java Card Tokenisation Algorithm

H.M. Fahmy, R.C. Holt, J.R. Cordy
Wins and Losses of Algebraic Transformations of Software Architectures

12:30 pm
-
1:30 pm

Lunch

2:00 pm
-
3:30 pm

Short Papers 1

3:30 pm
-
4:00 pm

Break

4:00 pm
-
6:00 pm

Verification and Validation, 

High Assurance Systems
Session Chair: Andrew Ireland

Structure
Session Chair: John Grundy

Colin O'Halloran
Acceptance based assurance

Robert J. Hall
Specification Modeling and Validation Applied to a Family of Network Security Products

Michael Lowry, Thomas Pressburger, Grigore Rosu
Certifying Domain-Specific Policies

Steve Sims, Ken Butts, Rance Cleaveland, Scott Ranville
Automated Validation of Software Models
Yunwen Ye, Gerhard Fischer
Context-Aware Browsing of Large Component Repositories

Andrian Marcus, Jonathan I. Maletic
Identification of High-Level Concept Clones in Source Code

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein
Static Consistency Checking for Distributed Specifications


Wednesday, 28th November 2001

8:30 am
-
10:00 am

Short Papers 2

10:00 am
-
10:30 am

Break

10:30 am
-
12:00 pm

Testing 2
Session Chair: Willem Visser

Transformation / Construction 2
Session Chair: Spencer Rugaber

Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine ORiat, Marie-Laure Potet
Test purposes: adapting the notion of specification to testing

Klaus Havelund, Grigore Rosu
Monitoring Programs using Rewriting

Neelam Gupta, Praveen Rao
Program Execution Based Module Cohesion Measurement
Dusko Pavlovic, Douglas R. Smith
Dynamic System Construction via Evolving Specifications

Herve Albin-Amiot, Yann-Gael Gueheneuc, Narendra Jussien
Identifying Design Patterns and Improving Design: Putting Bits and Pieces Together

Paola Inverardi, Simone Scriboni
Connectors Synthesis for Deadlock-Free Component Based Architectures

12:00 pm
-
1:00 pm

Lunch

1:30 pm
-
3:30 pm

Analysis / Real Time
Session Chair: Joseph Goguen

Reverse Engineering and Integration
Session Chair: David Redmiles

Kazuhiro Ogata, Kokichi Futatsugi
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ

John Grundy, Yuhong Cai and Anna Liu
Generation of Distributed System Test-beds from High-level Software Architecture Descriptions

Michael Halling, Paul Grunbacher, Stefan Biffl
Tailoring a COTS Group Support System for Software Requirements Inspection
Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Automated Re-engineering Applications for the Web

Alexander Egyed, Robert Balzer
Unfriendly COTS Integration - Instrumentation and Interfaces for Improved Plugability

Spencer Rugaber, Terry Shikano, R.E. Kurt Stirewalt
Adequate Reverse-Engineering

3:30 pm
-
4:00 pm

Break

4:00 pm
-
5:30 pm

Invited Speaker: Peter R. Gluck
Software for the Final Frontier

Session Chair: Michael Goedicke

7:00 pm
-
9:00 pm

Dinner



Thursday, 29th November 2001

8:30 am
-
10:00 am

Panel

10:00 am
-
10:30 am

Break

10:30 am
-
12:30 pm

Model Checking
Session Chair: Colin O'Halloran

Specification and Model Engineering
Session Chair: Gerald Gannod

Twan Basten, Dragan Bosnacki
Enhancing Partial-Order Reduction via Process Clustering

Radu Iosif
Exploiting Heap Symmetries in Explicit-State Model Checking of Software

Guillaume Brat, Willem Visser
Combining static analysis and model checking for software analysis
Jean Bezivin and Olivier Gerbe
NewTrends in Applied Model Engineering

Rajeev Alur, Radu Grosu
Shared Variables Interaction Diagrams

Hung Ledang, Jeanine Souquieres
An approach for modeling class operations in B: application to UML collaboration diagrams

Radu Grosu, Annie Liu, Scott Smolka, Scott Stoller, Jingyu Yau
Abstract Class Machines

12:30 pm
-
1:30 pm

Lunch

2:00 pm
-
3:30 pm

Invited Speaker: Richard Doyle
NASA/Cal Tech Jet Propulsion Laboratory
Mission Software Needs and Challenges at JPL

Session Chair: Martin Feather

3:30 pm
-
4:00 pm

Break

4:00 pm
-
5:30 pm

Doctoral Symposium Review

5:30 pm
-

ASE 2002 in Edinburgh, UK


Back to The ASE2001 Homepage


Maintained by Virginie Wiels (wiels@cert.fr)