Proceedings of the 16th IEEE International Conference on Automated Software Engineering
ASE, 2001.

@proceedings{ASE-2001,
	address       = "San Diego, California, USA",
	isbn          = "0-7695-1426-X",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}",
	year          = 2001,
}

Event page: http://www.ase-conferences.org/ase/past/ase2001/

Contents (68 items)

17 ×#automation
11 ×#specification
8 ×#testing
8 ×#verification
7 ×#source code
6 ×#generative
6 ×#modelling
5 ×#architecture
5 ×#java
5 ×#model checking

ASE-2001-GouraudDGM #automation #statistics #testing

A New Way of Automating Statistical Testing Methods (SDG, AD, MCG, BM), pp. 5–12.

ASE-2001-SyD #automation #float #generative #integer #source code #testing

Automatic Test Data Generation for Programs with Integer and Float Variables (NTS, YD), pp. 13–21.

ASE-2001-MarinovK #automation #framework #java #named #novel #source code #testing

TestEra: A Novel Framework for Automated Testing of Java Programs (DM, SK), p. 22–?.

ASE-2001-GrundyMHK #generative #specification #visual notation

Generating EDI Message Translations from Visual Specifications (JCG, RM, JGH, PK), pp. 35–42.

ASE-2001-Denney #algorithm #java #synthesis

The Synthesis of a Java Card Tokenization Algorithm (ED), pp. 43–50.

ASE-2001-FahmyHC #algebra #architecture

Wins and Losses of Algebraic Transformations of Software Architectures (HF, RCH, JRC), pp. 51–62.

ASE-2001-OHalloran #assurance

Acceptance Based Assurance (CO), pp. 63–70.

ASE-2001-Hall #modelling #network #product line #security #specification #validation

Specification Modeling and Validation Applied to a Family of Network Security Products (RJH), pp. 71–80.

ASE-2001-LowryPR #policy

Certifying Domain-Specific Policies (MRL, TP, GR), pp. 81–90.

ASE-2001-SimsCBR #automation #modelling #validation

Automated Validation of Software Models (SS, RC, KB, SR), p. 91–?.

ASE-2001-YeF #component #repository #scalability

Context-Aware Browsing of Large Component Repositories (YY, GF), pp. 99–106.

ASE-2001-MarcusM #concept #identification #source code

Identification of High-Level Concept Clones in Source Code (AM, JIM), pp. 107–114.

ASE-2001-NentwichEF #consistency #distributed #specification

Static Consistency Checking for Distributed Specifications (CN, WE, AF), p. 115–?.

ASE-2001-LedruBBMOP #adaptation #specification #testing

Test Purposes: Adapting the Notion of Specification to Testing (YL, LdB, PB, OM, CO, MLP), pp. 127–134.

ASE-2001-HavelundR #monitoring #source code #using

Monitoring Programs Using Rewriting (KH, GR), pp. 135–143.

ASE-2001-GuptaR #metric

Program Execution-Based Module Cohesion Measurement (NG, PR), p. 144–?.

ASE-2001-PavlovicS #behaviour #composition #refinement #specification

Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.

ASE-2001-Albin-AmiotCGJ #design pattern #detection

Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together (HAA, PC, YGG, NJ), pp. 166–173.

ASE-2001-InverardiS #architecture #component #concurrent #synthesis

Connectors Synthesis for Deadlock-Free Component-Based Architectures (PI, SS), p. 174–?.

ASE-2001-OgataF #distributed #modelling #realtime #verification

Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ (KO, KF), pp. 185–192.

ASE-2001-GrundyCL #architecture #distributed #generative

Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions (JCG, YC, AL), pp. 193–200.

ASE-2001-HallinGB #off the shelf #requirements

Tailoring a COTS Group Support System for Software Requirements Inspection (MH, PG, SB), p. 201–?.

ASE-2001-GraunkeFKF #automation #source code

Automatically Restructuring Programs for the We (PTG, RBF, SK, MF), pp. 211–222.

ASE-2001-EgyedB #interface #off the shelf

Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability (AE, RB), pp. 223–231.

ASE-2001-RugaberSS #reverse engineering

Adequate Reverse Engineering (SR, TS, KS), p. 232–?.

ASE-2001-BastenB #clustering #partial order #process #reduction

Enhancing Partial-Order Reduction via Process Clustering (TB, DB), pp. 245–253.

ASE-2001-Iosif #model checking #symmetry

Exploiting Heap Symmetries in Explicit-State Model Checking of Software (RI), pp. 254–261.

ASE-2001-BratV #model checking #static analysis

Combining Static Analysis and Model Checking for Software Analysis (GPB, WV), p. 262–?.

ASE-2001-BezivinG #framework #precise #towards

Towards a Precise Definition of the OMG/MDA Framework (JB, OG), pp. 273–280.

ASE-2001-AlurG #diagrams #interactive

Shared Variables Interaction Diagrams (RA, RG), pp. 281–288.

ASE-2001-LedangS #behaviour #diagrams #modelling #uml

Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.

ASE-2001-GrosuLSSY #automation #concurrent #re-engineering #using

Automated Software Engineering Using Concurrent Class Machines (RG, YAL, SAS, SDS, JY), p. 297–?.

ASE-2001-CookIM #higher-order #proving #synthesis #theorem proving

Higher Order Function Synthesis Through Proof Planning (AC, AI, GM), pp. 307–310.

ASE-2001-ArdourelH #encapsulation #graph #tool support

AGATE, Access Graph-Based Tools for Handling Encapsulation (GA, MH), pp. 311–314.

ASE-2001-ShenCH #state machine #tool support #uml #validation

A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.

ASE-2001-FredlundGN #automation #erlang #verification

Semi-Automated Verification of Erlang Code (LÅF, DG, TN), pp. 319–323.

ASE-2001-BlewittBS #automation #design pattern #java #verification

Automatic Verification of Java Design Patterns (AB, AB, IS), pp. 324–327.

ASE-2001-LenceviciusMR #design #execution

Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.

ASE-2001-XieLB #execution #model checking #set #uml

Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.

ASE-2001-BiemanGA #java

A Technique for Mutation of Java Objects (JMB, SG, RTA), pp. 337–340.

ASE-2001-BarberGH #architecture #automation #development #feedback #model checking

Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures (KSB, TJG, JH), pp. 341–345.

ASE-2001-InverardiMP #architecture #automation #consistency #modelling #using

Automated Check of Architectural Models Consistency Using SPIN (PI, HM, PP), pp. 346–349.

ASE-2001-ZarrasI #analysis #automation #enterprise #information management #performance #reliability

Automating the Performance and Reliability Analysis of Enterprise Information Systems (AZ, VI), pp. 350–353.

ASE-2001-GarcezRNK #requirements #specification

An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.

ASE-2001-ZismanK #approach #consistency #knowledge base #specification #uml

Knowledge Base Approach to Consistency Management of UML Specification (AZ, AK), pp. 359–363.

ASE-2001-ParissisV #automation #testing

Strategies for Automated Specification-Based Testing of Synchronous Software (IP, JV), pp. 364–367.

ASE-2001-McLarenW #framework #generative #using #xml

Developing Generative Frameworks Using XML (IM, TW), pp. 368–372.

ASE-2001-ChevalierV #lazy evaluation #protocol #security #verification

A Tool for Lazy Verification of Security Protocols (YC, LV), pp. 373–376.

ASE-2001-LegeardP #case study #functional #generative #industrial #sequence #testing

Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.

ASE-2001-BultanY #verification

Action Language Verifier (TB, TYK), pp. 382–386.

ASE-2001-Egyed #approach #consistency #scalability

Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach (AE), pp. 387–390.

ASE-2001-MenziesK #process #re-engineering #reasoning

Better Reasoning About Software Engineering Activities (TM, JDK), pp. 391–394.

ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis

Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.

ASE-2001-Erwig #data type #source code

Programs Are Abstract Data Types (ME), pp. 400–403.

ASE-2001-GannodG #automation #petri net #using

An Automated Tool for Analyzing Petri Nets Using SPIN (GCG, SG), pp. 404–407.

ASE-2001-JurjensW #protocol #testing

Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.

ASE-2001-GiannakopoulouH #source code #verification

Automata-Based Verification of Temporal Properties on Running Programs (DG, KH), pp. 412–416.

ASE-2001-HutterS #development #formal method #towards

Towards an Evolutionary Formal Software Development (DH, AS), pp. 417–420.

ASE-2001-LongHS #concurrent #java #monitoring

A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.

ASE-2001-AndradeFW #automation #configuration management #policy

Enforcing Business Policies Through Automated Reconfiguration (LFA, JLF, MW), p. 426–?.

ASE-2001-BurgeB #design #maintenance

Design Rationale for Software Maintenance (JEB, DCB), p. 433.

ASE-2001-Fenkam #security #specification #verification

Security Specification and Verification (PF), p. 434.

ASE-2001-Kong #implementation #interactive #specification

Implementation of Specification Conjunction and Domain Interaction in Rosetta (CK), p. 435.

ASE-2001-LeDang #automation #specification #uml

Automatic Translation from UML Specifications to B (HL), p. 436.

ASE-2001-Lee #automation #documentation #execution #requirements #specification

Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.

ASE-2001-Rayadurgam #automation #formal method #generative #modelling #testing

Automated Test-Data Generation from Formal Models of Software (SR), p. 438.

ASE-2001-Romanovsky #concurrent #model checking #realtime

Model-Checking Real-Time Concurrent Systems (IR), p. 439.

ASE-2001-Xia #mobile #verification

Verify Properties of Mobile Code (SX), p. 440.