|
|
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 |
| ||
- 9:00 am |
Welcome | |
- 10:30 am | ||
Keynote Address Session Chair: Debra Richardson | ||
- 11:00 am |
Break | |
- 12:30 pm |
Testing 1 Session Chair: Yves Ledru |
Transformation / Construction 1 |
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 | |
- 1:30 pm |
Lunch | |
- 3:30 pm | ||
- 4:00 pm |
Break | |
- 6:00 pm |
Verification and Validation, High Assurance Systems |
Structure |
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 |
| ||
- 10:00 am | ||
- 10:30 am |
Break | |
- 12:00 pm |
Testing 2 |
Transformation / Construction 2 |
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 | |
- 1:00 pm |
Lunch | |
- 3:30 pm |
Analysis / Real Time |
Reverse Engineering and Integration |
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 | |
- 4:00 pm |
Break | |
- 5:30 pm |
Invited Speaker: Peter R. Gluck Session Chair: Michael Goedicke | |
- 9:00 pm |
Dinner |
| ||
- 10:00 am |
Panel | |
- 10:30 am |
Break | |
- 12:30 pm |
Model Checking |
Specification and Model Engineering |
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 | |
- 1:30 pm |
Lunch | |
- 3:30 pm |
Invited Speaker: Richard Doyle Session Chair: Martin Feather | |
- 4:00 pm |
Break | |
- 5:30 pm |
Doctoral Symposium Review | |
- |
ASE 2002 in Edinburgh, UK |