16. ASE 2001:
San Diego,
CA,
USA
16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA.
IEEE Computer Society 2001, ISBN 0-7695-1426-X 
@proceedings{DBLP:conf/kbse/2001,
title = {16th IEEE International Conference on Automated Software Engineering
(ASE 2001), 26-29 November 2001, Coronado Island, San Diego,
CA, USA},
booktitle = {ASE},
publisher = {IEEE Computer Society},
year = {2001},
isbn = {0-7695-1426-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Regular Papers
Testing I
Transformation/Construction I
- John C. Grundy, Rick Mugridge, John G. Hosking, Paul Kendall:
Generating EDI Message Translations from Visual Specifications.
35-42
- Ewen Denney:
The Synthesis of a Java Card Tokenization Algorithm.
43-50
- Hoda Fahmy, Richard C. Holt, James R. Cordy:
Wins and Losses of Algebraic Transformations of Software Architectures.
51-62
- Colin O'Halloran:
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.
63-70
- Robert J. Hall:
Specification Modeling and Validation Applied to a Family of Network Security Products.
71-80
- Michael R. Lowry, Thomas Pressburger, Grigore Rosu:
Certifying Domain-Specific Policies.
81-90
- Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville:
Automated Validation of Software Models.
91-
Structure
Testing II
Transformation/Construction II
Analysis/Real Time
Reverse Engineering and Integration
Model Checking
Specification and Model Engineering
Short Papers
- Andrew Cook, Andrew Ireland, Greg Michaelson:
Higher Order Function Synthesis Through Proof Planning.
307-310
- Gilles Ardourel, Marianne Huchard:
AGATE, Access Graph-Based Tools for Handling Encapsulation.
311-314
- Wuwei Shen, Kevin J. Compton, James Huggins:
A UML Validation Toolset Based on Abstract State Machines.
315-318
- Lars-Åke Fredlund, Dilian Gurov, Thomas Noll:
Semi-Automated Verification of Erlang Code.
319-323
- Alex Blewitt, Alan Bundy, Ian Stark:
Automatic Verification of Java Design Patterns.
324-327
- Raimondas Lencevicius, Edu Metz, Alexander Ran:
Tracing Execution of Software for Design Coverage.
328-332
- Fei Xie, Vladimir Levin, James C. Browne:
Model Checking for an Executable Subset of UML.
333-336
- James M. Bieman, Sudipto Ghosh, Roger T. Alexander:
A Technique for Mutation of Java Objects.
337-340
- K. Suzanne Barber, Thomas J. Graser, Jim Holt:
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.
341-345
- Paola Inverardi, Henry Muccini, Patrizio Pelliccione:
Automated Check of Architectural Models Consistency Using SPIN.
346-349
- Apostolos Zarras, Valérie Issarny:
Automating the Performance and Reliability Analysis of Enterprise Information Systems.
350-353
- Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
An Analysis-Revision Cycle to Evolve Requirements Specifications.
354-358
- Andrea Zisman, Alexander Kozlenkov:
Knowledge Base Approach to Consistency Management of UML Specification.
359-363
- Ioannis Parissis, Jérôme Vassy:
Strategies for Automated Specification-Based Testing of Synchronous Software.
364-367
- Iain McLaren, Tony Wicks:
Developing Generative Frameworks Using XML.
368-372
- Yannick Chevalier, Laurent Vigneron:
A Tool for Lazy Verification of Security Protocols.
373-376
- Bruno Legeard, Fabien Peureux:
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.
377-381
- Tevfik Bultan, Tuba Yavuz-Kahveci:
Action Language Verifier.
382-386
- Alexander Egyed:
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach.
387-390
- Tim Menzies, James D. Kiper:
Better Reasoning About Software Engineering Activities.
391-394
- Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat:
Amphion/NAV: Deductive Synthesis of State Estimation Software.
395-399
- Martin Erwig:
Programs Are Abstract Data Types.
400-403
- Gerald C. Gannod, Sunil Gupta:
An Automated Tool for Analyzing Petri Nets Using SPIN.
404-407
- Jan Jürjens, Guido Wimmel:
Formally Testing Fail-Safety of Electronic Purse Protocols.
408-411
- Dimitra Giannakopoulou, Klaus Havelund:
Automata-Based Verification of Temporal Properties on Running Programs.
412-416
- Dieter Hutter, Axel Schairer:
Towards an Evolutionary Formal Software Development.
417-420
- Brad Long, Daniel Hoffman, Paul A. Strooper:
A Concurrency Test Tool for Java Monitors.
421-425
- Luis Filipe Andrade, José Luiz Fiadeiro, Michel Wermelinger:
Enforcing Business Policies Through Automated Reconfiguration.
426-
Doctoral Symposium Abstracts
- Janet E. Burge, David C. Brown:
Design Rationale for Software Maintenanc.
433
- Pascal Fenkam:
Security Specification and Verification.
434
- Cindy Kong:
Implementation of Specification Conjunction and Domain Interaction in Rosetta.
435
- Hung Ledang:
Automatic Translation from UML Specifications to B.
436
- Beum-Seuk Lee:
Automated Conversion from a Requirements Document to an Executable Formal Specification.
437
- Sanjai Rayadurgam:
Automated Test-Data Generation from Formal Models of Software.
438
- Ilya Romanovsky:
Model-Checking Real-Time Concurrent Systems.
439
- Songtao Xia:
Verify Properties of Mobile Code.
440
Copyright © Sun Nov 8 02:48:48 2009
by Michael Ley (ley@uni-trier.de)
