Automated Software Engineering


Short Paper Program


Short Paper Session 1    |    Short Paper Session 2

Short Papers 1, Tuesday 27th November 2001, 2:00pm - 3:30pm   (back to top) (back to Final Program)

Andrew Cook, Andrew Ireland, Greg Michaelson

Higher Order Function Synthesis Through Proof Planning

Gilles Ardourel, Marianne Huchard

AGATE, Access Graph bAsed Tools handling Encapsulation

Wuwei Shen, Kevin Compton, James Huggins

A Toolset for Supporting UML Model Checking Based on Abstract State Machines

Lars-Ake Fredlund, Dilian Gurov, Thomas Noll

Semi-Automated Verification of Erlang Code

Alex Blewitt, Alan Bundy, Ian Stark, Richard Boulton

Automatic verification of Java design patterns

Raimondas Lencevicius, Edu Metz, Alexander Ran

Tracing Execution of Software for Design Coverage

Fei Xie, Vladimir Levin, James C. Browne

Model Checking for an Executable Subset of UML

James M. Bieman, Sudipto Ghosh, Roger T. Alexander

A Technique for Mutation of Java Objects

K. Suzanne Barber, Thomas Graser, Jim Holt

Providing Early Feedback in the Development Cycle through Automated Application of Model Checking to Software Architectures

Paola Inverardi, Henry Muccini, Patrizio Pelliccione

Checking Architectural Models Consistency using SPIN


Apostolos Zarras, Valerie Issarny

Automating the Performance and Reliability Analysis of Enterprise Information Systems.

A.S. d'Avila Garcez, A. Russo, B. Nuseibeh, J. Kramer

An Analysis-Revision Cycle to Evolve Requirements Specifications

Andrea Zisman, Alexander Kozlenkov

A Knowldge Base Approach to Consistency Management of UML Specifications

Ioannis Parissis, Jerome Vassy

Strategies for Automated Specification Based Testing of Synchronous Software


Short Papers 2, Wednesday 28th November 2001, 8:30am - 10:00 am (back to top) (back to Final Program)

Iain McLaren, Tony Wicks

Developing Generative Frameworks Using XML

Yannick Chevalier, Laurent Vigneron

A Tool for Lazy Verification of Security Protocols

Bruno Legeard, Fabien Peureux

Generation of functional test sequences from B formal specifications using Constraint Logic Programming with sets - Presentation and industrial case-study

Tevfik Bultan, Tuba Yavuz-Kahveci

Action Language Verifier

Alexander Egyed

Scalable Consistency Checking between UML Diagrams: The IViTA Approach

Tim Menzies, James D. Kiper

Better reasoning about softgoals

Guillaume Brat, Michael Lowry, John Penix, Thomas Pressburger, Phil Oh, Peter Robinson, Johann Schumann, Jeffrey Van Baalen, Jonathan Whittle

Amphion/NAV: Deductive Synthesis of State Estimation Software

Martin Erwig

Programs are Abstract Data Types

Gerald C. Gannod, Sunil Gupta

An Automated Tool for Analyzing Petri Nets using Spin

Jan Jurjens, Guido Wimmel

Formally testing fail-safety of Electronic Purse Protocols

Dimitra Giannakopoulou, Klaus Havelund

Automata-Based Verification of Temporal Properties on Running Programs

Dieter Hutter, Axel Schairer

Towards an Evolutionary Formal Software Development

Brad Long, Dan Hoffman, Paul Strooper

A Concurrency Test Tool for Java Monitors

L. Andrade, J.L. Fiadeiro, M. Wermelinger

Enforcing Business Policies through Automated System Reconfiguration

Maintained by Jerry Gannod (