Call for Participation:  Automated Software Engineering 
                                   ASE'01 
                      16th IEEE International Conference 


                            November 26 - 29, 2001 


                                Coronado Island 
                               San Diego, CA, USA 


                   http://ase.informatik.uni-essen.de/index.html 


  The IEEE International Conference on Automated Software Engineering
brings together researchers and practitioners to share ideas on the
foundations, techniques, tools and applications of automated software
engineering. Both automatic systems and systems that support and
cooperate with people are within the scope of the conference, as are
models of software and software engineering activities. 


  Monday, 26 November 
  ===================


  Tutorial Program 


  Tuesday, 27 November 
  ====================


  8:30 am - 9:00 am       Welcome 


  9:00 am - 10:30 am      Key Note        Bob Balzer 


  10:30 am -11:00 am      Break 


  11:00 am -12:30 pm: Testing I 


  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 


  11:00 am -12:30 pm:Transformation / Construction I 


  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      Luncheon 


  2:00 pm -3:30 pm: Poster Session I: Presentation of Short Papers 


  3:30 pm - 4:00 pm       Break 


  4:00 pm - 6:00 pm Verification and Validation / High Assurance Systems




  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 


  4:00 pm -5:30 pm: Structure 


  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, 28 November 
  ======================


  8:30 am - 10:00 am: Poster Session II: Presentation of Short Papers 


  10:00 am -10:30 am      Break 


  10:30 am -12:00 pm: Testing II 


  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 


  10:30 am -12:00 pm: Transformation/ Construction II 


  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      Luncheon 


  1:30 pm -3:30 pm: Analysis/ Realtime 


  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 


  1:30 pm -3:30 pm: Reverse Engineering  & Integration 


  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 Gluck
                          "Software for the Final Frontier"


  7:00 pm - 9:00 pm       Dinner 


  Thursday, 29 November 
  =====================


  8:30 am - 10:00 pm      Panel   


  10:00 am -10:30 pm      Break 


  10:30 am - 12:30 am: Model Checking 


  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 


  10:30 am - 12:30 am:Specification & Model Engineering 


  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      Luncheon                


  2:00 pm  - 3:30 pm      Invited Speaker: Richard Doyle
                          "Mission Software Needs and Challenges at JPL


  3:30 pm  - 4:00 pm      Break           
  4:00 pm  - 5:30 pm      Doctoral Symposium Review       
  5:30 pm ASE 2002 in Edinburgh, UK